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

摘要：

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

关键词：基于模型的设计、嵌入式系统、基于平台的设计、实时控制系统、X在环仿真

所属期刊栏目：24

分类号：TP391.9(计算技术、计算机技术)

资助基金：国家自然科学基金会面上项目60773196

在线出版日期：2012-04-28（万方平台首次上网日期，不代表论文的发表时间）

页码：575-581