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

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

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

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

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