基于AADL 的综合航电分区系统可调度性判定

doi:10.3969/j.issn.1000-3428.2014.10.011

计算机工程

基于AADL 的综合航电分区系统可调度性判定

袁　翔¹,胡　军¹,2,马金晶¹,刘　雪¹

(1. 南京航空航天大学计算机科学与技术学院,南京210016;2. 南京大学计算机软件新技术国家重点实验室,南京210093)

收稿日期:2013-08-27 出版日期:2014-10-15 发布日期:2014-10-13
作者简介:袁　翔(1987 - ),男,硕士研究生,主研方向:嵌入式软件建模与分析;胡　军,副教授、CCF 会员;马金晶、刘　雪,硕士研究生。
基金资助:
国家自然科学基金资助项目(61272083);江苏省普通高校研究生科研创新计划基金资助项目(CXZZ11_0218)。

Schedulability Determination of Integrated Modular Avionics Partitioned System Based on AADL

YUAN Xiang ¹,HU Jun ^1,2,MA Jin-jing ¹,LIU Xue¹

(1. College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 210016,China;2. State Key Laboratory for Novel Software Technology,Nanjing University,Nanjing 210093,China)

Received:2013-08-27 Online:2014-10-15 Published:2014-10-13

摘要/Abstract

摘要： 综合模块化航电(IMA)系统中的分区系统提高了其可靠性和安全性,但在系统设计和实现过程中,应采用各种分析和验证方法确保系统的时间需求得到满足。为此,针对符合ARINC653 规范的IMA 系统,根据分区系统层级调度的特性,提出一种基于仿真的分区任务集可调度性判定方法。借助Cheddar 工具及其自定义调度策略功能,使架构分析和设计语言(AADL)具有对分区系统进行建模的能力,并利用该工具对AADL 模型进行仿真以判定系统的可调度性。实例分析结果表明,该方法能自动、准确、快速地进行可调度性判定,并以甘特图的方式绘制任务调度过程,得到直观、详细的结果。

关键词: 综合模块化航电, ARINC653 系统, 分区系统, 架构分析和设计语言, Cheddar 工具, 可调度性判定, 仿真方法

Abstract: Integrated Modular Avionics(IMA) partitioned system is put forward to improve the reliability and security of the system,but in the process of system design and implementation,analysis and validation should be used to ensure that the system time requirements are met. In allusion to IMA system which meets ARINC653 specification,according to the characteristics of hierarchy scheduling partitioned system,this paper proposes a schedulability determination method based on simulation method. With the aid of Cheddar tool and the function of custom scheduling strategy,Architecture Analysis and Design Language (AADL) has the ability of modeling partitioned system,then the tool operates on the generated AADL model to determine the system schedulable. Example analysis result shows that the tool has automatic, accurate and fast advantages to describe task scheduling process by Gantt chart and the result is accurate and detailed.

Key words: Integrated Modular Avionics (IMA), ARINC653 system, partitioned system, Architecture Analysis and Design Language(AADL), Cheddar tool, schedulability determination, simulation method

中图分类号:

TP311

袁翔,胡军,马金晶,刘雪. 基于AADL 的综合航电分区系统可调度性判定[J]. 计算机工程, doi: 10.3969/j.issn.1000-3428.2014.10.011.

YUAN Xiang,HU Jun,MA Jin-jing,LIU Xue. Schedulability Determination of Integrated Modular Avionics Partitioned System Based on AADL[J]. Computer Engineering, doi: 10.3969/j.issn.1000-3428.2014.10.011.

https://www.ecice06.com/CN/Y2014/V40/I10/52

参考文献

