Design-Driven Development Methodology for Resilient Computing - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Design-Driven Development Methodology for Resilient Computing

Résumé

Resilient computing is defined as the ability of a system to stay dependable when facing changes. To mitigate faults at runtime, dependable systems are augmented with fault tolerance mechanisms such as replication techniques. These mechanisms have to be systematically and rigorously applied in order to guarantee the conformance between the application runtime behavior and its dependability requirements. The main contribution of this paper is to propose a design- driven development methodology for resilient computing systems. Our approach consists of refining the design with specifications dedicated to the dependability concerns. This design is then leveraged to support the development of the application while ensuring the traceability of the dependability requirements along the application life-cycle, including runtime adaptation.
Fichier principal
Vignette du fichier
paper.pdf (500.61 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00814298 , version 1 (25-06-2013)

Identifiants

  • HAL Id : hal-00814298 , version 1

Citer

Quentin Enard, Miruna Stoicescu, Emilie Balland, Charles Consel, Laurence Duchien, et al.. Design-Driven Development Methodology for Resilient Computing. CBSE'13: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, Jun 2013, Vancouver, Canada. ⟨hal-00814298⟩
828 Consultations
673 Téléchargements

Partager

Gmail Facebook X LinkedIn More