Purpose

In modern integrated modular avionics (IMA), it plays an important role to guarantee safety and reliability of the system. The safety and reliability of communication scheduling plays a crucial role in this IMA platforms-based network system. To verify the safety and reliability of the communication scheduling in this network, sufficient and typical test data must be generated to input into the network, obtain and evaluate the corresponding output.

Design/methodology/approach

To generate communication scheduling data, this paper presents an iterative communication scheduling data generation algorithm for a configured network of IMA platforms. First, the algorithm generates all possible communication schedules for the first timestamp. Then, constraint is introduced to decrease the quantity of communication schedules to improve the efficiency. The communication schedules are gradually extended to the second timestamp until the final timestamp, i.e. length of communication scheduling sequence.

Findings

To verify the efficiency and feasibility of the algorithm, a model is built based on the architecture analysis and design language (AADL) by mapping the correlation time of generated communication scheduling data into task properties. Schedulability is analyzed by loading this model into AADL Inspector. The simulation result illustrates that the proposed algorithm is efficient and feasible.

Practical implications

The proposed method can provide data support for communication scheduling test for the network of IMA platforms.

Originality/value

A constraint-based iterative communication scheduling data generation algorithm is proposed for the network of IMA platforms automatically.

中文翻译：

---

预配置IMA网络的通信调度数据生成

目的

在现代集成模块化航空电子设备（IMA）中，它在保证系统安全性和可靠性方面起着重要作用。通信调度的安全性和可靠性在此基于IMA平台的网络系统中起着至关重要的作用。为了验证该网络中通信调度的安全性和可靠性，必须生成足够且典型的测试数据以输入到网络中，以获得并评估相应的输出。

设计/方法/方法

为了生成通信调度数据，本文提出了一种针对已配置的IMA平台网络的迭代通信调度数据生成算法。首先，该算法为第一个时间戳生成所有可能的通信调度。然后，引入约束以减少通信调度的数量以提高效率。通信调度逐渐扩展到第二个时间戳，直到最终时间戳，即通信调度序列的长度。

发现

为了验证算法的有效性和可行性，通过将生成的通信调度数据的相关时间映射到任务属性中，基于体系结构分析和设计语言（AADL）建立了模型。通过将模型加载到AADL Inspector中来分析可调度性。仿真结果表明，该算法是有效可行的。

实际影响

该方法可以为IMA平台网络的通信调度测试提供数据支持。

创意/价值

针对IMA平台网络，提出了一种基于约束的迭代通信调度数据生成算法。