This content is not included in your SAE MOBILUS subscription, or you are not logged in.

Model-Based Engineering for the Development of ARINC653 Architectures

Journal Article
ISSN: 1946-3855, e-ISSN: 1946-3901
Published November 10, 2009 by SAE International in United States
Model-Based Engineering for the Development of ARINC653 Architectures
Citation: Delange, J., Gilles, O., Hugues, J., and Pautet, L., "Model-Based Engineering for the Development of ARINC653 Architectures," SAE Int. J. Aerosp. 3(1):79-86, 2010,
Language: English


  1. SAE. Architecture Analysis & Design Language v2.0 (AS5506) September 2008
  2. 1997
  3. William Barnes ARINC 653 and why is it important for a safety-critical RTOS 2004
  4. National Institute of Standards and Technology (NIST) The Economic Impacts of Inadequate Infrastructure for Software Testing. Technical report 2002
  5. Julien Delange Laurent Pautet Feiler Peter H. Validating safety and security requirements for partitioned architectures In Reliable Software Technologies -- Ada-Europe 2009
  6. Julien Delange Laurent Pautet Fabrice Kordon Code Generation Strategies for Partitioned Systems. 29th IEEE Real-Time Systems Symposium (RTSS'08) 53 56 Barcelona, Spain December 2008 IEEE Computer Society
  7. Olivier Gilles Jérôme Hugues Validating requirements at model-level Proceedings of the 4th workshop on Model-Oriented Engineering (IDM'08) June 2008 Mulhouse, France
  8. Feiler Peter H. Gluch David P. Hudak John J. The Architecture Analysis and Design Language (AADL) An Introduction 2006

Cited By