211133623_综合模块化航电资源分配研究编程频道|福州电脑网

2024年3月13日发(作者：)

航空航天科学技术

DOI：10.16660/.1674-098X.2209-5640-8633

2022 NO.30

Science and Technology Innovation Herald

科技创新导报

综合模块化航电资源分配研究

马朝军黄世杰

付玉堂张夏庆

（吉太航空科技研究院（苏州）有限公司江苏苏州 215400）

摘　要：综合模块化航电（IMA）的架构具有高度综合化及软硬件资源可共享、可配置、可重用等特点，这种构

架显著降低了航电系统升级、系统综合工作的难度，同时对航电系统的开发提出了新的挑战。本文简要介绍

了IMA的系统架构与设计过程；对驻留功能资源需求的确定方法、系统资源分配流程进行了分析；基于“假设

—保证”的研究方法，探讨了IMA资源分配自动化工具的设计思路。

关键词：综合模块化航电资源分配驻留功能系统集成

中图分类号： V243文献标识码： A文章编号：1 674-098X(2022)10(c)-0075-06

Research on Integrated Modular Avionics Resource Allocation

MA Zhaojun HUANG Shijie

FU Yutang ZHANG Xiaqing

( Getai Aviation Technologies Co., Ltd., Suzhou, Jiangsu Province, 215400 China )

Abstract: The Integrated Modular Avionics (IMA) architecture is highly integrated, sharable, configurable, and

reusable of the hardware and software resources. This architecture significantly reduces the difficulty of upgrading

and system integration of avionics system. At the same time, it brings new challenges to the development of avionics

system. This paper briefly introduces the IMA system architecture and design process. The determination method of

resident functional resource requirements and the system resource allocation process are analyzed. Based on the

research method of "assumption-guarantee", the design idea of IMA resource allocation automation tool is discussed.

Key Words: IMA; Resource allocation; Hosted function; System integration

国内外传统的航空电子系统是基于专用硬件和软

件开发的，目前，大多数运营中的飞机航空电子系统均

是采用这种方式实现。自20世纪90年代起，航空电子

设备设计的复杂程度大大提高，这些专用设备的高额

生命周期费用渐渐成为航空电子系统设计中一个最大

的问题，由此，航空工业开始了航空电子综合化技术的

研究。90年代中期，波音B777飞机首次采用了飞机信

息管理系统（AIMS），将飞行管理系统、中央维护、显

示、导航、飞机状态监控、飞行数据记录等航空电子功

能综合在一起。空中客车公司的A380和波音公司的

B787均采用IMA架构作为其航电系统设计的基本

［1］

思路。

IMA架构是基于一组共享计算、通信和I/O资源的

综合化、模块化系统。IMA架构相较传统航电系统架

构，具有硬件兼容性及可升级性等方面的优势，并且支

持软件的重用。然而，基于IMA架构综合的过程因为

航电系统间的资源而变得复杂，航电系统间资源共享

及分配问题是IMA系统综合领域工作的重点和难点。

本文介绍了IMA资源分配的流程，分析了资源分配及

平衡原理，并对资源分配自动化工具的开发进行了探

讨，为国内目前进行的商用飞机研制提供有益的借鉴。

作者简介：马朝军（1981—），男，本科，研究方向为民用航空电子设计。

通信作者简介：黄世杰（1983—），男，硕士，研究方向为民用航空电子设计，E-mail：********************。

科技创新导报 Science and Technology Innovation Herald

科技创新导报

1 IMA系统简介

2022 NO.30

Science and Technology Innovation Herald

航空航天科学技术

统处理模块、机柜交换机模块，为驻留在其中的各个功

能软件提供共享的存储资源、计算资源、I/O接口资源

和网络资源。航电网络可为全机提供数据交换通道，

通过ARINC664总线网络实现通信。系统处理模块中

包括远程接口单元（RIU）和I/O模块，是处于不同位置

的相同功能设备，为外部传感器和执行机构等设备提

供数据接口。多个航电子系统功能软件驻留在系统处

理模块上面，系统处理模块上的基础软件为各驻留功

［3］

能提供隔离、通讯和调度机制。

［2］

根据RTCA/DO-297标准，IMA系统定义为：根

据已定义好的一系列安全和性能需求来设计和验证，

由一系列可共享、灵活、可重用、可共同操作的软、硬件

资源所建立的综合平台，用于驻留应用来执行飞机的

功能。IMA系统主要组成部分有计算资源、数据传输

网络和远程I/O单元。IMA系统架构如图1所示，图中

资源中心为IMA机箱形式，IMA核心处理机柜包含系

图1　IMA系统架构图

科技创新导报 Science and Technology Innovation Herald

航空航天科学技术

由此可见，IMA系统是标准化、模块化、开放式的

