Advanced Search
Volume 42 Issue 11
Nov.  2016
Turn off MathJax
Article Contents
Journal of Beijing University of Aeronautics and Astronautics  > 2016  >  42(11): 2413-2422.
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)
shu

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

doi: 10.13700/j.bh.1001-5965.2015.0726

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

  • Received Date: 06 Nov 2015
  • Rev Recd Date: 08 Jan 2016
  • Publish Date: 20 Nov 2016
    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.

     

    • FullText(HTML)
  • loading
    • References(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.
    • Relative Articles
    • Supplements(0)
    • Cited By
  • 加载中

Catalog

    通讯作者: 陈斌, bchen63@163.com
    • 1. 

      沈阳化工大学材料科学与工程学院 沈阳 110142

    1. 本站搜索
    2. 百度学术搜索
    3. 万方数据库搜索
    4. CNKI搜索
    Get Citation
    PDF
    XML

    Article Metrics

    Article views(1060) PDF downloads(644) Cited by()
    Proportional views
    Related

    Copyright © Journal of Beijing University of Aeronautics and Astronautics

    Address: Editorial Department of Journal of Beijing University of Aeronautics and Astronautics, 37 Xueyuan Road, Haidian District, Beijing Post Code: 100191 Email: jbuaa@buaa.edu.cn

    Supported by: Beijing Renhe Information Technology Co., Ltd.    

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return