SCADE在無人機飛行控制軟件設計中的應用.pdf

1、在無人機飛行控制系統(tǒng)中,機載飛控軟件是重要的組成部件,也是影響系統(tǒng)安全的關(guān)鍵部件,具有規(guī)模大、功能多、復雜性高等特點。目前的飛控軟件開發(fā)基本都是采用傳統(tǒng)的手工編碼方式,效率和可靠性較低。
　　 本文主要研究了將高安全性軟件開發(fā)環(huán)境(Safety-Critical ApplicationDevelopment Environment,簡稱SCADE)應用到無人機飛行控制軟件設計中,采用圖形化軟件開發(fā)方法,以及代碼自動生成進行軟件的

2、開發(fā)、測試,尋求一種無人機飛控軟件開發(fā)的新方法,增強軟件的安全性和可靠性,提高軟件開發(fā)的自動化程度。
　　 首先介紹了SCADE軟件的關(guān)鍵概念,以及SCADE軟件可視化的建模方法。
　　 其次對無人機飛行控制軟件進行需求分析和總體設計,對整個飛控軟件按照功能模塊進行劃分,并繪制了軟件功能圖。
　　 再次以某型無人機飛行控制軟件為例,對控制律、余度管理、導航制導的部分功能軟件進行需求分析和詳細設計,按照SCADE開

3、發(fā)嵌入式軟件的設計方法,即直觀的圖形化建模,實踐了模型的搭建。并研究了對SCADE自動生成的高安全性C代碼進行集成,以得到完整的無人機飛控軟件。
　　 最后通過半物理實時仿真試驗,驗證了采用SCADE設計無人機飛行控制軟件的正確性。
　　 實際無人機飛行控制軟件設計過程與測試結(jié)果表明,SCADE在很大程度上實現(xiàn)了軟件開發(fā)的自動化,節(jié)約了開發(fā)成本和開發(fā)時間,并具有很高的安全性特征,在無人機飛行控制軟件開發(fā)中有著較高的應用價