Design-Driven Development Methodology for Resilient Computing

Quentin Enard 1, 2 Miruna Stoicescu 3 Emilie Balland 1 Charles Consel 1, 4 Laurence Duchien 5, 6, 7 Jean-Charles Fabre 3 Matthieu Roy 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]
3 LAAS-TSF - Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique
LAAS - Laboratoire d'analyse et d'architecture des systèmes [Toulouse]
5 ADAM - Adaptive Distributed Applications and Middleware
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
Abstract : 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.
Type de document :
Communication dans un congrès
CBSE'13: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, Jun 2013, Vancouver, Canada. 2013
Liste complète des métadonnées


https://hal.inria.fr/hal-00814298
Contributeur : Emilie Balland <>
Soumis le : mardi 25 juin 2013 - 11:50:21
Dernière modification le : mercredi 11 janvier 2017 - 01:05:36
Document(s) archivé(s) le : jeudi 26 septembre 2013 - 02:55:09

Fichier

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

Identifiants

  • HAL Id : hal-00814298, version 1

Citation

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. 2013. <hal-00814298>

Partager

Métriques

Consultations de
la notice

693

Téléchargements du document

613