Automatic Generation Method of Ada Code for Aerospace Embedded Software Based on AADL

Abstract

Abstract: Model-Driven Development (MDD) is gradually applied to the design and implementation of safety-critical software in aerospace and other fields.Architecture Analysis and Design Language (AADL) is a standardized embedded software architecture description language that provides complete support for the design and implementation of safety-critical software through modeling, verification and code generation.However, the code in the industry runs on the target platform with different characteristics, such as different hardware and software architectures and programming interfaces. The existing researches on AADL code generation mainly integrate the automatically generated code into the platform manually, which is tedious and error-prone. This paper presents an automatic generation method of Ada code for aerospace embedded software based on AADL.Firstly, the AADL modeling of satellite attitude and orbit control system is given.Secondly, the automatic transformation rules of Ada code related to AADL to platform are given. Finally, a prototype tool for code generation is given, and the code generated by the AADL model of the satellite attitude and orbit control system is checked by the space coding standard, and the effectiveness of the method proposed in this paper is verified by running in the relevant simulation environment.

Key words: safety critical software, model-driven development, AADL, Ada, automatic code generation

CLC Number:

TP311.5

FENG Si-zhe, YANG Zhi-bin, XUE Lei. Automatic Generation Method of Ada Code for Aerospace Embedded Software Based on AADL[J]. Computer and Modernization, 2020, 0(06): 52-.

References

［1］ RIERSON L. Developing Safety-critical Software: A Practical Guide for Aviation Software and DO-178C Compliance［M］. CRC Press, 2017.
［2］ LEVESON N. Engineering a Safer World: Systems Thinking Applied to Safety［M］. MIT press, 2011.
［3］ MARTINS L E G, GORSCHEK T. Requirements engineering for safety-critical systems: A systematic literature review［J］. Information and Software Technology, 2016,75(7):71-89.
［4］〖KG-*5〗WEI X M. AADL-based safety analysis approaches for safety-critical systems［C］// 2019 12th IEEE International Conference on Software Testing, Validation and Verification. 2019:481-482.
［5］ LEWIS B. Architecture based model driven software and system development for real-time embedded systems［C］ // International Workshop on Radical Innovations of Software and Systems Engineering in the Future. 2002:249-260.
［6］ FRANZAGO M, RUSCIO D D, MALAVOLTA I, et al. Collaborative model-driven software engineering: A classification framework and a research map［J］. IEEE Transactions on Software Engineering, 2017,44(12):1146-1175.
［7］ KIM B G, PHAN L T, SOKOLSKY L, et al. Platform-dependent code generation for embedded real-time software［C］// IEEE International Conference on Compilers, Architecture and Synthesis for Embedded Systems. 2013:1-10.
［8］ MAGALHAES A P F, ANDRADE A M S, MACIEL R S P. Model Driven Transformation Development(MDTD): An approach for developing model to model transformation［J］. Information and Software Technology, 2019,114:55-76.
［9］ YANG Z B, PI L, HU K, et al. AADL: An architecture design and analysis language for complex embedded real-time systems［J］. Journal of Software, 2010,21(5):899-915.
［10］ANDERSON M, SHUKLA S K. APECS code synthesis: Extending ocarina for multi-threaded code synthesis from AADL models for safety critical applications［C］// Proceedings of the 11th IEEE International Conference on Networking, Sensing and Control. 2014:36-41.

［11］LASNIER G, ZALILA B, PAUTET L, et al. Ocarina: An environment for AADL models analysis and automatic code generation for high integrity applications［C］// Ada-Europe International Conference on Reliable Software Technologies. 2009:237-250.

［12］JULIEN D. AADL Code Generation for Avionics Systems［EB/OL］.(2015-06-22)［2018-05-10］. https://insights.sei.cmu.edu/sei_blog/2015/06/aadl-code-generation-for-avionics-systems.html.
［13］MOHAQEQI M, ABDULLAH J, YI W. An executable semantics for synchronous task graphs: From SDRT to Ada［C］// Ada-Europe International Conference on Reliable Software Technologies. 2017:137-152.
［14］王飞,黄志球,杨志斌,等. 一种安全攸关嵌入式系统需求追踪方法［J］. 计算机学报, 2018，41(3):652-669.
［15］刘承威,杨志斌,周勇,等. 面向限定自然语言需求的AADL自动生成工具［J］. 小型微型计算机系统, 2019,40(5):74-85.
［16］王飞,杨志斌,黄志球,等. 基于限定自然语言需求模板的AADL模型生成方法［J］. 软件学报, 2018(8):2350-2370.
［17］SAE Aerospace. SAE AS5506 A Annex: Behavior Specification V1.6 ［EB/OL］. ［2019-09-02］. http://www.aadl.info/aadl/document/Behaviour_Annex1.6.pdf.
［18］XU J M, YANG Z B, HUANG Z Q, et al. Hierarchical behavior annex: Towards an AADL functional specification extension［C］// Proceedings of the 16th IEEE International Conference on Formal Methods and Models for System Design. 2018:1-11.
［19］YANG Z, BODEVEIX J P, FILALI M, et al. Towards a verified compiler prototype for the synchronous language SIGNAL［J］. Frontiers of Computer Science, 2016,10(1):37-53.
［20］ARCAINI P, GARGANTINI A, RICCOBENE E. Rigorous development process of a safety-critical system: From ASM models to Java code［J］. International Journal on Software Tools for Technology Transfer, 2017,19(2):247-269.
［21］WANG Y, MA D, ZHAO Y, et al. Automatic RT-Java code generation from
AADL models for ARINC653-based avionics software［C］// 2012 IEEE 36th Annual Conference on Computer Software and Applications. 2012:670-679.
［22］YANG Z B, YUAN S H, XIE J, et al. Multi-threaded code generation tool for synchronous language［J］. Journal of Software, 2019,30(7):1980-2002.
［23］WAGELAAR D, TISI M, CABOT J, et al. Towards a general composition semantics for rule-based model transformation［C］// International Conference on Model Driven Engineering Languages and Systems. 2011:623-637.
［24］LIU J, LI T, QIAN Y, et al. AADL+: A simulation-based methodology for cyber-physical systems［J］. Frontiers of Computer Science, 2019,13(3):516-538.

