This paper describes the X SAP safety analysis platform. X SAP provides several model-based safety analysis features for finite- and infinite-state synchronous transition systems. In particular, it supports library-based definition of fault modes, an automatic model extension facility, generation of safety analysis artifacts such as Dynamic Fault Trees and Failure Mode and Effects Analysis tables. Moreover, it supports probabilistic evaluation of Fault Trees, failure propagation analysis using Timed Failure Propagation Graphs, and Common Cause Analysis. X SAP has been used in several industrial projects as verification back-end, and is currently being evaluated in a joint R&D Project involving FBK and The Boeing Company.
The xSAP Safety Analysis Platform / Bittner, Benjamin; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Griggio, Alberto; Mattarei, Cristian; Micheli, Andrea; Zampedri, Gianni. - 9636:(2016), pp. 533-539. ((Intervento presentato al convegno Tools and Algorithms for the Construction and Analysis of Systems tenutosi a Eindhoven, The Netherlands nel 2-8 aprile 2016 [10.1007/978-3-662-49674-9_31].
Scheda prodotto non validato
I dati visualizzati non sono stati ancora sottoposti a validazione formale da parte dello Staff di IRIS, ma sono stati ugualmente trasmessi al Sito Docente Cineca (Loginmiur).
Titolo: | The xSAP Safety Analysis Platform | |
Autori: | Bittner, Benjamin; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Griggio, Alberto; Mattarei, Cristian; Micheli, Andrea; Zampedri, Gianni | |
Autori Unitn: | ||
Titolo del volume contenente il saggio: | Tools and Algorithms for the Construction and Analysis of Systems | |
Luogo di edizione: | Berlin, Heidelberg | |
Casa editrice: | Springer | |
Anno di pubblicazione: | 2016 | |
Codice identificativo Scopus: | 2-s2.0-84964034377 | |
ISBN: | 978-3-662-49673-2 | |
Handle: | http://hdl.handle.net/11572/342991 | |
Citazione: | The xSAP Safety Analysis Platform / Bittner, Benjamin; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Griggio, Alberto; Mattarei, Cristian; Micheli, Andrea; Zampedri, Gianni. - 9636:(2016), pp. 533-539. ((Intervento presentato al convegno Tools and Algorithms for the Construction and Analysis of Systems tenutosi a Eindhoven, The Netherlands nel 2-8 aprile 2016 [10.1007/978-3-662-49674-9_31]. | |
Appare nelle tipologie: | 04.1 Saggio in atti di convegno (Paper in proceedings) |