Validating Fault-tolerant Behaviors of Synchronous System Specifications by Discrete Controller Synthesis

@inproceedings{DumitrescuValidatingFB,
  title={Validating Fault-tolerant Behaviors of Synchronous System Specifications by Discrete Controller Synthesis},
  author={Emil Dumitrescu and Alain Girault and E. P. B. M. Rutten}
}
We demonstrate the utility of discrete controller synthesis to formally assess the fault-tolerance capabilities of a dependable system from the early design stages. We start with an executable specification in order to yield a new faulttolerant executable specification. Then, we obtain manually the final distributed implementation and we formally verify its conformity to the initial fault-tolerant specification. 
Highly Cited
This paper has 20 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 14 extracted citations

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…