Brief Announcement: Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems - A Case Study

Abstract

Background and motivations. Algorithms for ensuring fault tolerance are key ingredients in many applications such as avionics and networking. There is an increasing demand to integrate (formal) validation in the design process of these algorithms as they are often part of safety critical systems. When validation fails, the designer would benefit from… (More)
DOI: 10.1007/978-3-642-15763-9_36

Topics

2 Figures and Tables

Cite this paper

@inproceedings{Alberti2010BriefAA, title={Brief Announcement: Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems - A Case Study}, author={Francesco Alberti and Silvio Ghilardi and Elena Pagani and Silvio Ranise and Gian Paolo Rossi}, booktitle={DISC}, year={2010} }