Loading...

A safe stopping protocol to enable reliable reconfiguration for component-based distributed systems

Ghafari, M ; Sharif University of Technology | 2015

450 Viewed
  1. Type of Document: Article
  2. DOI: 10.1007/978-3-319-24644-4_7
  3. Publisher: Springer Verlag , 2015
  4. Abstract:
  5. 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
  6. Keywords:
  7. Model checking ; Architecture-based ; Component based ; Consistency ; Distributed systems ; Reconfiguration ; Run-time evolutions ; Safe stopping ; Software systems ; Software engineering
  8. Source: 6th International Conference on Fundamentals of Software Engineering, FSEN 2015, 22 April 2015 through 24 April 2015 ; Volume 9392 , November , 2015 , Pages 100-109 ; 03029743 (ISSN) ; 9783319246437 (ISBN)
  9. URL: http://link.springer.com/chapter/10.1007%2F978-3-319-24644-4_7