Design-driven Development of Safety-critical Applications: A Case Study In Avionics

Julien Bruneau 1 Quentin Enard 1 Stéphanie Gatti 1 Emilie Balland 1 Charles Consel 1, 2
1 Phoenix - Programming Language Technology For Communication Services
LaBRI - Laboratoire Bordelais de Recherche en Informatique, Inria Bordeaux - Sud-Ouest, EA4136 - Handicap et système nerveux :Action, communication, interaction: rétablissement de la fonction et de la participation [Bordeaux]
Abstract : Safety-critical applications have to fulfill stringent requirements, both functional and non-functional. These requirements have to be coherent with each other and must be preserved throughout the software development process. In this context, a design-driven development approach can play a critical role. However existing design-driven development approaches are often general purpose, providing little, if any, conceptual framework to guide the development. The resulting design scope thus becomes largely unpredictable, leading to inconsistencies. In this paper, we propose a design-driven method- ology that relies on a specific development paradigm. This development paradigm provides a conceptual framework that guides the stakeholders at each de- velopment stage. Based on this paradigm, a tool suite provides development support dedicated to each development stage. We demonstrate the benefits of this methodology with a realistic case study in the avionics domain.
Type de document :
Rapport
[Technical Report] 2011
Liste complète des métadonnées


https://hal.inria.fr/inria-00638203
Contributeur : Julien Bruneau <>
Soumis le : vendredi 4 novembre 2011 - 11:48:27
Dernière modification le : mardi 13 décembre 2016 - 15:41:04
Document(s) archivé(s) le : jeudi 15 novembre 2012 - 11:10:36

Fichier

autopilot.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00638203, version 1

Collections

Citation

Julien Bruneau, Quentin Enard, Stéphanie Gatti, Emilie Balland, Charles Consel. Design-driven Development of Safety-critical Applications: A Case Study In Avionics. [Technical Report] 2011. <inria-00638203>

Partager

Métriques

Consultations de
la notice

339

Téléchargements du document

283