A Safe Stopping Protocol to Enable Reliable Reconfiguration for Component-Based Distributed Systems

Abstract : Despite the need for change, highly available software systems cannot be stopped to perform changes because disruption in their services may consequent irrecoverable losses. Current work on runtime evolution are either too disruptive, e.g., “blackouts” in unnecessary components in the quiescence criterion approach or presume restrictive assumptions such as the “black-box design” in the tranquility approach. In this paper, an architecture-based approach, called SAFER, is proposed which provides a better timeliness by relaxing any precondition required to start reconfiguration. We demonstrate the validity of the SAFER through model checking and a realization of the approach on a component model.
Type de document :
Communication dans un congrès
Mehdi Dastani; Marjan Sirjani. 6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. Springer, Lecture Notes in Computer Science, LNCS-9392, pp.100-109, 2015, Fundamentals of Software Engineering. 〈10.1007/978-3-319-24644-4_7〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01446613
Contributeur : Hal Ifip <>
Soumis le : jeudi 26 janvier 2017 - 10:43:58
Dernière modification le : vendredi 2 mars 2018 - 15:04:02
Document(s) archivé(s) le : vendredi 28 avril 2017 - 07:56:07

Fichier

978-3-319-24644-4_7_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Mohammad Ghafari, Abbas Heydarnoori, Hassan Haghighi. A Safe Stopping Protocol to Enable Reliable Reconfiguration for Component-Based Distributed Systems. Mehdi Dastani; Marjan Sirjani. 6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. Springer, Lecture Notes in Computer Science, LNCS-9392, pp.100-109, 2015, Fundamentals of Software Engineering. 〈10.1007/978-3-319-24644-4_7〉. 〈hal-01446613〉

Partager

Métriques

Consultations de la notice

56

Téléchargements de fichiers

2