Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice

Abstract

Abstract. In this paper, we present an approach for fault-tolerant synthesis by combining predefined patterns for fault-tolerance with algorithmic game solving. A non-fault-tolerant system, together with the relevant fault hypothesis and faulttolerant mechanism templates in a pool are translated into a distributed game, and we perform an incomplete search of strategies to cope with undecidability. The result of the game is translated back to executable code concretizing fault-tolerant mechanisms using constraint solving. The overall approach is implemented to a prototype tool chain and is illustrated using examples.

Towards a Framework for Behavioral Specifications of OSGi Components

“…One checker has been implemented in plain Java. Additionally we have integrated a checker and synthesis tool presented in [12] for deciding compatibility, deadlock freedom and detecting conflicts in non-deterministic specifications at runtime and development time.…”

MGSyn: Automatic Synthesis for Industrial Automation

“…Several extensions to MGSyn are planned, including the handling of real-time properties and for incorporating basic fault-tolerance mechanisms. The injection of faults, in particular, may be modeled by moves of the Environment, and fault-tolerance patterns may be incorporated into the synthesis engine as suggested in [6]. Currently, we are in the process of extending the FESTO MPS demonstrator with capabilities for communicating with the work pieces to be manufactured, which may then (compare "Internet of things / Industrie 4.0"), determine how they should be processed by the processing plant.…”

Specification-centered robustness

“…[20], [5]) and approaches [27], [16] to retrofit fault tolerance to existing programs have been developed. Closely related to these works is the recent work by Girault and Rutten [22] and the work by Cheng et al [11]. Both provide a complete framework and tool to add fault-tolerant behavior to a given system based on fault and recovery models using controller synthesis [31].…”