ARINC 653分区实时系统的可调度分析

doi:10.7527/S1000-6893.2015.0069

Abstract

Abstract:

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.

Key words: integrated modular avionics, real-time systems, ARINC 653, resource partition, scheduling analysis

CLC Number:

V24
TP302.7

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.

References

[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.

Schedulability analysis for ARINC 653 partitioned real-time systems

PDF (PC)

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 9

Recommended Articles

Metrics

Comments

[1]	Feng HE, Li ZHANG, Sifan YU, Xuan ZHOU. Schedulability analysis for multi-window partition based on network calculus model [J]. ACTA AERONAUTICAET ASTRONAUTICA SINICA, 2023, 44(2): 326581-326581.
[2]	LUO Qing, ZHANG Tao, SHAN Peng, ZHANG Wentao, LIU Zihao. Generating reconfiguration blueprints for IMA systems based on improved Q-learning [J]. ACTA AERONAUTICAET ASTRONAUTICA SINICA, 2021, 42(8): 525792-525792.
[3]	YAN Fang, XING Peipei, ZHAO Changxiao, WANG Peng. Reliability modeling and analysis of DIMA system based on joint k/n(G) model [J]. ACTA AERONAUTICAET ASTRONAUTICA SINICA, 2018, 39(6): 321971-321971.
[4]	GAO Xiaoguang, XUE Yayong, WEN Zengkui. Task schedulability analyzing method of two-level hierarchical scheduling algorithm in integrated modular avionics [J]. ACTA AERONAUTICAET ASTRONAUTICA SINICA, 2015, 36(2): 585-595.
[5]	QU Yepin. Research on General Architecture of Avionics Mission System for Operational Support Aircraft [J]. ACTA AERONAUTICAET ASTRONAUTICA SINICA, 2014, 35(8): 2307-2318.
[6]	ZHOU Qing, LIU Bin, YU Zhengwei, FENG Shiyu. A Framework of Simulation Testing Environment for Integrated Modular Avionics Software [J]. ACTA AERONAUTICAET ASTRONAUTICA SINICA, 2012, (4): 722-733.
[7]	ZHOU Tianran, XIONG Huagang. Two-level Hierarchical Scheduling for Hybrid Real-time Tasks in Avionic Systems [J]. ACTA AERONAUTICAET ASTRONAUTICA SINICA, 2011, 32(6): 1067-1074.
[8]	Chu Wenkui;Zhang Fengming;Fan Xiaoguang. Overview on Software Architecture of Integrated Modular Avionic Systems [J]. ACTA AERONAUTICAET ASTRONAUTICA SINICA, 2009, 30(10): 1912-1917.
[9]	Zhao Yong. THE SOFTWARE DEVELOPMENT OF STRAPDOWN INERTIAL NAVIGATION SYSTEM [J]. ACTA AERONAUTICAET ASTRONAUTICA SINICA, 1993, 14(5): 269-275.