作者：张合军; 陈欣scade无人机高安全性自主导航软件设计
摘要：该文研究了一种无人机飞行控制软件设计方法，利用高安全性的应用程序开发环境-SCADE（Safety--Critical Application Development Environment）开发无人机自主导航功能模块的软件；按照SCADE开发嵌入式软件设计流程，自动生成可直接面向工程的高安全性嵌入式代码；并通过代码的效率测试和安全性测试，验证了在SCADE环境下进行无人机软件开发的优越性；由此得出SCADE很大程度上实现了软件开发的自动化，节约了开发成本和开发时间，并具有很高的安全性特征。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
