留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

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

谭龙华 杜承烈

谭龙华, 杜承烈. ARINC 653分区实时系统的主时间框架设计[J]. 北京航空航天大学学报, 2016, 42(11): 2413-2422. doi: 10.13700/j.bh.1001-5965.2015.0726
引用本文: 谭龙华, 杜承烈. ARINC 653分区实时系统的主时间框架设计[J]. 北京航空航天大学学报, 2016, 42(11): 2413-2422. doi: 10.13700/j.bh.1001-5965.2015.0726
TAN Longhua, DU Chenglie. Design of major time frame for ARINC 653 partitioned real-time systems[J]. Journal of Beijing University of Aeronautics and Astronautics, 2016, 42(11): 2413-2422. doi: 10.13700/j.bh.1001-5965.2015.0726(in Chinese)
Citation: TAN Longhua, DU Chenglie. Design of major time frame for ARINC 653 partitioned real-time systems[J]. Journal of Beijing University of Aeronautics and Astronautics, 2016, 42(11): 2413-2422. doi: 10.13700/j.bh.1001-5965.2015.0726(in Chinese)

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

doi: 10.13700/j.bh.1001-5965.2015.0726
基金项目: 国防基础科研项目(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

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

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

     

  • [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.
  • 加载中
计量
  • 文章访问数:  776
  • HTML全文浏览量:  0
  • PDF下载量:  636
  • 被引次数: 0
出版历程
  • 收稿日期:  2015-11-06
  • 修回日期:  2016-01-08
  • 刊出日期:  2016-11-20

目录

    /

    返回文章
    返回
    常见问答