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 条
  • [1] Leveson NG., Engineering a Safer World: Systems Thinking Applied to Safety, (2016)
  • [2] Paz A, El Boussaidi G, Hafedh M., ChecSDM: A method for ensuring consistency in heterogeneous safety-critical system design, IEEE Trans. on Software Engineering, (2020)
  • [3] Benveniste A, Caillaud B, Carloni LP, Sangiovanni-Vincentelli AL., Composing heterogeneous reactive systems, ACM Trans. on Embedded Computing Systems (TECS), 7, 4, pp. 1-36, (2008)
  • [4] Vangheluwe H, De Lara J, Mosterman PJ., An introduction to multi-paradigm modelling and simulation, Proc. of the AIS' 2002 Conf. (AI, Simulation and Planning in High Autonomy Systems), pp. 9-20, (2002)
  • [5] Mosterman PJ, Vangheluwe H., Computer automated multi-paradigm modeling: An introduction, Simulation, 80, 9, pp. 433-450, (2004)
  • [6] Fritzson P, Bunus P., Modelica-A general object-oriented language for continuous and discrete-event system modeling and simulation, Proc. of the 35th Annual Simulation Symp. IEEE, pp. 365-380, (2002)
  • [7] Specification OMG., OMG System Modeling Language (OMG SysML) Specification
  • [8] Gerard S, Selic B., The UML-marte standardized profile, IFAC Proc. Volumes, 41, 2, pp. 6909-6913, (2008)
  • [9] Yang ZB, Pi L, Hu K, Gu ZH, Ma DF., AADL: An architecture design and analysis language for complex embedded real-time systems, Ruan Jian Xue Bao/Journal of Software, 21, 5, pp. 899-915, (2010)
  • [10] Blom H, Lonn H, Hagl F, Papadopoulos Y, Reiser MO, Sjostedt CJ, Chen DJ, Kolagari RT., EAST-ADL: An architecture description language for automotive software-intensive systems, Embedded Computing Systems: Applications, Optimization, and Advanced Design, pp. 456-470, (2013)
12345