摘要
随着航空机载软件功能和复杂性的提高,采用传统的人工编码方法来已不能满足其效率和安全性要求,因此寻求一种更有效的航空机载软件设计方法势在必行。本文研究了一种航空机载软件开发方法—高安全性开发环境SCADE,并以飞机自主导航软件为例,按照SCADE软件的程序设计流程,即通过直观的图形化建模和模拟仿真自动生成可直接面向工程的安全嵌入式C代码。实验结果表明,SCADE在很大程度上实现了软件开发的自动化,节约了开发成本和开发时间。
With the increasing functional complexity of the flight control software,the traditional design of airborne software is realized by writing code manually,which is lower in efficiency and cannot ensure the security of development.A solution to design and realize airborne software is studied in this paper based on SCADE (Safety Critical Application Development Environment) and taking the navigation software for example,according to the design flow of SCADE,namely through the intuitionistic modeling builds the model of navigation and simulation,it generates safe embeddable code which faces the engineering directly.The result of the test indicates that SCADE realizes the automatization and saves the costs and time of program design greatly.
出处
《软件》
2011年第5期74-77,共4页
Software