Lu Zou and Dianfu MA and Ying Wang and Xianqi Zhao
A Mapping Approach of Code Generation for Arinc653Based Avionics Software
1444 - 1450
2012
6
11
International Journal of Computer and Systems Engineering
https://publications.waset.org/pdf/15044
https://publications.waset.org/vol/71
World Academy of Science, Engineering and Technology
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
Safetycritical avionics Realtime 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 innertask synchronous dynamic
interaction order sequence. In this paper, we proposed an
AADLbased modeldriven 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.
Open Science Index 71, 2012