Simulation relations for fault-tolerance
We present a formal characterization of fault-tolerant behaviors of computing systems via
simulation relations. This formalization makes use of variations of standard simulation …
simulation relations. This formalization makes use of variations of standard simulation …
Synthesizing masking fault-tolerant systems from deontic specifications
In this paper, we study the problem of synthesizing fault-tolerant components from
specifications, ie, the problem of automatically constructing a fault-tolerant component …
specifications, ie, the problem of automatically constructing a fault-tolerant component …
syntmaskft: A tool for synthesizing masking fault-tolerant programs from deontic specifications
In this paper we introduce syntMaskFT, a tool that synthesizes fault-tolerant programs from
specifications written in a fragment of branching time logic with deontic operators, designed …
specifications written in a fragment of branching time logic with deontic operators, designed …
Synthesizing fault-tolerant programs from deontic logic specifications
R Demasi - 2013 28th IEEE/ACM International Conference on …, 2013 - ieeexplore.ieee.org
We study the problem of synthesizing fault-tolerant components from specifications, ie, the
problem of automatically constructing a fault-tolerant component implementation from a …
problem of automatically constructing a fault-tolerant component implementation from a …