Volume 41, Number 3, June 2023
|557 - 567
|01 August 2023
Research on schedulability analysis algorithm of airborne multi partition system
School of Software, Northwestern Polytechnical University, Xi'an 710072, China
2 Xi'an Aeronautics Computing Technique Research Institute, Aviation Industry Corporation of China, Ltd., Xi'an 710065, China
Partition operating system conforming to ARINC653 is widely used in airborne to support application software integration. Under the two-level scheduling model for partition operating system, the demanding real-time requirements of airborne software are usually difficult to obtain effective deterministic guarantee, so it is very important to analyze the schedulability of the system. Judging whether the scheduling table can meet the real-time requirements of the process in the partition through the schedulability analysis algorithm is an effective means to ensure that all processes in the system complete the computing task within the specified time. Based on the method of operations research and the introduction of virtual process, a schedulability analysis algorithm for multi partition system is designed, and the numerical verification is carried out. The verification results show that the algorithm can accurately judge whether the scheduling table matches the process time attribute, give the qualitative analysis conclusion of whether the system can be scheduled, help the system integrator to verify the rationality of the scheduling table before the actual operation of the system, and reduce the risk of test and flight test.
Key words: ARINC653 / integration / schedulability analysis / multi partition / virtual process
关键字 : ARINC653 / 综合化 / 可调度性分析 / 多分区 / 虚拟进程
© 2023 Journal of Northwestern Polytechnical University. All rights reserved.
This is an Open Access article distributed under the terms of the Creative Commons Attribution License (https://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.