Safety critical systems—namely systems on which human lives depend—have to remain functional not only in nominal conditions, that is, when everything works as expected, but also when some of their components do not behave as expected. The methodologies, activities, and techniques to tackle this engineering challenge go under the name of safety analysis. This entry is an introduction to the development of safety critical systems with emphasis on some emerging techniques to support automated analysis and verification of complex systems.

Safety Critical Systems

Bozzano, Marco;Villafiorita Monteleone, Adolfo
2013

Abstract

Safety critical systems—namely systems on which human lives depend—have to remain functional not only in nominal conditions, that is, when everything works as expected, but also when some of their components do not behave as expected. The methodologies, activities, and techniques to tackle this engineering challenge go under the name of safety analysis. This entry is an introduction to the development of safety critical systems with emphasis on some emerging techniques to support automated analysis and verification of complex systems.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11582/99803
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
social impact