实时计算机系统，并由实时网络来支持各种不同用途

和重要性的计算模块的互联。IMA系统多个通用处理

模块的基础软件为应用程序提供通用API来使用硬件

和网络资源，并提供可靠分区机制，保证各驻留任务间

的隔离，应用开发人员只需将精力集中在应用层，不同

安全等级的驻留任务可独立进行认证，大大简化了航

空电子系统软、硬件的综合和认证工作。由于航电系

统中的大部分硬件和基础软件被广泛地共享，相对于

传统子系统相互独立的联合式航电结构，用更少、更加

集中的共享硬件模块取代多个独立处理器和LRU，大

大减轻了重量，节约了维护成本和燃油用量，更方便地

实现了系统的升级和变更工作。据统计，IMA系统的

应用使B787比其之前的飞机节省了大约900kg的航空

电子设备，A380飞机则减少了大约一半的航空电子处

［4］

理组件。

2022 NO.30

Science and Technology Innovation Herald

科技创新导报

（1）在进入开发周期之前，系统工程师需要在高层

次的驻留功能共享资源需求的视野上，开发IMA的计

算和网络配置。

（2）使用工程分析工具，针对共享资源，对早期的

逻辑和物理IMA架构进行配置。

（3）根据共享资源分配需求，开发一个HF的

SOW。

方面。

2.2 驻留功能资源需求的确定方法

本文基于DO-297的原理，开发了一种基于“模块

数据页”的概念，并将其作为IMA软件/硬件取证包的

一部分。一个“数据页”是描述模块能力和特性的一个

简单易读的描述方式。驻留功能数据页应该是与特定

硬件相关的，应该描述：它是什么、需求是什么、能提供

什么、需要什么I/O、能提供什么I/O、使用环境、限

［7］

制等。

（4）在概念证明阶段，验证架构的所有关键技术

2 IMA系统开发及资源分配过程

2.1 早期IMA架构设计

根据业界早期IMA系统的设计经验，IMA系统的

确定要早于其它系统，以获得一个稳定的平台来支持

系统设计阶段的驻留功能及设备的开发。IMA早期的

确定会起到两个关键的作用：第一，早期定义会产生设

计验证的标准，并且产生一个可被其它系统用来进行

资源需求评估的架构；第二，早期定义需要产生系统设

计限制、指南，并能促进各驻留功能对IMA资源最有效

［5］

的需求。当驻留功能设计成熟后，可以产生出一个

作为IMA系统集成商，可以采用数据页概念，设计

出“驻留功能模板”来实现“数据页”的概念和功能，保

证系统工程师在早期对系统的宏观把握。驻留功能模

板用于获取每个潜在的HF对IMA共享资源的需求，模

［8］

板是一个用于获取早期设计信息的通信工具，用来

回答以下问题。

（1）IMA平台架构供应商：①该架构对于该功能是

否具有足够的共享资源；②对于该功能的安全性需求

是什么；③HF团队是否理解IMA架构的能力和限制。

（2）驻留功能供应商：①在满足IMA架构的限制条

件下，如何实现的功能；②系统中的数据流的定义；③

如何对驻留功能进行测试。

（3）IMA系统集成商：①功能能够安全地实现；②

功能是否容易集成；③功能能否执行。

这些模板将用于IMA系统架构设计、IMA系统集

成和驻留功能设计工作，如图3所示。通过共同设计

驻留功能模板，各方将会对IMA共享资源需求开发有

一个深入的、共同的理解。

为使各方对驻留功能模板有统一的理解，并保证

模板信息满足IMA资源分配的需求，模板应至少包含

以下信息：（1）功能描述；（2）功能上下文图表；（3）驻留

功能共享资源需求到物理IMA架构的映射；（4）安全性

科技创新导报 Science and Technology Innovation Herald

优化的IMA架构配置，如图2所示。

当IMA的采购早于其它系统的完成时，需要关注

［6］

以下问题。

图2　IMA系统架构设计过程

科技创新导报

2022 NO.30

Science and Technology Innovation Herald

航空航天科学技术

它是基于真实确定的IMA结构而来的。在这个阶段，

系统集成商已经很清楚IMA共享资源如何分配给每个

HF是满足要求且最合适的。

2.3 IMA系统资源分配流程

本节以2.2节中的资源分配工作分工为基础，分析

IMA资源分配的流程，如图4所示。

IMA系统资源分配过程贯穿于IMA系统设计集成

工作中，是一个典型的不断迭代、反馈和优化的过

［9］

程，主要工作过程如下。

（1）IMA驻留功能供应商根据自身功能要求、IMA

图3　驻留功能模板的使用

平台架构数据来分析对IMA平台的资源需求，形成驻

该文档实现2.2节中的“驻留功

要求；（5）有效率和派遣率要求；（6）飞机的操作需求，

