摘要
利用一种基于SCADE模型驱动的嵌入式软件开发方法,研究四余度信号表决系统的设计和实现,方法的主要优点在于基于图形化的软件建模、代码自动生成、具有开发周期短、安全性高,并在很大程度上实现了软件开发的自动化。通过测试和仿真,四余度信号表决系统软件模型设计合理可行,生成代码可嵌入到实时软件中使用。
This paper introduces the process based on SCADE model-driven architecture. The design and realization of Dual- redundancy Signal- voting system are researched with SCADE. The method has a lot of advantages such as applying the graphical modeling way, reducing cost, shorting period, high safety, Code auto- generation, achieving automatization of software development. Through the test and simulation, The model design of Dual- redundancy Signal- voting embedded real-time software. system is reasonable. The generated code can be used in
作者
王永国
呼明亮
王凌伟
何文静
WANG Yong- guo HU Ming- liang WANG Ling- wei He Wen- jing(Xi'an Aeronautics Computing Technique Research Institute ,AVIC,Xi'an 710068, China)
出处
《航空计算技术》
2016年第6期117-121,共5页
Aeronautical Computing Technique
基金
航空科学基金项目资助(2014ZD31006)
关键词
SCADE
嵌入式软件
四度余
模型驱动
safety- critical application development software
modal driven architecture (MDA) environment(SCADE)
dual- redundancy
embedded