The xSAP Safety Analysis Platform
| Autor: | Marco Bozzano, Alberto Griggio, Andrea Micheli, Cristian Mattarei, Gianni Zampedri, Alessandro Cimatti, Roberto Cavada, Benjamin Bittner, Marco Gario |
|---|---|
| Rok vydání: | 2016 |
| Předmět: |
Fault tree analysis
Engineering business.industry Probabilistic logic 020207 software engineering 02 engineering and technology Extension (predicate logic) Fault (power engineering) Reliability engineering Common cause and special cause Safety engineering 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Joint (building) business Failure mode and effects analysis |
| Zdroj: | Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783662496732 TACAS |
| DOI: | 10.1007/978-3-662-49674-9_31 |
| Popis: | This paper describes the xSAP safety analysis platform. xSAP 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. xSAP 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|