留功能资源需求文档，

能模板”功能。

如在紧急电源情况下的有效性；（7）系统性能延迟参

（2）驻留功能资源需求作为IMA平台供应商对

数；（8）数据流；（9）处理器吞吐量；（10）数据存储需

IMA平台设计的一个输入，以供平台供应商对自身架

求；（11）易失存储器需求；（12）非易失存取器需求；

构的评估、更改。

（13）I/O的类型；（14）隔离需求；（15）冗余需求。

（3）IMA系统集成商以IMA平台架构、驻留功能资

当驻留功能模板的定义工作完成之后，功能应用

源需求为输入，对IMA系统进行建模与分析，并生成

涉及的一些逻辑数据流就会应用在这些可供参考的

IMA逻辑架构中。一旦所有驻留在IMA资源的驻留分

IMA系统配置文件，完成初步的资源分配过程。

（4）IMA系统配置在IMA系统上加载，进行资源分

配完毕之后，将会产生一个新的可供参考的IMA架构，配的验证工作。

图4　IMA资源分配流程图

科技创新导报 Science and Technology Innovation Herald

航空航天科学技术

（5）资源配置验证结果反馈至IMA系统集成商进

行分析与评估。

（6）系统集成商根据资源分配及验证结果与驻留

供应商进行资源使用协商，并在平台供应商的支持下

共同完成平台资源优化。

（7）驻留功能供应商根据与系统集成商和平台供

应商的协商结果，不断更新驻留功能资源需求，实现各

方对资源需求文档的一致理解。

2.4 IMA架构的确认

一旦IMA共享资源分配已经确定并且获得一致同

意，在驻留功能的开发过程中，每一个驻留功能需要用

科学的方法和过程来评估共享资源的利用，并需要监

控IMA构成的执行来确保能够满足预先确定的

［10］

评估。

2022 NO.30

Science and Technology Innovation Herald

科技创新导报

法。对于两个一般的系统X和Y，系统Y保证资源P

赋予系统X，则系统X假设资源P

由其无条件地独自

占有（True），并且系统Y一直保留着对资源P

使用状

况的记录。IMA系统集成工程师必须保证所有的假设

得到足够的确认。

基于“假设—保证”的组合推理方法，X代表驻留

与IMA平台Y上的功能。系统Y（IMA平台）必须保证

它所提供的资源和服务，系统X（hosted function）必须

假定这些资源和服务的保证为真（true）。因为系统X

依赖于系统Y，当系统Y的资源保证为真（hold true）

时，系统X只能为真（hole true）；但是，反过来不能成

立，系统Y对系统X不存在任何依赖关系。

对于这种依赖关系，可以使用规范化的表达式来

分析，如式（1）所示：

TrueY||XP

ΛP

义，并且定期进行，来检测任何在开发生命周期中产生

［11］

个飞机时间进度的影响。

IMA逻辑和物理架构的确认必须在最初的时候定

（1）

的问题。早期对这些问题的处理会阻止这些问题对整

逻辑关系可以表示为

X，如果X为一个系

统，p表示为真时，系统X必须满足条件q。将这种概念

应用到式（1）中，如果一个系统控制了资源P

，则Y必

须满足条件P

；控制了资源P

和P

，则X要保证P

得

到满足。这种形式的推理形式称为组合推理方法，因

为这种方式允许各系统提供者进行单独的推理。系统

集成工程师能够演绎出关于Y和X组合的资源情况，

表示为Y||X，需要资源

andP

>。在实际应用

中，资源P

、P

表示各系统供应商要保证的资源，以

保证在综合阶段的安全性和取证要求。这种符号表示

方法可以用于正式的文档中，以判断综合过程行为的

完整性。

3.2 自动化资源配置工具考虑

在航电系统开发集成过程中，大量航电子系统功

能需要驻留在IMA中，IMA系统资源分配的过程需要

不断地更改、升级和优化。采用手工方法对资源进行

配置是极其复杂的过程，尤其在涉及变更和升级问题

时。而IMA系统资源共享的特性决定了大量的系统集

成、资源分配工作发生在逻辑领域，由此为自动化操作

提供了可能。

目前，国内尚无针对复杂IMA系统的自动化配置

的专业化工具。根据IMA系统集成、资源分配的任务

科技创新导报 Science and Technology Innovation Herald

驻留功能的逻辑定义由驻留功能模板的数据信息

建立。通过将驻留功能模板信息进行组合，建立设计

资料库，通过与IMA逻辑参考构架进行比较，完成对模

板数据的校验。

3 IMA资源配置的自动化工具考虑

3.1 假设—保证分析方法

驻留的航空电子系统共享IMA系统的资源，单独

的子系统供应商无法对其所占有的共享资源进行安全

及取证的全面考虑，驻留程序依赖于共享资源的效率