[1]	WANG Haiyang, GONG Tongxin, YANG Jintao, CHEN Zailong. Short-term Load Forecasting in Industrial Parks with Multi-scale Time Coding [J]. Computer and Modernization, 2024, 0(12): 59-65.
[2]	CHEN Liang, LI Cheng, YI Wei, XIONG Wei, WANG Xiaofan, TANG Haidong. Helmet Wearing Detection in Electric Power Field Based on#br# Millimeter-wave Radar and Visual Fusion [J]. Computer and Modernization, 2024, 0(12): 100-107.
[3]	LI Deyou1, 2, YU Jinsongdi1, 2, WEI Dandan1, 2, LUO Yuan1, 2, TONG Ruiju3. Abstract Tree Model for Gridded Cube Metadata [J]. Computer and Modernization, 2024, 0(11): 1-6.
[4]	GAO Meng, ZENG Xianwen. Improved Pelican Optimization Algorithm Based on Circle Mapping and#br# Adaptive t-Distribution Mutation [J]. Computer and Modernization, 2024, 0(09): 69-73.
[5]	HONG Guangjie, CAI Maoguo, ZHAN Kaijie, OU Jifa. MPA Algorithm Based on Adaptive Rotation Learning and Crisis Awareness Strategy [J]. Computer and Modernization, 2024, 0(07): 112-119.
[6]	XU Yuanhong1, 2, 3, ZHAO Bo1, 2, LIU Xiaojun1, 2. 3-D Tomography Method Based on Ground-based Multi-channel Ice-penetrating Radar [J]. Computer and Modernization, 2024, 0(06): 51-58.
[7]	WU Hengfeng, HOU Xingsong, WANG Huake. Transmission Line Faults Detection Algorithm Based on YOLOX [J]. Computer and Modernization, 2024, 0(05): 5-10.
[8]	YANG Ke1, PAN Dazhi1, 2, CHI Ying1. Improved Mayfly Algorithm for Integrated of Process Planning and Scheduling [J]. Computer and Modernization, 2024, 0(04): 92-98.
[9]	XIA Huang-zhi1, 2, CHEN Li-min3, MAO Xue-di1, 2, QI Fu1, 2. Adaptive Bald Eagle Search Algorithm Embedded with Somersault Foraging and Application [J]. Computer and Modernization, 2024, 0(02): 7-14.
[10]	MIAO Si-qiao, FAN Hong-mei, YUAN Fei-meng. Confidence Evaluation of Reliability of Multivariate Degenerate System Considering#br# Different Strength Dependence [J]. Computer and Modernization, 2024, 0(02): 108-113.
[11]	PENG Zong-yu, HUANG Kai-qi, SU Jian-hua, WANG Li-li. Visual Servo Based on Model-free Adaptive Control [J]. Computer and Modernization, 2024, 0(01): 29-34.
[12]	HU Chong-jia, LIU Jin-zhou, FANG Li. Unsupervised Domain Adaptation for Outdoor Point Cloud Semantic Segmentation [J]. Computer and Modernization, 2024, 0(01): 74-79.
[13]	LI Ying-ying, HUANG Wen-pei. View Frustum Culling Algorithm for Scene Based on Optimized Octree [J]. Computer and Modernization, 2024, 0(01): 103-108.
[14]	XIA Qian-han, HE Sheng-huang, WU Yuan-qing, ZHAO Le-le. Few-shot Object Detection via Learnable Memory Feature Pyramid Network [J]. Computer and Modernization, 2023, 0(12): 7-13.
[15]	NING Juan, ZHOU Qing-hua, ZENG Xiao-wei. Application of Improved YOLOv7 Algorithm in Detection of Capping Defects of Vials [J]. Computer and Modernization, 2023, 0(12): 82-86.