面向自主飞行器的嵌入式计算平台

基于模型的设计方法是目前嵌入式控制系统开发与设计的主流方法,而对嵌入式控制系统模型及其代码正确性的检验是亟待解决的问题。基于平台的设计理论,提出一种面向自主飞行器的嵌入式计算平台,该平台以基于模型的设计方法实现对复杂实时控制系统建模,并且在同一框架下完成模型到代码的自动生成以及对实时控制系统进行不同粒度的检验,即X在环仿真,包括模型在环仿真、软件在环仿真、硬件在环仿真。该平台的提出为嵌入式实时控制系统的开发与设计提供了建模及模型检验的一体化环境,提高嵌入式实时控制系统的开发效率。     

基于PtolemyⅡ的自主飞行器控制系统代码生成及应用

为解决自主飞行器控制系统设计中存在的复杂的代码制造问题,引入基于计算模型的设计方法,使用适合于控制系统建模的同步数据流计算模型来指导模型中各个模块之间的交互通讯,通过进行静态分析决定模块的执行顺序并能以此产生相应代码。在Ptolemy II图形语言开发环境下,以同步数据流计算模型对自主飞行器实时控制系统进行有效建模,并在此计算模型指导下自动生成代码,而所生成的代码能实施在实时分布式计算平台上,实现自主飞行器单机自主飞行的硬件在环仿真。