和功能，因此，子系统安全和取证的考虑依赖于整个航

电子系统。组合推理技术被用来处理这类复杂的问

题。组合系统指的是由独立个体组成的系统，对于各

个体的考虑进而组成对综合化系统的顶层的综合考

虑。对于单独驻留程序级的分析不仅在于其安全及取

证问题，而且要考虑到变更的成本（Cost of change），对

于每一个驻留程序的变更，都将影响到全局的重新评

［12］

估和验证。

在计算机科学领域，针对高度资源共享的计算机

资源的分配问题可以采用组合体理论进行研究，通用

的研究方法是“假设—保证（Assume-Guarantee）”方

科技创新导报

2022 NO.30

Science and Technology Innovation Herald

航空航天科学技术

DO-297, Integrated Modular Avionics (IMA) Develop⁃

ment Guidance and Certification Considerations[S].

SC-200 Committee,2005.

USA: Radio Technical Commission for Aeronautics

[3]陈朋瑞,贾蒙.综合航电处理平台核心处理系统[J].

计算机产品与流通,2019(10):81,94.

[4]LEANNA K practice for certifying

Electronic Systems Magazine,2010,25(1):4-8.

特点，对自动化资源配置工具的功能要求进行分析，为

自动化资源配置工具的功能提出需求。自动化资源配

置工具应能完成以下功能。

（1）建模（系统需求捕获和架构定义）：完成基于平

台和驻留功能的综合系统的模型。

（2）模型分析：基于假设—保证的组合推理方法，

对系统模型进行分析，完成IMA系统组建、资源和时序

分析等工作。

（3）配置文件生成：基于验证过的模型，产生可加

载的、二进制的配置文件。

（4）IMA资源的配置管理功能：系统配置信息的记

录、相关性分析、需求数据的配置管理等功能。

（5）支持变更成本的最小化分析：当变更或升级发

生时，计算变更成本花费（时间、人力和资金），以获取

最优方案。

自动化配置工具基于假设—保证的推理方法，根

据驻留功能的定义、平台资源（计算、网络、I/O）等对系

统资源进行自动配置，在IMA硬件平台保持不变的情

况下，有效地、自动地完成综合过程的大量工作。将

来，针对IMA的升级和变更，只需系统集成工程师重新

运行配置工具、重新进行资源分配。

IMA systems in civil aircraft[J].IEEE Aerospace and

[5]Federal Aviation Administration(FAA).Advisory Cir⁃

cular, Guidance for Integrated Modular Avionics

(IMA) That Implement TSO-C153a Authorized Hard⁃

of Transportation, FAA, Subsequent Distribution Of⁃

fice,2019.

ware Elements: AC 20-145[S].Landover: Department

[6]韩嫚莉,田莉蓉,杨柳.民用飞机IMA系统开发过程

的研究[J].航空计算技术,2021,51(1):116-119.

[7]高凌岚,杜晓鹏.综合模块化航电(IMA)系统设计方

法研究[J].科技创新导报,2015,34:21-22.

[8]韩嫚莉,高杨,高瑞坤.IMA系统开发方法的研究[C].

天大学出版社,2022:211-218.

[9]CHRISTOPHER B ated modular avi⁃

onics: Managing the allocation of shared intersystem

resources[C].IEEE 25th Digital Avionics Systems Con⁃

ference,2006:15-19.

第五届中国航空科学技术大会论文集.北京航空航

4 结论与展望

置完成系统功能的集成。文中对IMA系统架构设计流

程、驻留功能资源需求获取方法、资源分配流程、基于

假设—保证技术的资源配置分析方法等进行了深入的

分析，并对IMA资源分配自动化工具的设计进行了探

讨，以期实现对IMA系统分析、IMA逻辑架构和物理架

构设计、平台配置参数生成和系统验证与确认等工作

的自动化。

IMA构架允许系统集成工作通过对共享资源的配

[10]DAN ce allocation process[J].IEEE

Aerospace and Electronic Systems Magazine,2010,25

(3):30-34.

参考文献

[1]熊华钢,王中华.先进航空电子综合技术[M].北京:

国防工业出版社,2009.

[2]Radio Technical Commission for Aeronautics. RTCA

[11]王明明,胡军,张维珺,等.基于模型的IMA时间资

28(5):32-37.

源配置验证方法研究[J].计算机技术与发展,2018,

[12]王羽,洪沛,王震.IMA系统软件集成过程的相关考

虑[J].航空电子技术,2021,52(3):37-42.

科技创新导报 Science and Technology Innovation Herald

211133623_综合模块化航电资源分配研究

发布评论取消回复

最近发表

相关推荐

标签列表

211133623_综合模块化航电资源分配研究

发布评论 取消回复

最近发表

相关推荐

标签列表

发布评论取消回复