摘要

基于模型的设计是目前嵌入式系统软件设计的发展趋势,对嵌入式系统建模和根据模型自动生成代码是其关键技术。量子框架作为一种事件驱动型的基础框架,可以作为嵌入式软件运行的支撑平台。Stateflow模型适用于描述嵌入式系统的逻辑控制功能,利用RTW工具可以直接从该模型自动生成C代码。以某飞行控制系统为应用实例设计其活动对象和事件,针对时序控制功能建立Stateflow模型并进行仿真,最后自动生成C代码与量子框架集成,从而实现飞行控制系统的软件设计。研究表明:量子框架较好地支持了Stateflow模型自动生成的代码,两者结合可以实现基于模型的设计在嵌入式系统软件设计中的应用。

  • 单位
    中国工程物理研究院电子工程研究所