航空学报 > 2023, Vol. 44 Issue (2): 326581-326581   doi: 10.7527/S1000-6893.2022.26581

基于网络演算的多窗口分区可调度性分析

何锋, 张立, 于思凡, 周璇()   

  1. 北京航空航天大学 电子信息工程学院,北京 100191
  • 收稿日期:2021-10-29 修回日期:2021-12-13 接受日期:2022-01-06 出版日期:2023-01-25 发布日期:2022-01-18
  • 通讯作者: 周璇 E-mail:lomoo@buaa.edu.cn
  • 基金资助:
    国家自然科学基金(62071023)

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)

摘要:

ARINC653-2规范定义综合模块化航空电子(IMA)实时操作系统采用分区和任务两层调度方案,在该框架下的任务可调度性分析是保证航空电子系统实时性、可靠性的关键。目前的可调度性分析无法计算多窗口分区下任务最大响应时间(WCRT)。为此,基于网络演算模型对服务能力的封装,定义处理平台服务曲线为平台所能提供计算资源的服务函数,定义分区任务到达曲线为分区任务对平台计算资源的需求函数。分析处理平台的服务曲线和分区任务的到达曲线,计算得到任务的最大响应时间,继而进行可调度性判断,由此从服务能力和服务需求角度诠释分区系统任务最大响应时间分析的物理意义。设计了主时间框架下分区包含多个激活窗口的验证案例,结果表明:本方法可以得到与传统WCRT分析同等的精度,并且能够准确计算分区包含多激活窗口条件下的任务最大响应时间,实现了网络演算视角下分区系统可调度性的解释。

关键词: 综合模块化航空电子(IMA), ARINC653, 分区调度, 多窗口分区, 网络演算, 可调度性分析

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.

Key words: Integrated Modular Avionics (IMA), ARINC653, partition scheduling, multi-window partition, network calculus, schedulability analysis

中图分类号: