Automatic Addition of Fault-Tolerance in Presence of Unchangeable Environment Actions †

Mohammad Roohitavaf and Sandeep Kulkarni
Additional contact information
Mohammad Roohitavaf: Department of Computer Science and Engineering, Michigan State University, East Lansing, MI 48824, USA
Sandeep Kulkarni: Department of Computer Science and Engineering, Michigan State University, East Lansing, MI 48824, USA

Future Internet, 2019, vol. 11, issue 7, 1-34

Abstract: We focus on the problem of adding fault-tolerance to an existing concurrent protocol in the presence of unchangeable environment actions. Such unchangeable actions occur in cases where a subset of components/processes cannot be modified since they represent third-party components or are constrained by physical laws. These actions differ from faults in that they are (1) simultaneously collaborative and disruptive, (2) essential for satisfying the specification and (3) possibly non-terminating. Hence, if these actions are modeled as faults while adding fault-tolerance, it causes existing model repair algorithms to declare failure to add fault-tolerance. We present a set of algorithms for adding stabilization and fault-tolerance for programs that run in the presence of environment actions. We prove the soundness, completeness and the complexity of our algorithms. We have implemented all of our algorithms using symbolic techniques in Java. The experimental results of our algorithms for various examples are also provided.

Keywords: stabilization; fault-tolerance; program synthesis; addition of fault-tolerance; model repair; cyber physical systems (search for similar items in EconPapers)
JEL-codes: O3 (search for similar items in EconPapers)
Date: 2019
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.mdpi.com/1999-5903/11/7/144/pdf (application/pdf)
https://www.mdpi.com/1999-5903/11/7/144/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jftint:v:11:y:2019:i:7:p:144-:d:245779

Access Statistics for this article

Future Internet is currently edited by Ms. Grace You

More articles in Future Internet from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().