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

谭龙华; 杜承烈

doi:10.13700/j.bh.1001-5965.2015.0726

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

doi: 10.13700/j.bh.1001-5965.2015.0726

谭龙华,
杜承烈^,

西北工业大学计算机学院, 西安 710072

基金项目: 国防基础科研项目（1000-GEAC0001）

详细信息

作者简介:
谭龙华,男,博士研究生。主要研究方向:综合模块化航空电子系统、实时控制系统。E-mail:tanlonghua@mail.nwpu.edu.cn;杜承烈,男,博士,教授,博士生导师。主要研究方向:实时分布计算、信息物理融合系统的设计与验证、安全关键领域软件工程。Tel.:029-88431545,E-mail:ducl@nwpu.edu.cn

通讯作者:
杜承烈,Tel.:029-88431545,E-mail:ducl@nwpu.edu.cn

中图分类号: V247.1;TP302.1
计量
- 文章访问数: 1165
- HTML全文浏览量: 101
- PDF下载量: 650
- 被引次数: 0
出版历程
- 收稿日期: 2015-11-06
- 修回日期: 2016-01-08
- 网络出版日期: 2016-11-20

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

TAN Longhua,
DU Chenglie^,

School of Computer Science and Engineering, Northwestern Polytechnical University, Xi'an 710072, China

摘要

摘要: 综合模块化航空电子系统中的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.
- real-time systems /
- resource partition /
- integrated modular avionics /
- ARINC 653 /
- major time frame

HTML全文

参考文献(23)

[1]	Airlines Electronic Engineering Committee.ARINC specification, avionics application software standard interface:ARINC 653-2[S].Annapolis,MA:Aeronautical Radio,Inc.,2006:1-205.
[2]	褚文奎,张凤鸣,樊晓光.综合模块化航空电子系统软件体系结构综述[J].航空学报,2009,30(10):1912-1917.CHU W K,ZHANG F M,FAN X G.Overview on software architecture of integrated modular avionic systems[J].Acta Aeronautica et Astronautica Sinica,2009,30(10):1912-1917(in Chinese).
[3]	高晓光,薛亚勇,温增葵.IMA双层调度算法中的任务可调度性分析方法[J].航空学报,2015,36(2):585-595.GAO X G,XUE Y Y,WEN Z K.Task schedulability analyzing method of two-level hierarchical scheduling algorithm in integrated modular avionics[J].Acta Aeronautica et Astronautica Sinica,2015,36(2):585-595(in Chinese).
[4]	ARVIND E,INSUP L,OLEG S,et al.A compositional framework for avionics (ARINC-653) systems:MS-CIS-09-04[R].Philadelphia:Department of Computer & Information Science,University of Pennsylvania,2009.
[5]	CHANG Y,DAVIS R,WELLINGS A.Schedulability analysis for a real-time multiprocessor system based on service contracts and resource partitioning:YCS-432[R].York:Department of Computer Science,University of York,2008.
[6]	何锋,宋丽茹,熊华钢.航空电子双层任务分区调度设计[J].北京航空航天大学学报,2008,34(11):1364-1368.HE F,SONG L R,XIONG H G.Two-level task partition scheduling design in integrated modular avionics[J].Journal of Beijing University of Aeronautics and Astronautics,2008,34(11):1364-1368(in Chinese).
[7]	李昕颖,顾健,何锋,等.硬实时系统在强分区约束下的双层分区调度[J].计算机学报,2010,33(6):1032-1039.LI X Y,GU J,HE F,et al.Two-level partition scheduling in hard real time system under strong partition constraints[J].Chinese Journal of Computers,2010,33(6):1032-1039(in Chinese).
[8]	LIU C L,LAYLAND J W.Scheduling algorithms for multiprogramming in a hard-real-time environment[J].Journal of the ACM,1973,20(1):46-61.
[9]	SHIN I,LEE I.Periodic resource model for compositional real-time guarantees[C]//Proceedings of 24th IEEE Real-Time Systems Symposium. Piscataway,NJ:IEEE Press,2003:2-13.
[10]	LEE Y H,KIM D,YOUNIS M,et al.Partition scheduling in APEX runtime environment for embedded avionics software[C]//Proceedings of 5th International Conference on Real-Time Computing Systems and Applications. Piscataway,NJ:IEEE Press,1998:103-109.
[11]	ZHOU T,XIONG H.Design of energy-efficient hierarchical scheduling for integrated modular avionics systems[J].Chinese Journal of Aeronautics,2012,25(1):109-114.
[12]	LIPARI G,BINI E.Resource partitioning among real-time applications[C]//Proceedings of 15th Euromicro Conference on Real-Time Systems. Piscataway,NJ:IEEE Press,2003:151-158.
[13]	MOK A K,FENG X,CHEN D.Resource partition for real-time systems[C]//Proceedings of Real-Time Technology and Applications Symposium. Piscataway,NJ:IEEE Press,2001:75-84.
[14]	ALMEIDA L,PEDREIRAS P.Scheduling within temporal partitions:Response-time analysis and server design[C]//Proceedings of 4th ACM International Conference on Embedded Software. New York:ACM Press,2004:95-103.
[15]	MOK A K,AUSTIN U O T A.A model of hierarchical real-time virtual resources[C]//Proceedings of 23rd Real-Time Systems Symposium. Piscataway,NJ:IEEE Press,2002:26-35.
[16]	DAVIS R I,BURNS A.A survey of hard real-time scheduling for multiprocessor systems[J].ACM Computing Surveys(CSUR),2011,43(4):1-35.
[17]	LEE Y H,KIM D,YOUNIS M,et al.Resource scheduling in dependable integrated modular avionics[C]//Proceedings of International Conference on Dependable Systems and Networks. Piscataway,NJ:IEEE Press,2000:14-23.
[18]	MARCO S.Analysis of deadline scheduled real-time systems:Technical report RR-2772[R].Pairs:INRIA,1996.
[19]	ZHANG F,BURNS A.Schedulability analysis for real-time systems with EDF scheduling[J].IEEE Transactions on Computers,2009,58(9):1250-1258.
[20]	BUTTAZZO G,BINI E,WU Y F.Partitioning real-time applications over multicore reservations[J].IEEE Transactions on Industrial Informatics,2011,7(2):302-315.
[21]	PATHAN R M,STENSTROM P,GREEN L G,et al. Overhead-aware temporal partitioning on multicore processors[C]//Proceedings of the IEEE 20th Real-Time and Embedded Technology and Applications Symposium. Piscataway,NJ:IEEE Press,2014:251-262.
[22]	BINI E,BUTTAZZO G.Biasing effects in schedulability measures[C]//Proceedings of 16th Euromicro Conference on Real-Time Systems. Piscataway,NJ:IEEE Press,2004:196-203.
[23]	CHAN M Y,CHIN F.Schedulers for larger classes of pinwheel instances[J].Algorithmica,1993,9(5):425-462.