An AADL-based modeling method for ARINC653-based avionics software

Proceedings - International Computer Software and Applications Conference

Volumn , Issue , 2011, Pages 224-229

  Wang, Ying ^a   Ma, Dianfu ^a   Zhao, Yongwang ^a   Zou, Lu ^a   Zhao, Xianqi ^a  

^a BEIHANG UNIVERSITY   (China)

Author keywords

AADL PIM; AADL653; ARINC653; Avionics software; Model transformation

Indexed keywords

AADL PIM; AADL653; APPLICATION FUNCTIONS; ARCHITECTURE ANALYSIS; ARINC653; CODE GENERATION; DESIGN LANGUAGES; FEDERATED ARCHITECTURE; HIGH RELIABILITY; INTEGRATED MODULAR AVIONICS; ITS ARCHITECTURE; MODEL DRIVEN DESIGN; MODEL TRANSFORMATION; MODELING METHOD; PLATFORM-INDEPENDENT MODEL; TRANSFORMATION RULES;

AVIONICS; COMPUTER APPLICATIONS; COMPUTER ARCHITECTURE; RELIABILITY ANALYSIS; SOFTWARE RELIABILITY;

EMBEDDED SOFTWARE;

EID: 80055006739     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COMPSAC.2011.36     Document Type: Conference Paper

References (11)

1. Jean-Louis Camus, "The Airbome Software Development Challenge," White Paper, ESTEREL TECHNOLOGIES, March 2010.
2. 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
3. SAE Aerospace. SAE AS5506: Architecture Analysis and Design Language (AADL), Version 2.0, 2009.
4. th Digital Avionics Systems Conference (DASC '07), October 2007.
5. Airlines electronic engineering committee (AEEC), avionics application software standard interface - ARINC specification 653 - part 1 (REQUIRED SERVICES), December 2005, ARINC, Inc.
6. Pedro de la Cámara, J. Raúl Castro, María del Mar Gallardo, Pedro Merino, "Verification support for ARINC-653-based avionics software," Softw. Test. Verif. Reliab. (2010), Published online in Wiley InterScience (www.interscience.wiley.com). DOI: 10.1002/stvr.422.
7. SAE AS5506 Annex: Behavior-Specification V2.0 September 20, 2007.
8. R.B. França, J. Bodeveix, M. Filali, J. Rolland, D. Chemouil, and D. Thomas, "The AADL behaviour annex - experiments and roadmap", In Proceedings of the IEEE 12th International Conference on Engineering of Complex Computer Systems (ICECCS'07), July 2007.
9. G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations. World Scientific, 1997.
10. 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.
11. 2), May 2010.