航空学报 > 2015, Vol. 36 Issue (11): 3698-3705   doi: 10.7527/S1000-6893.2015.0069

ARINC 653分区实时系统的可调度分析

谭龙华1, 杜承烈1, 雷鑫2   

  1. 1. 西北工业大学计算机学院, 西安 710072;
    2. 西北工业大学机电学院, 西安 710072
  • 收稿日期:2014-12-10 修回日期:2015-03-06 出版日期:2015-11-15 发布日期:2015-03-16
  • 通讯作者: 杜承烈,Tel.:029-88431545,E-mail:ducl@nwpu.edu.cn E-mail:ducl@nwpu.edu.cn
  • 作者简介:谭龙华,男,博士研究生。主要研究方向:综合模块化航空电子系统,实时控制系统。E-mail:tanlonghua1989@163.com;杜承烈,男,教授,博士生导师。主要研究方向:实时分布计算、信息物理融合系统的设计与验证、安全关键领域软件工程。Tel.:029-88431545,E-mail:ducl@nwpu.edu.cn
  • 基金资助:

    国防基础科研项目(1000-GEAC0001)

Schedulability analysis for ARINC 653 partitioned real-time systems

TAN Longhua1, DU Chenglie1, LEI Xin2   

  1. 1. School of Computer Science and Engineering, Northwestern Polytechnical University, Xi'an 710072, China;
    2. School of Mechanical Engineering, Northwestern Polytechnical University, Xi'an 710072, China
  • Received:2014-12-10 Revised:2015-03-06 Online:2015-11-15 Published:2015-03-16
  • Supported by:

    Defense Industrial Technology Development Program (1000-GEAC0001)

摘要:

ARINC 653规范定义了综合模块化航空电子(IMA)实时操作系统的行为逻辑以及向应用程序提供的接口规范。该规范规定了系统采用分区内调度和分区间调度的两级调度方案,如何分析系统的可调度性以保证实时任务能够在截止时间内完成计算是需要研究的新问题。基于负载请求与平台资源提供能力的供需约束关系导出了系统可调度的判定依据。证明了判据的约束是系统可调度的充分必要条件。实际应用表明,提出的可调度判定定理能够应用于判定ARINC 653分区实时系统的可调度性,辅助提升系统的安全属性。

关键词: 综合模块化航空电子, 实时系统, ARINC 653, 资源分区, 调度分析

Abstract:

ARINC 653 specification defines the logic and interface for application software of the real-time operating system within integrated modular avionics (IMA). The specification defines that the system adopts inter-partition scheduling and intra-partition scheduling. How to analyze the schedulability of an ARINC 653 system so that all real-time tasks are guaranteed to finish their execution before deadlines is a new problem. In this paper, a schedulability criterion is proposed by analyzing the relation between workload requirement and resource supply ability of the platform. The schedulability criterion is proven to be sufficient and necessary. Experience with several projects reveals that the proposed criterion can be used to correctly and efficiently analyze the schedulability of ARINC 653 partitioned real-time systems, helping to improve the security attributes of these systems.

Key words: integrated modular avionics, real-time systems, ARINC 653, resource partition, scheduling analysis

中图分类号: