SCADE在無人機(jī)飛行控制軟件設(shè)計(jì)中的應(yīng)用.pdf

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

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

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