Automatic C Code Generation for Avionics Software Based on VxWorks653 Platform

Ying Wang; Lei Wang

doi:10.4028/www.scientific.net/AMM.687-691.3124

Paper Titles

Research on Modeling and Simulation of Power Electronic Circuits Based on MATLAB
p.3106

Research the Test Method of the Voltage Transformer Secondary Load in the Three-Phase Three-Wire Electric Energy Metering Device
p.3110

Research on the Secondary System Design Method of Smart Substation
p.3116

Research on Design of BLDCM Controlling System Based on FPGA
p.3120

Automatic C Code Generation for Avionics Software Based on VxWorks653 Platform
p.3124

Wireless Digital Display Thermometers System Design
p.3128

Improvement on Zero Nonlinear Compensation of Time Division Multiplier
p.3132

Assessment of Transmission Line Condition Based on Neural Networks and Fuzzy Logic Decision
p.3137

Assessment of Transmission Line Icing State Based on Multi-Sensor Information Fusion
p.3141

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vols. 687-691Automatic C Code Generation for Avionics Software...

Automatic C Code Generation for Avionics Software Based on VxWorks653 Platform

Abstract:

At present, model-driven development method has been gradually applied in safety-critical avionics software to improve reliability and productivity. Existing ARINC653 annex of the Architecture Analysis & Design Language (AADL) is used to model avionic software based on ARINC653-compatible OS, such as VxWorks653 commercial platform. In this paper, a refined C code generation algorithm is proposed to enable automatically generate VxWorks653-runnable code from the AADL ARINC653 models. Finally, a simplified autopilot system example is as a case study to show the validity of our approch.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volumes 687-691)

Pages:

3124-3127

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.687-691.3124

Citation:

Cite this paper

Online since:

November 2014

Authors:

Ying Wang, Lei Wang

Keywords:

AADL, ARINC653, Avionics Software, C Code Generation, VxWorks653

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] Airlines electronic engineering committee (AEEC), avionics application software standard interface - ARINC specification 653-part 1 (REQUIRED SERVICES), (2005).

DOI: 10.1201/9781315222240-22

Google Scholar

[2] Wind River, VxWorks 653 PROGRAMMER'S GUIDE 2. 2, Wind River Systems, Inc., (2007).

Google Scholar

[3] SAE (2005) Language compliance and application program interface. SAE, the AADL Specification Document Annex D.

Google Scholar

[4] J. DELANGE, L. PAUTET, F. KORDON, Code Generation Strategies for Partitioned Systems, " 29th IEEE RealTime Systems Symposium (RTSS, 08).

Google Scholar

[5] SAE AS5506: Architecture Analysis and Design Language (AADL), Version 2. 0, (2009).

Google Scholar

[6] SAE AS5506/2: ARINC653 Annex, (2011).

Google Scholar

[7] Y. Wang, D. F. Ma, H.L. Shen, Y.W. Zhao, AADL653: An AADL-based formal language for modeling and validation of ARINC653-based avionics software, Journal of Computational Information Systems, Vol. 9 (10): 3919- 3930, (2013).

Google Scholar

[8] SAE AS5506/2: Behavior Annex, (2011).

Google Scholar

[9] Edwards, Christopher, Lombaerts, Thomas, Smaili, Hafid, Fault Tolerant Flight Control, ISBN 978-3-642-11690-2.

Google Scholar