A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded Systems

TL;DR

This paper introduces a novel game-theoretic method for synthesizing fault-tolerant embedded systems by translating system and fault models into games, enabling automated generation of fault-tolerance mechanisms.

Contribution

It combines predefined fault-tolerance patterns with game solving techniques to automatically synthesize fault-tolerant systems from non-fault-tolerant models.

Findings

Prototype tool successfully synthesizes fault-tolerant mechanisms.

Approach handles undecidability via incomplete search.

Method verified with illustrative examples.

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