摘要
随着航空电子软件的迅速发展,传统的软件设计方法已不能满足其效率和安全性需求。为解决传统设计方法的不足,寻求一种更有效的控制软件设计方法,高安全应用开发环境SCADE应运而生。主要介绍了高安全应用开发环境SCADE的开发背景及开发特点,并以飞机飞行控制律为例,按照SCADE软件的程序设计流程,即通过直观的图形化建模建立无人机飞行控制律模型,通过模拟仿真保证设计的正确性,最终自动生成可直接面向工程的嵌入式C代码。实验结果表明,SCADE在很大程度上实现了软件开发的自动化,节约了开发成本和开发时间,体现了SCADE环境下进行软件开发的优越性。
With the rapid development of avionics software,the traditional design cannot satisfy the requirement of efficiency and security.In order to overcome the shortage and seek out a more effective way the safety-critical application development environment appears.The article mainly introduces the background and the characteristic of safety-critical application development environment SCADE,and takes the law of flight control as example,according to the design flow of SCADE,namely through the intuitionistic modeling to build the law model of flight control,through the simulation to ensure the correctness,and then generate safe embeddable C code which faces the engineering directly.The result of the test indicates that SCADE realizes the automatization and saves the cost and time of program design greatly,and validates the advantages of software development on SCADE bench.
出处
《计算机仿真》
CSCD
2007年第10期264-268,共5页
Computer Simulation
关键词
高安全应用开发环境
软件开发
系统建模
自动代码生成
运行效率
Safety-critical application development environment （SCADE）
Software design
System modeling
Code auto-generation
Run-time efficiency
