Automatic Addition of Fault-Tolerance in Presence of Unchangeable Environment Actions <sup>†</sup>

Automatic Addition of Fault-Tolerance in Presence of Unchangeable Environment Actions <sup>†</sup>

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...

Full description

Bibliographic Details
Main Authors: Mohammad Roohitavaf, Sandeep Kulkarni
Format: Article
Language:English
Published: MDPI AG 2019-07-01
Series:Future Internet
Subjects:
stabilization
fault-tolerance
program synthesis
addition of fault-tolerance
model repair
cyber physical systems
Online Access:https://www.mdpi.com/1999-5903/11/7/144

Internet

https://www.mdpi.com/1999-5903/11/7/144

Similar Items