Formal Safety Assessment via Contract-Based Design


Safety Assessment (SA) is an engineering discipline aiming at the analysis of systems under faults. According to industrial practice and standards, SA is based on the construction of complex artifacts such as Fault Trees, which describe how certain faults may cause some top-level events. SA is intended to mirror the hierarchical design of the system… (More)
DOI: 10.1007/978-3-319-11936-6_7


6 Figures and Tables

Cite this paper

@inproceedings{Bozzano2014FormalSA, title={Formal Safety Assessment via Contract-Based Design}, author={Marco Bozzano and Alessandro Cimatti and Cristian Mattarei and Stefano Tonetta}, booktitle={ATVA}, year={2014} }