ACTA AERONAUTICAET ASTRONAUTICA SINICA >
Schedulability analysis for ARINC 653 partitioned real-time systems
Received date: 2014-12-10
Revised date: 2015-03-06
Online published: 2015-03-16
Supported by
Defense Industrial Technology Development Program (1000-GEAC0001)
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.
TAN Longhua , DU Chenglie , LEI Xin . Schedulability analysis for ARINC 653 partitioned real-time systems[J]. ACTA AERONAUTICAET ASTRONAUTICA SINICA, 2015 , 36(11) : 3698 -3705 . DOI: 10.7527/S1000-6893.2015.0069
[1] 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, 29(10):1912-1917(in Chinese).褚文奎,张凤鸣,樊晓光.综合模块化航空电子系统软件体系结构综述[J].航空学报, 2009,29(10):1912-1917.
[2] Wang G Q, Gu Q F. Research on distributed integrated modular avionics system architecture design and implementation[C]//Proceedings of Digital Avionics Systems Conference, 2013:7D6-1-7D6-10.
[3] ARINC 653. ARINC specification 653-2, avionics application software standard interface[S]. Annapolis, Maryland:ARINC, 2006.
[4] Liu C L, Layland J W. Scheduling algorithms for multiprogramming in a hard-real-time environment[J]. Journal of the ACM (JACM), 1973, 20(1):46-61.
[5] Joseph M, Pandya P. Finding response times in a real-time system[J]. The Computer Journal, 1986, 29(5):390-395.
[6] Lehoczky J, Sha L, Ding Y. The rate monotonic scheduling algorithm:Exact characterization and average case behavior[C]//Proceedings of Real Time Systems Symposium, 1989:166-171.
[7] Sha L, Abdelzaher T, Årzén K E, et al. Real time scheduling theory:A historical perspective[J]. Real-Time Systems, 2004, 28(2-3):101-155.
[8] 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).李昕颖,顾健,何锋,等.硬实时系统在强分区约束下的双层分区调度[J].计算机学报, 2010, 33(6):1032-1039.
[9] 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, 1998:103-109.
[10] 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.
[11] Arvind E, Insup L, Oleg S, et al. A compositional framework for avionics (ARINC-653) systems, No. MS-CIS-09-04[R]. Philadelphia:University of Pennsylvania, 2009.
[12] Wan M, Tian S. Research on schedulability of partition scheduling for IMA[C]//Proceedings of 4th International Symposium on Computational Intelligence and Design, 2011, 2:322-325.
[13] Mok A K, Feng X, Chen D. Resource partition for real-time systems[C]//Proceedings of Real-Time Technology and Applications Symposium, 2001:75-84.
[14] Lipari G, Bini E. A framework for hierarchical scheduling on multiprocessors:From application requirements to run-time allocation[C]//Proceedings of 7th IEEE Real-Time Systems Symposium. Piscataway, NJ:IEEE Press, 2010:249-258.
[15] Zhou Q, Liu B, Yu Z W, et al. A frame work of simulation testing environment for integrated modular avionics software[J]. Acta Aeronautica et Astronautica Sinica, 2012, 33(4):722-733(in Chinese).周庆,刘斌,余正伟,等.综合模块化航电软件仿真测试环境研究[J].航空学报, 2012, 33(4):722-733.
[16] Tan L H, Du C L, Song C Y. APEXER:A real-time ARINC653 interface simulator[C]//Proceedings of International Conference on Computer Science & Service System, 2012:438-441.
[17] Zhang Y Y, Sun Y, Li Y, et al. Research and implementation of schedulability determination tools in complex real-time system[J]. Computer Engineering, 2013, 39(1):270-274(in Chinese).张永悦,孙瑜,李允,等.复杂实时系统可调度性判定工具的研究与实现[J].计算机工程, 2013, 39(1):270-274.
[18] Yuan X, Hu J, Ma J J, et al. Schedulability determination of integrated modular avionics partitioned system based on AADL[J]. Computer Engineering, 2014, 40(10):52-60(in Chinese).袁翔,胡军,马金晶,等.基于AADL的综合航电分区系统可调度性判定[J].计算机工程, 2014, 40(10):52-60.
[19] Carnevali L, Pinzuti A, Vicario E. Compositional verification for hierarchical scheduling of real-time systems[J]. IEEE Transactions on Software Engineering, 2013, 39(5):638-657.
[20] Pani M, Quiñones E, Zaykov P G, et al. Parallel many-core avionics systems[C]//Proceedings of the 14th International Conference on Embedded Software, 2014:26.
[21] Davis R I, Burns A. A survey of hard real-time scheduling for multiprocessor systems[J]. ACM Computing Surveys (CSUR), 2011, 43(4):35.
/
| 〈 |
|
〉 |
CJA