IMA重配置策略和重配置的安全性分析方法研究.pdf

1、目前，綜合模塊化航空電子系統(tǒng)（IMA）體系架構(gòu)日益廣泛地運(yùn)用于航空電子系統(tǒng)的設(shè)計(jì)，基于IMA體系架構(gòu)的航空電子系統(tǒng)在帶來(lái)諸多優(yōu)點(diǎn)的同時(shí)，也面臨著系統(tǒng)復(fù)雜性增大情形下如何進(jìn)行安全性分析與驗(yàn)證的問(wèn)題。IMA重配置（Reconfiguration）技術(shù)是提高航空電子系統(tǒng)安全性的一條重要途徑，支持IMA重配置的配置策略和IMA重配置的安全性分析對(duì)于改善IMA系統(tǒng)安全性有重要意義。雖然目前已經(jīng)有許多有關(guān)IMA配置相關(guān)的研究，但是對(duì)支持IMA重配置

2、的配置策略的研究并不充分，對(duì)于重配置的基于形式化方法的安全性分析研究更加缺乏，針對(duì)當(dāng)前研究存在的不足，本文主要研究了IMA重配置的配置策略及基于形式化方法的安全性分析方法。首先研究了支持IMA重配置的分區(qū)的時(shí)間周期配置策略和高內(nèi)聚低耦合的分區(qū)劃分策略；其次，由于基于模型的IMA重配置的安全性分析的研究還相對(duì)薄弱，目前大多數(shù)基于模型的研究通常無(wú)法依據(jù)同一模型在多重角度來(lái)分析模型的性質(zhì)，所以本文利用SLIM語(yǔ)言（系統(tǒng)級(jí)集成建模語(yǔ)言）建模IM

3、A重配置模型，然后利用COMPASS模型工具進(jìn)行安全性分析。
　　本文的主要研究工作有以下幾個(gè)方面：
　?。?）基于故障注入技術(shù)，構(gòu)建了IMA重配置的SLIM模型，并給出了模型的故障注入的基本方法用以刻畫(huà)IMA重配置的基本行為，并以一個(gè)簡(jiǎn)化的IMA重配置系統(tǒng)模型予以了闡述。
　?。?）在支持IMA重配置的配置策略方面主要通過(guò)對(duì)IMA分區(qū)的周期策略和應(yīng)用分區(qū)劃分策略進(jìn)行了定量的和定性的分析，得出了分區(qū)周期配置條件和應(yīng)用分

4、區(qū)高內(nèi)聚低耦合的劃分策略，對(duì)重配置時(shí)保證數(shù)據(jù)不丟失的分區(qū)周期配置有重要意義，對(duì)重配置過(guò)程中減少分區(qū)重配置對(duì)其它正常分區(qū)的影響也有重要作用。
　　（3）在IMA重配置的安全性分析方面，本文主要利用SLIM建模語(yǔ)言建立IMA重配置的標(biāo)稱(chēng)模型和失效模型，然后通過(guò)故障注入技術(shù)，利用COMPASS模型工具將標(biāo)稱(chēng)模型和失效模型擴(kuò)展為擴(kuò)展模型，基于擴(kuò)展模型對(duì)系統(tǒng)進(jìn)行形式化的安全性分析，通過(guò)模型工具自動(dòng)化地獲得了需要分析的重配置安全性質(zhì)，并可以自