基于模型驱动的四余度信号表决系统设计  

Design of Dual-redundancy Signal-voting System Based on Model-driven Architecture

作　　者：王永国[1] 呼明亮[1] 王凌伟[1] 何文静[1] WANG Yong- guo HU Ming- liang WANG Ling- wei He Wen- jing(Xi＇an Aeronautics Computing Technique Research Institute ,AVIC,Xi＇an 710068, China)

机构地区：[1]中航工业西安航空计算技术研究所,陕西西安710068

出　　处：《航空计算技术》2016年第6期117-121,共5页Aeronautical Computing Technique

基　　金：航空科学基金项目资助(2014ZD31006)

摘　　要：利用一种基于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

关 键 词：SCADE 嵌入式软件 四度余 模型驱动 

分 类 号：V247.12[航空宇航科学与技术—飞行器设计] TP311.5[自动化与计算机技术—计算机软件与理论]