论文摘要：综合化航电系统资源融合的安全性分析方法研究

IMA（Integrated Modular Avionics，综合化模块化航空电子）系统作为目前航电系统发展的先进代表，其通过操作系统对上下层软硬件的动态配置来完成指定的飞行任务，使得IMA系统达到了资源的高度共享和融合。然而这却使得IMA在安全性方面出现了不同于以往联合式航电的问题。在软硬件动态的组合过程中，如果组件之间的接口不协调、性能不匹配或者配置过程中发生遗漏等问题，均有可能导致任务执行中所必须的组件缺失或无法提供相应的服务，从而对系统造成安全性问题。大多数现有的安全性分析方法的发展由于一直偏向对传统系统中软硬件固定搭配的运行模式进行分析，根据ASAAC标准中总结的安全性分析结论，这些方法在对IMA进行分析时普遍存在分析难度大、甚至无法分析的情况。

针对上述原因，本文从IMA的运行机理和各类安全性分析方法着手进行研究，提出了一种分别从系统高层和低层对IMA组件之间的依赖关系进行分析的安全性分析方法，并可以提出设计方面相关安全性。全文首先介绍了研究相关的背景，表明了课题研究的价值与意义。其次对IMA系统结构及运行进行了分析研究，确定在资源融合中不稳定的依赖关系可能产生严重的安全性问题。接着在对各类安全性分析方法研究的基础上，提出了IMA分析方法应具有的四条属性和分层分析的思路。随后通过对IMA组件构建图形化描述——依赖树模型基础上，分别从系统高层和低层针对依赖关系提出了相应的安全性分析方法。最后对高低层两种分析方法进行了梳理、整合，形成一套完整的针对IMA资源融合方面的安全性分析方法，并辅以示例对方法的实施流程进行了说明验证。

来源：半壳优胜育转载请保留出处和链接！

本文链接：http://87cpy.com/286615.html