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

doi:10.7527/S1000-6893.2015.0069

电子与控制

本期目录 | 过刊浏览 | 高级检索

前一篇 | 后一篇

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

谭龙华¹, 杜承烈¹, 雷鑫²

1. 西北工业大学计算机学院, 西安 710072;
2. 西北工业大学机电学院, 西安 710072

收稿日期:2014-12-10 修回日期:2015-03-06 出版日期:2015-11-15 发布日期:2015-03-16
通讯作者: 杜承烈,Tel.:029-88431545,E-mail:ducl@nwpu.edu.cn E-mail:ducl@nwpu.edu.cn
作者简介:谭龙华,男,博士研究生。主要研究方向:综合模块化航空电子系统,实时控制系统。E-mail:tanlonghua1989@163.com;杜承烈,男,教授,博士生导师。主要研究方向:实时分布计算、信息物理融合系统的设计与验证、安全关键领域软件工程。Tel.:029-88431545,E-mail:ducl@nwpu.edu.cn
基金资助:
国防基础科研项目(1000-GEAC0001)

Schedulability analysis for ARINC 653 partitioned real-time systems

TAN Longhua¹, DU Chenglie¹, LEI Xin²

1. School of Computer Science and Engineering, Northwestern Polytechnical University, Xi'an 710072, China;
2. School of Mechanical Engineering, Northwestern Polytechnical University, Xi'an 710072, China

Received:2014-12-10 Revised:2015-03-06 Online:2015-11-15 Published:2015-03-16
Supported by:
Defense Industrial Technology Development Program (1000-GEAC0001)

摘要/Abstract

摘要：

ARINC 653规范定义了综合模块化航空电子(IMA)实时操作系统的行为逻辑以及向应用程序提供的接口规范。该规范规定了系统采用分区内调度和分区间调度的两级调度方案,如何分析系统的可调度性以保证实时任务能够在截止时间内完成计算是需要研究的新问题。基于负载请求与平台资源提供能力的供需约束关系导出了系统可调度的判定依据。证明了判据的约束是系统可调度的充分必要条件。实际应用表明,提出的可调度判定定理能够应用于判定ARINC 653分区实时系统的可调度性,辅助提升系统的安全属性。

关键词: 综合模块化航空电子, 实时系统, ARINC 653, 资源分区, 调度分析

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

中图分类号:

V24
TP302.7

谭龙华, 杜承烈, 雷鑫. ARINC 653分区实时系统的可调度分析[J]. 航空学报, 2015, 36(11): 3698-3705.

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.

参考文献

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

E-mail：hkxb@buaa.edu.cn

关于我们

期刊社服务

专业学科

封面文章

友情链接

主管单位：中国科学技术协会主办单位：中国航空学会北京航空航天大学

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

Schedulability analysis for ARINC 653 partitioned real-time systems

PDF (PC)

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 14

编辑推荐

Metrics

本文评价

[1]	何锋, 张立, 于思凡, 周璇. 基于网络演算的多窗口分区可调度性分析[J]. 航空学报, 2023, 44(2): 326581-326581.
[2]	罗庆, 张涛, 单鹏, 张文涛, 刘子豪. 基于改进Q学习的IMA系统重构蓝图生成方法[J]. 航空学报, 2021, 42(8): 525792-525792.
[3]	阎芳, 邢培培, 赵长啸, 王鹏. 基于联合k/n(G)模型的DIMA系统可靠性建模与分析[J]. 航空学报, 2018, 39(6): 321971-321971.
[4]	屈也频. 作战支援类飞机航空电子任务系统总体结构研究[J]. 航空学报, 2014, 35(8): 2307-2318.
[5]	周庆, 刘斌, 余正伟, 冯时雨. 综合模块化航电软件仿真测试环境研究[J]. 航空学报, 2012, (4): 722-733.
[6]	周天然, 熊华钢. 航空电子系统混合实时任务的双层调度[J]. 航空学报, 2011, 32(6): 1067-1074.
[7]	刘荣科, 胡伟, 高杨, 周游. 基于DSP平台的机载高清视频编码器设计与实现[J]. 航空学报, 2011, 32(3): 507-514.
[8]	王旭;张璐;杨新;毛维;谭祥升. 飞行监控系统中基于GPU的地形渲染[J]. 航空学报, 2010, 31(6): 1230-1238.
[9]	周立;王昊天;何锋;熊华钢. 航空电子多信道实时分组调度方法[J]. 航空学报, 2010, 31(10): 2034-2039.
[10]	江维;桑楠;常政威;熊光泽. 风险驱动的安全关键实时任务调度[J]. 航空学报, 2009, 30(12): 2371-2379.
[11]	褚文奎;张凤鸣;樊晓光. 综合模块化航空电子系统软件体系结构综述[J]. 航空学报, 2009, 30(10): 1912-1917.
[12]	张宁;熊光泽. 用EDF调度实时任务和GC[J]. 航空学报, 2008, 29(5): 1226-1232.
[13]	姜震;邵定蓉;熊华钢;汪健甄. 实时网络系统可靠性建模研究[J]. 航空学报, 2004, 25(3): 275-278.
[14]	赵勇. 捷联惯导系统的软件开发[J]. 航空学报, 1993, 14(5): 269-275.