綜合模塊化航空電子系統(tǒng)資源配置工具的研究與實(shí)現(xiàn).pdf

1、綜合模塊化航空電子(IMA)是機(jī)載航空電子系統(tǒng)發(fā)展的必然趨向,并進(jìn)一步朝著深度綜合化的方向發(fā)展。綜合模塊化使得系統(tǒng)的功能、性能、可靠性、可維護(hù)性有大提升的同時,在開發(fā)、維護(hù)、升級的費(fèi)用上也能得到有效控制。IMA通過對閑置資源的分配,提高資源的使用效率,提高系統(tǒng)的綜合效益。如何在保證安全性的前提下為航電中的各個子系統(tǒng)分配合適的共享資源,并能保證功能的完整性,是IMA系統(tǒng)開發(fā)中的一個重點(diǎn)。為了有效實(shí)現(xiàn)系統(tǒng)配置,需要一套可以驗(yàn)證資源配置合理性

2、的工具,并針對任務(wù)對資源的需求,對資源進(jìn)行統(tǒng)一配置,從而最大化地發(fā)揮IMA的優(yōu)勢,提高系統(tǒng)的任務(wù)處理能力。
　　本文首先對綜合模塊化航空電子系統(tǒng)的系統(tǒng)架構(gòu)和開發(fā)過程進(jìn)行了研究,并基于DO-297規(guī)范闡述了IMA資源的基本概念、表示方法以及IMA資源配置流程,為IMA資源配置工具的開發(fā)提供理論支撐和標(biāo)準(zhǔn)依據(jù)。
　　其次,對IMA資源配置過程中關(guān)于資源一致性和完整性需求進(jìn)行了描述,并闡述了其驗(yàn)證方法。
　　最后,基于對IM