摘要
该文研究了一种无人机飞行控制软件设计方法,利用高安全性的应用程序开发环境—SCADE(Safety-Critical ApplicationDevelopment Environment)开发无人机自主导航功能模块的软件;按照SCADE开发嵌入式软件设计流程,自动生成可直接面向工程的高安全性嵌入式代码;并通过代码的效率测试和安全性测试,验证了在SCADE环境下进行无人机软件开发的优越性;由此得出SCADE很大程度上实现了软件开发的自动化,节约了开发成本和开发时间,并具有很高的安全性特征。
A method of software design of UAV flight control is researched, using the Safety--Critical Application Development Environment- SCADE to develop the software of autonomous navigation module for UAV. According to the embedded software designing flow of SCADE, automatically generates Safety--Critical embedded code. And by the efficiency and safety test on the code the advantage of developing software for UAV using SCADE is validated. Therefore, it is concluded that SCADE actualizes the automation of software development in a highly way, saving the cost and time, and having a safety critical property.
出处
《计算机测量与控制》
CSCD
2007年第10期1400-1402,1414,共4页
Computer Measurement &Control
