论文部分内容阅读
该文研究了一种无人机飞行控制软件设计方法,利用高安全性的应用程序开发环境—SCADE(Safety-Critical ApplicationDevelopment Environment)开发无人机自主导航功能模块的软件;按照SCADE开发嵌入式软件设计流程,自动生成可直接面向工程的高安全性嵌入式代码;并通过代码的效率测试和安全性测试,验证了在SCADE环境下进行无人机软件开发的优越性;由此得出SCADE很大程度上实现了软件开发的自动化,节约了开发成本和开发时间,并具有很高的安全性特征。