機載軟件圖形化設(shè)計與自動代碼生成研究.pdf

1、論文跟蹤無人機可靠性技術(shù)的發(fā)展，研究出一種在飛機受到非致命性損傷和故障情況下仍能使飛機可靠飛行的高生存力飛行控制系統(tǒng)，對高空長航時飛機順利完成任務(wù)是十分必要的。飛控計算機系統(tǒng)是飛機的重要組成部分，飛控計算機系統(tǒng)的水平對飛機的性能和安全起著決定性的作用。在某種程度上，功能完善、性能先進的飛控計算機系統(tǒng)已成為現(xiàn)代飛機的主要標(biāo)志之一。論文主要對三余度飛控計算機的機載軟件用SCADE的圖形化建模和自動代碼生成來代替?zhèn)鹘y(tǒng)的手工開發(fā)進行了研究和探討

2、。論文的研究內(nèi)容如下： 一、綜合分析了國內(nèi)外飛控計算機的發(fā)展現(xiàn)狀及趨勢，在考慮了機載軟件手工編碼的效率和可靠性的基礎(chǔ)上，提出了利用嶄新的嵌入式軟件方法一圖形化建模和自動代碼生成來開發(fā)嵌入式軟件，提高開發(fā)效率，縮短開發(fā)時間同時保證軟件的安全性和可靠性。 二、在分析了基于PCI04硬件平臺和VxWorks軟件系統(tǒng)的三余度飛控機基礎(chǔ)上，解決了機載軟件的總體方案設(shè)計，研究了基于SCADE機載軟件的圖形化建模和自動代碼生成。論文的

3、重點也在于此，分列兩部分：第一部分研究基于SACDE的機載軟件的圖形化建模。這部分首先給出了三余度飛控計算機軟件系統(tǒng)的總體框架構(gòu)成，包括了系統(tǒng)管理軟件、余度管理軟件等；對三機同步技術(shù)、三機交叉通信和三機輸入輸出比較監(jiān)控技術(shù)進行了詳細(xì)的方案設(shè)計，并給出了基于SCADE．具體的軟件開發(fā)方法和具體流程。第二部分研究基于SCADE的自動代碼生成。通過分析自動生成代碼，從效率、正確性、安全性和可靠性方面與手工代碼進行分析對比，總結(jié)出其優(yōu)缺點。