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

  • Mohammad Ghafari
  • Abbas Heydarnoori
  • Hassan Haghighi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9392)

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.

Keywords

Reconfiguration Safe stopping Consistency 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© IFIP International Federation for Information Processing 2015

Authors and Affiliations

  • Mohammad Ghafari
    • 1
    • 2
    • 3
  • Abbas Heydarnoori
    • 1
    • 2
    • 3
  • Hassan Haghighi
    • 1
    • 2
    • 3
  1. 1.DeepSE Group @ Politecnico di MilanoMilanoItaly
  2. 2.Sharif University of TechnologyTehranIran
  3. 3.Shahid Beheshti UniversityTehranIran

Personalised recommendations