A Mapping Approach of Code Generation for Arinc653-Based Avionics Software

Authors: Lu Zou, Dianfu MA, Ying Wang, Xianqi Zhao

Abstract:

Avionic software architecture has transit from a federated avionics architecture to an integrated modular avionics (IMA) .ARINC 653 (Avionics Application Standard Software Interface) is a software specification for space and time partitioning in Safety-critical avionics Real-time operating systems. Methods to transform the abstract avionics application logic function to the executable model have been brought up, however with less consideration about the code generating input and output model specific for ARINC 653 platform and inner-task synchronous dynamic interaction order sequence. In this paper, we proposed an AADL-based model-driven design methodology to fulfill the purpose to automatically generating Cµ executable model on ARINC 653 platform from the ARINC653 architecture which defined as AADL653 in order to facilitate the development of the avionics software constructed on ARINC653 OS. This paper presents the mapping rules between the AADL653 elements and the elements in Cµ language, and define the code generating rules , designs an automatic C µ code generator .Then, we use a case to illustrate our approach. Finally, we give the related work and future research directions.

Keywords: IMA, ARINC653, AADL653, code generation.

Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1084280

References:

[1] C.B.Watkins and R.Walter, "Transitioning from federated avionics architectures to Integrated Modular Avionics," In Proceedings of the IEEE/AIAA 26th Digital Avionics Systems Conference (DASC -07), October 2007.
[2] Airlines electronic engineering committee (AEEC), avionics application software standard interface - ARINC specification 653- part 1 (REQUIRED SERVICES), December 2005, ARINC, Inc.
[3] ARINC 653 - An Avionics Standard for Safe, Partitioned Systems". Wind River Systems / IEEE Seminar. August 2008. http://www.computersociety.it/wp-content/uploads/ 2008/08/ieee-cc-arin c653_final.pdf. Retrieved 2009-05-30.
[4] "ARINC 653 - An Avionics Standard for Safe, Partitioned Systems" . Wind River Systems / IEEE Seminar. August 2008. Retrieved 2009-05-30.
[5] Heath, Steve (2003). Embedded systems design. EDN series for design engineers (2 ed.). Newnes. p. 2. ISBN 978-0-7506-5546-0.
[6] Sandeep K. Shukla, "Model-Driven Engineering and Safety-Critical Embedded Software," Computer, vol. 42, no. 9, pp. 93-95,Sept. 2009, doi:10.1109/MC.2009.294
[7] P. Feiler, B. Lewis, and S. Vestal. The SAE AADL standard: A basis for model-based architecture-driven embedded systems engineering. In Proceedings of the RTAS 2003, Workshop on Model-Driven Embedded Systems, IEEE CS, 2003.
[8] SAE Aerospace. SAE AS5506: Architecture Analysis and Design Language (AADL), Version 2.0, 2009.
[9] SAE AS5506/2: Behavior Annex, January 17, 2011.
[10] Telecom ParisTech AADL corner, Code generation , Ocarina AADL toolsuite, http://penelope.enst.fr/aadl
[11] Pierre Dissaux, Ellidiss Technologies,STOOD5.2 AADL tutorial,May 2007.
[12] Shenglin Gui, Liang Ma, Lei Luo, Limeng Yin ,Yun Li, UCaG: An Automatic C Code Generator for AADL Based Upon DeltaOS, 978-0-7695-3489-3/08, 2008 IEEE.
[13] Wang, Ying Ma, Dianfu Zhao, Yongwang Zou, Lu Zhao, Xianqi, "An AADL-based modeling method for ARINC653-based avionics software" , 2011 IEEE 35th Annual Computer Software and Applications Conference - COMPSAC 2011 ,pp. 224 - 229, July 2011.
[14] A. Gamatié, T. Gautier, "Synchronous modeling of avionics applications using the Signal language," In Proceedings of the IEEE 9th Real-Time and Embedded Technology and Applications Symposium (RTAS-03), May 2003.