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