Brief announcement: Automated support for the design and validation of fault tolerant parameterized systems - A case study

Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, Gian Paolo Rossi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 tracking the sequence of events that led to an incorrect state to recover the error. To productively integrate formal verification in the design phase, tools should be able to return such error traces. Fault tolerant algorithms are often parametric, which makes their automated verification a daunting task. Indeed, checking that an algorithm satisfies a certain property requires to prove it for any number of processes.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages392-394
Number of pages3
Volume6343 LNCS
DOIs
Publication statusPublished - 2010
Event24th International Symposium on Distributed Computing, DISC 2010 - Cambridge, MA, United States
Duration: Sep 13 2010Sep 15 2010

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6343 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other24th International Symposium on Distributed Computing, DISC 2010
CountryUnited States
CityCambridge, MA
Period9/13/109/15/10

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Fingerprint Dive into the research topics of 'Brief announcement: Automated support for the design and validation of fault tolerant parameterized systems - A case study'. Together they form a unique fingerprint.

  • Cite this

    Alberti, F., Ghilardi, S., Pagani, E., Ranise, S., & Rossi, G. P. (2010). Brief announcement: Automated support for the design and validation of fault tolerant parameterized systems - A case study. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6343 LNCS, pp. 392-394). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6343 LNCS). https://doi.org/10.1007/978-3-642-15763-9_36