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

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

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

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