Design-driven Development of Dependable Applications: A Case Study in Avionics - Archive ouverte HAL Access content directly
Conference Papers Year : 2013

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

(1, 2) , (2, 1) , (1) , (1) , (1) , (1, 3)
1
2
3

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.
Fichier principal
Vignette du fichier
autopilot.pdf (1.23 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00794329 , version 1 (25-02-2013)

Identifiers

  • HAL Id : hal-00794329 , version 1

Cite

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. PECCS - 3rd International Conference on Pervasive and Embedded Computing and Communication Systems, Feb 2013, Barcelona, Spain. ⟨hal-00794329⟩

Collections

CNRS INRIA INRIA2
403 View
582 Download

Share

Gmail Facebook Twitter LinkedIn More