摘要
基于模型的设计是目前嵌入式系统软件设计的发展趋势,对嵌入式系统建模和根据模型自动生成代码是其关键技术。量子框架作为一种事件驱动型的基础框架,可以作为嵌入式软件运行的支撑平台。Stateflow模型适用于描述嵌入式系统的逻辑控制功能,利用RTW工具可以直接从该模型自动生成C代码。以某飞行控制系统为应用实例设计其活动对象和事件,针对时序控制功能建立Stateflow模型并进行仿真,最后自动生成C代码与量子框架集成,从而实现飞行控制系统的软件设计。研究表明:量子框架较好地支持了Stateflow模型自动生成的代码,两者结合可以实现基于模型的设计在嵌入式系统软件设计中的应用。
Model-based design is nowadays the development trend of the embedded system software design, and modeling the embedded system and auto code generation by models are the key technologies. Quantum framework, as an event driven framework, can be used as a supporting platform for embedded software. Stateflow model is suitable for describing the logic control function of embedded system, and the C code can be automatically generated from the model directly by using the RTW tool. In this paper, a flight control system is used as an example to design the active objects and events, and the Stateflow model of the sequential control function is established and simulated, finally the C code is automatically generated and integrated with the quantum framework. In this way, the software of flight control system is designed. The research shows that the quantum framework can support the codes generated by Stateflow model automatically, and the combination of them can realize the application of model-based design in embedded system software design.
作者
刘芮滦
邓杨
史伟娜
刘志
Liu Ruiluan;Deng Yang;Shi Weina;Liu Zhi(Institute of Electronic Engineering,China Academy of Engineering Physics,Mianyang 621000,China)
出处
《兵工自动化》
2018年第11期44-48,共5页
Ordnance Industry Automation
基金
中国工程物理研究院质量与可靠性技术基础课题(S2016ZK.1)
