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.



Titolo: Safety Critical Systems
Autori: 
Bozzano, Marco
Villafiorita Monteleone, Adolfo
Data di pubblicazione: 2013
Handle: http://hdl.handle.net/11582/99803
ISBN: 9781420059786
Appare nelle tipologie:2.4 Voce (in dizionario o enciclopedia)

File in questo prodotto:
Non ci sono file associati a questo prodotto.
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11582/99803
  • Citazioni
  • ND

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
 
 
 
Powered by IRIS-about IRIS-Utilizzo dei cookie
Logo CINECA  Copyright © 2020