基于VxWorks的飛機(jī)自動(dòng)化配電的軟件設(shè)計(jì)研究

本文簡(jiǎn)單講述了基于VxWorks的飛機(jī)電源系統(tǒng)軟件設(shè)計(jì)過(guò)程，在實(shí)際應(yīng)用中還有許多問(wèn)題需要解決。比如考慮到程序用途的特殊性，必須保證程序的正確運(yùn)行，所以程序的健壯性是研究的另一個(gè)重點(diǎn)。比如，采用程序固化運(yùn)行、冗余容錯(cuò)技術(shù)、程序互檢驗(yàn)等技術(shù)都是為了保證程序準(zhǔn)確無(wú)誤地運(yùn)行。另外，飛機(jī)邏輯負(fù)載方程庫(kù)的建立和求解，以及相應(yīng)日志文件系統(tǒng)的建立，都是必要的工作。