Formal Safety Assessment via Contract-Based Design

Abstract

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

Topics

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} }