异构仿真：打造更可靠的综合化航空电子软件

迪捷软件

于 2024-09-14 17:36:29 发布

阅读量561

点赞数 4

文章标签：航空航天

本文链接：https://blog.csdn.net/digi2020/article/details/142261891

版权

综合化航空电子系统是一类典型的安全关键系统，具有分布式、异构、计算资源和物理资源强耦合等特征。随着IMA（Integrated Modular Avionics，综合模块化航空电子）系统趋于复杂化和智能化，系统的功能越来越多地采用软件来实现，如何打造更为可靠的综合化航空电子软件成为一个重要挑战。

1.IMA

航空电子系统先后经历了分立式、联合式、综合化等阶段，综合化阶段的航空电子系统即为IMA系统。IMA系统作为一类典型的安全关键系统，对安全性、可靠性、实时性有极高的要求。当下IMA系统正向开放式、模块化、综合化的方向高速发展，复杂程度也越来越高，需要多个具备不同功能特性的组件来协作完成复杂任务。

分区（Partition）是IMA系统的核心概念，即每个分区包含独立的地址空间、上下文数据以及实时任务，一个分区的错误行为不会影响到其他分区，是IMA多个组件协同工作的保障。为此，美国机动工程师协会SAE（Society of Automotive Engineers）于1997年推出了综合化航空电子操作系统标准ARINC653，根据软件安全级别定义了分区管理、调度、通信等接口，其目的是在航电实时操作系统与应用软件之间定义一套通用的应用执行接口标准，以保证IMA系统的可靠性和安全性。航空航天领域知名的国产操作系统翼辉操作系统和天脉操作系统都符合ARINC653标准。

2.异构仿真

随着系统复杂性急剧增加，IMA系统的功能越来越多地采用软件实现。如何在有限的开发时间和成本下设计与实现高质量的综合化航空电子软件，成为国内外学术界与工业界面临的重要挑战。在此背景下，异构仿真技术作为一种有效的解决方案脱颖而出，尤其适配需要多个组件协作的IMA系统。

异构仿真指在一个统一的仿真环境中，集成多种不同类型的仿真模型或工具，以支持跨平台、跨系统的协同工作。在航空电子领域，异构仿真主要用于验证和测试由多个不同供应商提供的软件组件能否在IMA架构下协同工作，可以帮助用户在早期发现并解决集成过程中可能出现的问题，从而提高系统的整体性能和可靠性。

3.异构仿真的关键技术

3.1 模型驱动工程（MDE）

近年来，模型驱动（Model-Driven）尤其是采用形式化模型驱动的综合化航空电子软件设计与开发方法逐渐受到重视，并被工业界认为是切实可行的重要手段。2012年发布的，国际民航领域使用的机载系统适航审定中的软件开发标准DO-178C，就将模型驱动和形式化方法（即DO-331和 DO-333）作为其核心标准的重要技术补充。可点击此处了解更多关于DO-178C的相关信息。

模型驱动的安全关键系统设计与开发方法中，常用的建模工具有SCADE Suite、Simulink等；常用的建模语言有SysML、AADL（Architecture Analysis & Design Language，AADL）等：