A Transformation-Based Integrated Modular Avionics Software Model Construction Approach

Ying Wang; Jian Yong Wang; Lei Wang

doi:10.4028/www.scientific.net/AMM.668-669.343

Paper Titles

Analysis of Configuration and Tension Force for Flexible Mattress by Lumped-Mass Method
p.322

Aerodynamics Research of Thermal Fluid Circulation in a Heated Cavity
p.326

Research on Coanda Effect Appeared in Oil-Air Annular Flow through the Conical Diffuser
p.331

Orthogonal Experiment on Characteristic Parameters of Oil-Air Lubrication System
p.336

A Transformation-Based Integrated Modular Avionics Software Model Construction Approach
p.343

Kalman Filter-Based Robot Manipulator Five-Degrees of Freedom Uncalibrated Vision Positioning
p.347

Motion Model of Two-Wheel Differential Drive Mobile Robot under Variable Load
p.352

Research and Design of Auxiliary Power Supply for Motor Controller in Electric Vehicles
p.357

Research on the Kinematics of Line Heating Robot Based on SVM
p.361

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vols. 668-669A Transformation-Based Integrated Modular Avionics...

A Transformation-Based Integrated Modular Avionics Software Model Construction Approach

Abstract:

Modern avionic software usually runs on the ARINC653-compatible OS based on the Integrated Modular Avionics (IMA) architecture. Although existing ARINC653 annex of Architecture Analysis & Design Language (AADL) can be used to construct IMA models straightforward, it is still hard and error-prone work for avionics engineers because of the complexity of ARINC653 and manual modeling. Therefore, a hierarchical transformation-based approach is proposed to obtain correct IMA models step by step from general AADL models, rather than its ARINC653 annex. The typical transformation algorithm is given and a tool is also developed to help accomplish this approach automatically and effectively.

You might also be interested in these eBooks

Mechanical Components and Control Engineering III

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volumes 668-669)

Pages:

343-346

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.668-669.343

Citation:

Cite this paper

Online since:

October 2014

Authors:

Ying Wang*, Jian Yong Wang, Lei Wang

Keywords:

AADL, ARINC653, Hierarchical Transformation, Integrated Modular Avionics, Model Construction

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

* - Corresponding Author

References

[1] P. Parkinson, L. Kinnan, Safety-Critical Software Development for Integrated Modular Avionics. White Paper, Wind River, (2007).

Google Scholar

[2] 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

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

Google Scholar

[4] 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

[5] UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems, Version 1. 0, OMG, (2009).

Google Scholar

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

Google Scholar

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

Google Scholar