北京航空航天大学学报 ›› 2016, Vol. 42 ›› Issue (11): 2413-2422.doi: 10.13700/j.bh.1001-5965.2015.0726

• 论文 • 上一篇    下一篇

ARINC 653分区实时系统的主时间框架设计

谭龙华, 杜承烈   

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

Design of major time frame for ARINC 653 partitioned real-time systems

TAN Longhua, DU Chenglie   

  1. School of Computer Science and Engineering, Northwestern Polytechnical University, Xi'an 710072, China
  • Received:2015-11-06 Revised:2016-01-08 Online:2016-11-20 Published:2016-03-15

摘要: 综合模块化航空电子系统中的ARINC 653标准规定系统采用分区内调度和分区间调度双层调度机制。根据标准,分区内的调度由分区设计者指定,分区之间则按照静态的主时间框架进行调度。如何基于多个分区应用设计用于分区间调度的主时间框架是系统集成阶段需要解决的问题。首先利用可调度分析导出了分区的有界延迟模型参数,进一步将该参数转化为分区的调度参数用于分区间调度。然后进行分区间调度生成主时间框架,提出了最少窗口数目匹配-最佳匹配(MFBF)算法用于减少分区窗口的切换次数。提出的从分区参数推导到分区间调度流程能够基于若干分区应用生成ARINC 653系统的主时间框架。实验结果表明:时间窗口优化算法能有效减少分区窗口切换次数。

关键词: 实时系统, 资源分区, 综合模块化航空电子, ARINC 653, 主时间框架

Abstract: The ARINC 653 standard for integrated modular avionics defines that the system adopts intra-partition scheduling and inter-partition scheduling. As specified by the standard, local scheduling is specified by partition application designers and partitions are scheduled statically by the major time frame. How to design the major time frame to schedule partitions is a problem in the phase of partition integrating. The bounded delay parameters of a partition are derived based on schedulability analysis and converted to parameters which can be used for partition scheduling afterwards. An algorithm referred to as the minimum number of windows fit-best fit (MFBF) is proposed to reduce the number of partition switches when partitions are scheduled to generate the major time frame. The proposed process from partition parameters deriving to inter-partition scheduling completes the design of the major time frame from several partition applications. Experimental results show that the MFBF algorithm reduces the number of partition switches effectively.

Key words: real-time systems, resource partition, integrated modular avionics, ARINC 653, major time frame

中图分类号: 


版权所有 © 《北京航空航天大学学报》编辑部
通讯地址:北京市海淀区学院路37号 北京航空航天大学学报编辑部 邮编:100191 E-mail:jbuaa@buaa.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发