摘要
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.
出处
《航空学报》
EI
CAS
CSCD
北大核心
2015年第11期3698-3705,共8页
Acta Aeronautica et Astronautica Sinica
基金
国防基础科研项目(1000-GEAC0001)~~
作者简介
谭龙华 男，博士研究生。主要研究方向；综合模块化航空电子系统，实时控制系统。E-mail：tanlonghua1989@163．com
通讯作者杜承烈 男，教授，博士生导师。主要研究方向：实时分布计算、信息物理融合系统的设计与验证、安全关键领域软件工程。Tel：02988431545Email：dud@nwpu．edu．cn.
