Modeling and Validation of ARINC653 architectures - Archive ouverte HAL Access content directly
Conference Papers Year : 2010

Modeling and Validation of ARINC653 architectures


Avionics systems must be carefully designed due to their criticality since fault may lead to loss of life. Thes e systems must be verified and certified. However, design of avionics arc hitectures becomes more and more complex due to an increasing demand of new functionalities. It makes very diffic ult to analyze systems and detect potential faults that may cause damages. This paper presents an approac h to model and validate avionics systems. Architecture requirements, properties and constraints are described with the Architecture Analysis and Design Language (AA DL) and its associated A RINC653 annex. Then, we apply validation rules to check system correctness and constraints enforcement. This approac h provides a high-level view of the system and eases the development of avionics system by validating their requirements at a model- level, before any implementation efforts
Fichier principal
Vignette du fichier
9C-2.pdf (291.78 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02269428 , version 1 (22-08-2019)


  • HAL Id : hal-02269428 , version 1


Julien Delange, Laurent Pautet, Fabrice Kordon. Modeling and Validation of ARINC653 architectures. ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France. pp.1-8. ⟨hal-02269428⟩
79 View
178 Download


Gmail Facebook Twitter LinkedIn More