是下一步的研究方向。参考文献 [ 1 ]　易建平,韩　庆. 飞机综合模块化航电系统总体设计研究[J]. 科学技术与工程,2010,10(19):2709-2714. [ 2 ]　Aeronautical Radio, Inc. . ARINC Specification 653 Avionics Application Software Standard Interface [ Z ]. 1997. [ 3 ]　AADL Portal at Telecom ParisTech (AADL) [EB/ OL]. (2009-07-14). http:/ / aadl． telecom-paristech． fr / . [ 4 ]　Delange J,Gilles O. Model-Based Engineering for the Development of ARINC653 Architectures [ J ]. SAE International Journal of Aerospace,2009,3(1):79-86. [ 5 ]　Singhoff F,Legrand J,Nana L. Cheddar:A Flexible Real Time Scheduling Framework[C] / / Proc. of International ACM SIGAda Conference. Atlanta,USA:[s. n． ],2004: 1-10 [ 6 ]　Singhoff F. Cheddar Release 2． x User’ s Guide [R]. Technical Report:singhoff-01-07,2007. [ 7 ]　TELECOM ParisTech,Inc． . Ocarina User Guide [Z]. 2005. [ 8 ]　Stankovic J A,Spuri M,Natale D M,et al. Implications of Classical Scheduling Results For Real Time Systems [J]. IEEE Computer,1995,28(6):16-25. [ 9 ]　Atchison B,Lindsay P. Safety Validation of Embedded Control Software Using Z Animation[C] / / Proc. of the 5th IEEE International Symposium on High Assurance Systems Engineering. Albuquerque, USA: IEEE Press, 2000:228-237. [10]　Conmy P,Nicholson M,McDermid J. Safety Assurance Contracts for Integrated Modular Avionics[C] / / Proc. of the 8th Australian Workshop on Safety Critical Systems and Software. Canberra,Australian:[s. n． ],2003:6978. [11]　Kashi R N,Amarnathan M. Perspectives on the Use of Model Based Development Approach for Safety Critical Avionics Software Development [ C ] / / Proc. of International Conference on Aerospace Science and Technology. Bangaloire,India:[s. n． ],2008. [12]　Delange J,Hugues J,Pautet L,et al. Code Generation strategies from AADL Architectural Descriptions Targeting the High Integrity Domain [C] / / Proc of the 4th European Congress ERTS Embedded Real-time Software. Toulouse,France:[s. n． ],2008. [13]　Chilenski J. Aerospace Vehicle Systems Institute Systems and Software Integration Verification Overview [C ] / / Proc. of AADL Safety and Security Modeling Meeting. [S. l． ]:IEEE Press,2007. [14]　Singhoff F,Legrand J,Nana L. Scheduling and Memory Requirements Analysis with AADL [ J ]. Ada Letters, 2005,25(4):1-10. [15]　Bremond G P,Choi J Y, Clarke D, et al. A Process Algebra to the Schedulability Analysis of Real-time Systems [ M ]. Norwell, USA: Kluwer Academic Publishers,1998. [16]　Amnell T,Fersman E,Mokrushin L,et al. TIMES———A Tool for Modeling and Implementation of Embedded Systems[C] / / Proc. of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. London, UK: Springer-Verlag, 2002:460-464. [17]　李振松,顾　斌. 基于UPPAAL 的AADL 行为模型验证方法研究[J]. 计算机科学,2012,39(2):159-161. [18]　何　峰,宋丽茹,熊华钢. 航空电子双层任务分区调度设计[J]. 北京航空航天大学学报,2008,34 (11): 1364-1368. [19]　周天然,熊华钢. 航空电子系统混合实时任务的双层调度[J]. 航空学报,2011,32(6):1067-1074. [20]　汤小明,张新国. 基于分区的安全关键软件体系及其时间分析研究[J]. 系统仿真学报,2013,25 (7): 1704-1709. [21]　Leung J,Merrill M L. A Note on Preemptive Scheduling of Periodic Real-time Tasks[J]. Information Processing Letters,1980,11(3):115-118. 编辑　金胡考

[1]	周家欣,吕娜,陈柯帆. 软件定义多平台航空电子网络架构[J]. 计算机工程, 2019, 45(4): 41-48,55.
[2]	梁浩,晏立,沈项军. 全局固定优先级实时调度算法分析[J]. 计算机工程, 2017, 43(12): 65-68.
[3]	陈龙,王立松. IMA重构的功能危害分析方法研究[J]. 计算机工程, 2016, 42(6): 151-155,160.
[4]	陈进朝,杜承烈. 单处理器平台下的严格周期任务可调度性判定[J]. 计算机工程, 2016, 42(5): 288-291.
[5]	张永悦，云利军，孙瑜. 基于分区的航电系统调度分析工具实现[J]. 计算机工程, 2014, 40(4): 42-47.
[6]	张永悦, 孙瑜, 李允, 徐建华. 复杂实时系统可调度性判定工具的研究与实现[J]. 计算机工程, 2013, 39(1): 270-274.
[7]	汪银海, 宁洪, 李暾. 基于发布/订阅模型的中间件实时拓展[J]. 计算机工程, 2012, 38(23): 33-36.
[8]	徐建华, 李允. 基于仿真方法的任务集可调度性判定工具[J]. 计算机工程, 2012, 38(2): 237-239.
[9]	徐建华, 李允. 基于单调速率的可调度性判定改进算法[J]. 计算机工程, 2011, 37(22): 45-47.
[10]	乔乃强, 徐涛, 谷青范. ARINC653分区调度算法的研究与改进[J]. 计算机工程, 2011, 37(20): 249-251.
[11]	李　骞;冯金富;潘　勃;张佳强. 基于IMA的电视指令制导系统蓝图[J]. 计算机工程, 2009, 35(20): 225-227.

选择文件类型/文献管理软件名称

选择包含的内容

基于AADL 的综合航电分区系统可调度性判定

Schedulability Determination of Integrated Modular Avionics Partitioned System Based on AADL

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 11

编辑推荐

Metrics

本文评价

模态框（Modal）标题

选择文件类型/文献管理软件名称

选择包含的内容

基于AADL 的综合航电分区系统可调度性判定

Schedulability Determination of Integrated Modular Avionics Partitioned System Based on AADL

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 11

编辑推荐

Metrics

本文评价