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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download

https://hal.inria.fr/hal-01446613
Contributor : Hal Ifip <>
Submitted on : Thursday, January 26, 2017 - 10:43:58 AM
Last modification on : Tuesday, August 13, 2019 - 11:10:03 AM
Long-term archiving on : Friday, April 28, 2017 - 7:56:07 AM

File

978-3-319-24644-4_7_Chapter.pd...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Mohammad Ghafari, Abbas Heydarnoori, Hassan Haghighi. A Safe Stopping Protocol to Enable Reliable Reconfiguration for Component-Based Distributed Systems. 6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.100-109, ⟨10.1007/978-3-319-24644-4_7⟩. ⟨hal-01446613⟩

Share

Metrics

Record views

140

Files downloads

228