Co-modeling and Code Generation for Safety-critical Heterogeneous Software

被引：0
|
作者：
Zong Z. [1 ,2 ]
Yang Z.-B. [1 ,2 ]
Yuan S.-H. [1 ,2 ]
Zhou Y. [1 ,2 ]
Bodeleix J.-P. [3 ]
Filali M. [3 ]
机构：
[1] College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing
[2] Key Laboratory of Safety-Critical Software of Ministry of Industry and Information Technology, Nanjing University of Aeronautics and Astronautics, Nanjing
[3] IRIT-University of Toulouse, Toulouse
来源：
Ruan Jian Xue Bao/Journal of Software | 2021年 / 32卷 / 04期
基金：
中国国家自然科学基金;
关键词：
AADL; Co-modeling; Code generation; Multi-core; Safety-critical heterogeneous software; SDL;
D O I：
10.13328/j.cnki.jos.006223
中图分类号：
学科分类号：
摘要：
Safety-critical systems have evolved to use heterogeneous components to implement complex requirements, each component may adopt different computation models or modeling languages. Therefore, it is necessary to use complex modeling approaches to design those systems. AADL, as a multi-paradigm modeling language for safety-critical system architecture, is a good choice to design safety-critical heterogeneous systems because of its rich expressibility and well scalability. This study proposes a bottom-up AADL-SDL co-modeling approach that integrates functionality modeled by SDL through the AADL architecture model and provides a multi-task code generation approach for multi-core platforms. Firstly, AADL property sets are extended to support the capability of modeling functionality. Secondly, a multi-task code generation approach is proposed to transform AADL-SDL models to Ada code. Finally, a prototype tool is implemented to support AADL-SDL co-modeling and multi-task Ada code generation. The effectiveness of the method proposed in this study is analyzed based on the guidance, navigation, and control system scenarios. © Copyright 2021, Institute of Software, the Chinese Academy of Sciences. All rights reserved.
引用
收藏
页码：904 / 933
页数：29
相关论文
共 44 条
  • [31] Lasnier G, Pautet L, Hugues J, Wrage L., An implementation of the behavior annex in the AADL-toolset OSATE2, Proc. of the 16th IEEE Int'l Conf. on Engineering of Complex Computer Systems, pp. 332-337, (2011)
  • [32] 1A: Architecture analysis and design language (AADL) Annex Volume1: Annex E: Error model Annex, (2015)
  • [33] Verhaard L., An introduction to Z, Computer Networks and ISDN Systems, 28, 12, pp. 1617-1628, (1996)
  • [34] Verhoef M, Perrotin M., TASTE for overture to keep SLIM, Proc. of the 13th Overture Workshop, pp. 132-139, (2015)
  • [35] Mamais G, Tsiodras T, Lesens D, Perrotin M., An ASN.1 compiler for embedded/space systems, (2012)
  • [36] Wang F, Yang ZB, Huang ZQ, Zhou Y, Liu CW, Zhang WB, Xue L, Xu JM., Approach for generating AADL model based on restricted natural language requirement template, Ruan Jian Xue bao/Journal of Software, 29, 8, pp. 2350-2370, (2018)
  • [37] Feng SZ, Yang ZB, Xue L., Automatic generation method of Ada code for aerospace embedded software based on AADL, Computer and Modernization, 2020, 6, pp. 52-59
  • [38] Morozov D, Lezoche M, Panetto H., Multi-paradigm modelling of cyber-physical systems, IFAC-PapersOnLine, 51, 11, pp. 1385-1390, (2018)
  • [39] Senn E, Blouin D, Zendra O., A multi-paradigm DSML for quantitative analysis of embedded system architecture models, Proc. of the 15th ACM/IEEE Int'l Conf. on Model Driven Engineering Languages & Systems-MODELS, (2012)
  • [40] Carreira P, Amaral V, Vangheluwe H., Multi-paradigm modelling for cyber-physical systems: Foundations, Foundations of Multi-paradigm Modelling for Cyber-physical Systems, pp. 1-14, (2020)
12345