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

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.

Authors:

• Lu Zou
• Dianfu MA
• Ying Wang
• Xianqi Zhao

Keywords:

• IMA
• ARINC653
• AADL653
• code generation.

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.