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

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 cri...

Full description

Saved in:
Bibliographic Details
Published inFundamentals of Software Engineering Vol. 9392; pp. 100 - 109
Main Authors Ghafari, Mohammad, Heydarnoori, Abbas, Haghighi, Hassan
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2015
Springer International Publishing
SeriesLecture Notes in Computer Science
Subjects
Artificial intelligence
Computer programming / software development
Consistency
Reconfiguration
Safe stopping
Software Engineering
Online AccessGet full text

Cover

More Information
Summary: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.
ISBN:9783319246437
3319246437
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-319-24644-4_7