Adding Fault-tolerance to State Machine-based Designs

  title={Adding Fault-tolerance to State Machine-based Designs},
  author={Sandeep S. Kulkarni},
Late detection of new types of faults often results in the evolution of faulttolerance requirements while developers have already created design artifacts. Thus, the reuse of an existing design in the development of a fault-tolerant version thereof has the potential to reduce the overall development costs. Moreover, the automation of such a reuse yields a fault-tolerant design that is correct by construction, given that the existing design is correct. To facilitate such an automation, we… CONTINUE READING