ACTA AERONAUTICAET ASTRONAUTICA SINICA ›› 2023, Vol. 44 ›› Issue (2): 326581-326581.

### Schedulability analysis for multi-window partition based on network calculus model

Feng HE, Li ZHANG, Sifan YU, Xuan ZHOU()

1. School of Electronic and Information Engineering，Beihang University，Beijing 100191，China
• Received:2021-10-29 Revised:2021-12-13 Accepted:2022-01-06 Online:2023-01-25 Published:2022-01-18
• Contact: Xuan ZHOU E-mail:lomoo@buaa.edu.cn
• Supported by:
National Natural Science Foundation of China(62071023)

Abstract:

It is defined in the ARINC653-2 specification that the Integrated Modular Avionics （IMA） real-time system adopts the two-level scheduling scheme of partitions and tasks. The scheduling analysis of tasks based on this scheduling algorithm is a key issue to ensure the real time and reliability of the avionics system. Current schedulability analysis methods cannot be adapted to the multi-window partition situation. Therefore， based on the encapsulation of service capabilities of the network calculus model， this paper defines the processing platform service curve as the service function of the computing resources that the platform can provide， and defines the partition task arrival curve as the demand function of partition tasks for platform computing resources. By analyzing the service curve of the processing platform and the arrival curve of partition tasks， the Worst-Case Respone Time （WCRT） of the task is calculated， and then the schedulability is judged. Thus， the physical significance of interpreting the maximum response time of partitioned system from the perspectives of service capability and service demand is developed. A validation case of partition containing multiple activation windows is designed under the main time frame. The result shows that the proposed method can obtain the same accuracy as the traditional WCRT analysis method. It can also accurately calculate the maximum response time of the task when partition contains multiple activation windows. The schedulability of the partition system is explained from the perspective of network calculation.

CLC Number: