Design-driven Development of Dependable Applications: A Case Study in Avionics

Quentin Enard 1, 2 Stéphanie Gatti 2, 1 Julien Bruneau 1 Young-Joo Moon 1 Emilie Balland 1 Charles Consel 1, 3
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 : Making an application dependable demands that its functional and non-functional requirements be stringently fulfilled throughout its development process. In this context, a design-driven development approach has the key advantage of enabling requirements to be traced from their high-level design forms to the resulting executable artifact. However, because such approaches are mostly general purpose, they provide little design guidance, if any. This situation makes unpredictable the coherence and the conformance of an application with respect to its requirements. To address this situation, we propose an approach that leverages a design-driven development process dedicated to a specific paradigm. This approach guides the verification of the coherence and conformance of an application throughout its development. We demonstrate the benefits of our approach by applying it to a realistic case study in the avionics domain.
Type de document :
Communication dans un congrès
César Benavente-Peces and Joaquim Filipe. PECCS - 3rd International Conference on Pervasive and Embedded Computing and Communication Systems, Feb 2013, Barcelona, Spain. SciTePress, 2013
Liste complète des métadonnées

Littérature citée [25 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00794329
Contributeur : Quentin Enard <>
Soumis le : lundi 25 février 2013 - 15:32:57
Dernière modification le : jeudi 10 septembre 2015 - 01:08:05
Document(s) archivé(s) le : dimanche 2 avril 2017 - 04:56:19

Fichier

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

Identifiants

  • HAL Id : hal-00794329, version 1

Collections

Citation

Quentin Enard, Stéphanie Gatti, Julien Bruneau, Young-Joo Moon, Emilie Balland, et al.. Design-driven Development of Dependable Applications: A Case Study in Avionics. César Benavente-Peces and Joaquim Filipe. PECCS - 3rd International Conference on Pervasive and Embedded Computing and Communication Systems, Feb 2013, Barcelona, Spain. SciTePress, 2013. 〈hal-00794329〉

Partager

Métriques

Consultations de
la notice

474

Téléchargements du document

468