Modeling and Validation of ARINC653 architectures - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Modeling and Validation of ARINC653 architectures

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-02269428 , version 1

Citer

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⟩
89 Consultations
207 Téléchargements

Partager

Gmail Facebook X LinkedIn More