HB 8575－2020 民用飞机机载嵌入式操作系统与应用软件 接口测试要求 Requirements for test used by civil aircraft airborne embedded operating system and application interface 2020－09－14发布 2021－01－01实施 中华人民共和国工业和信息化部 发 布 ICS 49.020 V 07 HB 8575－2020 I 目 次 前言…………………………………………………………………………………………………………… III 1 范围…………………………………………………………………………………………………………1 2 规范性引用文件……………………………………………………………………………………………1 3 术语和定义…………………………………………………………………………………………………1 4 总则…………………………………………………………………………………………………………2 4.1 硬件平台要求…………………………………………………………………………………………2 4.2 民用飞机机载嵌入式操作系统与应用软件接口测试目的…………………………………………2 4.3 符合性验证……………………………………………………………………………………………2 4.3.1 应用级别和范围…………………………………………………………………………………2 4.3.2 接口测试的建议流程……………………………………………………………………………3 4.4 测试标准和程序实现的指导准则……………………………………………………………………3 4.4.1 测试程序定义……………………………………………………………………………………3 4.4.2 测试描述文件结构说明…………………………………………………………………………4 5 民用飞机机载嵌入式操作系统与应用软件接口测试要求………………………………………………4 5.1 系统要求………………………………………………………………………………………………4 5.1.1 概述………………………………………………………………………………………………4 5.1.2 通用管理类型的 API/OS符合性………………………………………………………………5 5.1.3 通用 API/OS管理类型…………………………………………………………………………5 5.2 分区服务………………………………………………………………………………………………6 5.2.1 分区管理类型……………………………………………………………………………………6 5.2.2 分区管理服务……………………………………………………………………………………7 5.3 进程服务………………………………………………… ……………………………………………16 5.3.1 进程管理类型…………………………… ……………………………………… ………………16 5.3.2 进程管理服务…………………………… ……………………………………… ………………18 5.4 时间服务………………………………………………… ……………………………………………79 5.4.1 时间管理类型…………………………… ……………………………………… ………………79 5.4.2 时间管理服务…………………………… ……………………………………… ………………80 5.5 内存管理服务要求……………………………………… ……………………………………………90 5.6 分区间通信服务………………………………………… ……………………………………………90 5.6.1 分区间通信类型………………………… ……………………………………… ………………90 5.6.2 分区间通信服务………………………… ……………………………………… ………………92 5.7 分区内通信服务……………………………………………………………………………………152 5.7.1 分区内通信类型………………………………………………………………………………152 5.7.2 分区内通信服务………………………………………………………………………………156 5.8 健康监控服务………………………………………………………………………………………277 5.8.1 健康监控服务类型……………………………………………………………………………277 HB 8575－2020 II 5.8.2 健康监控服务…………………………………………………………………………………279 5.9 测试例程中使用的常数定义………………………………………………………………………296 HB 8575－2020 III 前 言 本标准的附录 A和附录 B为资料性附录。 本标准由中国航空工业集团有限公司提出。 本标准由中国航空综合技术研究所归口。 本标准起草单位：中国航空工业集团公司西安航空计算技术研究所、中国航空综合技术研究所、中 国航空工业集团公司西安飞机设计研究所、中国航空工业集团公司成都飞机设计研究所。 本标准起草人：叶 宏、徐 宁、王 宁(综合所)、崔西宁、张晓红、周南明、魏学杭，母方欣。 HB 8575－2020 1 民用飞机机载嵌入式操作系统与应用软件 接口测试要求 1 范围 本标准规定了民用飞机机载嵌入式操作系统与应用软件接口测试要求。主要针对 GJB 5357－2005 规定的航空电子系统应用软件接口要求，制定功能和健壮性等方面的测试要求，用于指导未来民用飞机 航空电子系统操作系统选型所应满足的最小功能、接口等方面的测试要求，主要包括接口功能测试要求和接口健壮性测试要求等。 本标准适用于 GJB 5357－2005 规定的航空电子系统应用软件接口功能测试和接口健壮性测试。 2 规范性引用文件 下列文件对于本文件的应用是必不可少的。凡是注日期的引用文件，仅所注日期的版本适用于本文 件。凡是不注日期的引用文件，其最新版本(包括所有的修改单)适用于本文件。 G J B 5357－2005 航空电子系统应用软件接口要求 3 术语和定义 3.1 分区 partition 包括代码和数据的程序，它可以被装载到核心模块中的一个独立的地址空间。 3.2 分区窗口 partition windows 一段时间，在这段时间内资源被分配给分区内的进程。 3.3 主时间框架 major frame 核心模块中所有分区窗口的最小公倍数的倍数，每一个主时间框架包括同样的分区时间窗口。 3.4 端口 port 分区定义的资源，用于在指定的通道上发送或接收消息。端口的属性规定了它对消息传输的控制以 及所传输消息的特性。 3.5 通道 channel 分区通信的一个途径，它由一组逻辑上相互连接的端口组成。 3.6 优先级队列 priority queue 按优先级的高低确定处理顺序的队列。 3.7 进程 process HB 8575－2020 2 分区中包含的程序单元。同一分区内可以有多个进程并发执行。 3.8 分段 segmentation 将消息分成更小的单元(段)，以便能够进行传输。 3.9 核心模块 core module 一个至少包含了处理器资源和存储器资源的模块。 4 总则 4.1 硬件平台要求 硬件平台应支持操作系统对每个分区的内存空间、处理时间和 I/O访问的能力进行限制，以隔离共 享资源中的多个分区。 任何硬件中断处理都应该由操作系统提供服务。分区定时中断的产生应该具有确定性。分区的时间 特性不应受中断干扰。 对处理机的基本要求： a) 应提供足够的处理能力，以满足最坏情况下的时间要求； b) 能够存取指定的 I/O和存储器资源； c) 可以访问时间资源以实现时间服务； d) 在分区试图执行无效操作时，能够将控制权转移给操作系统； e) 能够为处理控制结构的实现提供原子操作。 4.2 民用飞机机载嵌入式操作系统与应用软件接口测试目的 G J B 5357－2005 定义了机载嵌入式操作系统与应用软件接口基本服务，这些服务分为以下六类： a) 分区管理：允许不同关键级别的分区时间和空间都互不影响地在同一个核心模块上执行。 b) 进程管理和控制：包括管理不同进程的所有必要资源。例如进程控制和处理调度考虑指定进程 的属性和进程状态转换。 c) 时间管理：是多任务系统上操作系统提供的重要关键功能部件