ARINC653分区实时系统的可调度分析  

Schedulability analysis for ARINC 653 partitioned real-time systems

作　　者：谭龙华[1] 杜承烈[1] 雷鑫[2] 

机构地区：[1]西北工业大学计算机学院,西安710072 [2]西北工业大学机电学院,西安710072

出　　处：《航空学报》2015年第11期3698-3705,共8页Acta Aeronautica et Astronautica Sinica

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

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

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

分 类 号：V24[航空宇航科学与技术—飞行器设计] TP302.7[自动化与计算机技术—计算机系统结构]