Validate, Simulate and Implement ARINC653 Systems using the AADL

Julien Delange 1, 2 Laurent Pautet 3 Alain Plantec 4 Mickael Kerboeuf 4 Frank Singhoff 4 Fabrice Kordon 2
2 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
4 Lab-STICC_UBO_CACS_MOCS
UBO - Université de Brest, Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Abstract : Safety-critical systems are widely used in different domains and lead to an increasing complexity. Such systems rely on specific services such space and time isolation as in the ARINC653 avionics standard. Their criticality requires a carefully driven design based on an appropriate development process and dedicated tools to detect and avoid problems as early as possible.Model Driven Engineering (MDE) approaches are now considered as valuable approach for building safety-critical systems. The Architecture Analysis and Design Language (AADL) proposes a component-based language suitable to operate MDE that fits with safety-critical systems needs.This paper presents an approach for the modeling, verification and implementation of ARINC653 systems using AADL. It details a modeling approach exploiting the new features of AADL version 2 for the design of ARINC653 architectures. It also proposes modeling patterns to represent other safety mechanisms such as the use of Ravenscar for critical applications. This approach is fully backed by tools with Ocarina (AADL toolsuite), POK (AADL/ARINC653 runtime) and Cheddar (scheduling verification). Thus, it assists system engineers to simulate and validate non functional requirements such as scheduling or resources dimensioning.
Type de document :
Article dans une revue
ACM SIGAda Ada Letters, 2009, 29 (3), pp.31-44. 〈10.1145/1653616.1647435〉
Liste complète des métadonnées

http://hal.univ-brest.fr/hal-00745370
Contributeur : Francoise Jouglas <>
Soumis le : jeudi 25 octobre 2012 - 14:05:10
Dernière modification le : mardi 16 janvier 2018 - 15:54:23

Identifiants

Citation

Julien Delange, Laurent Pautet, Alain Plantec, Mickael Kerboeuf, Frank Singhoff, et al.. Validate, Simulate and Implement ARINC653 Systems using the AADL. ACM SIGAda Ada Letters, 2009, 29 (3), pp.31-44. 〈10.1145/1653616.1647435〉. 〈hal-00745370〉

Partager

Métriques

Consultations de la notice

230