The xSAP Safety Analysis Platform

  • Benjamin Bittner
  • Marco Bozzano
  • Roberto Cavada
  • Alessandro Cimatti
  • Marco Gario
  • Alberto Griggio
  • Cristian Mattarei
  • Andrea Micheli
  • Gianni Zampedri
Conference paper

DOI: 10.1007/978-3-662-49674-9_31

Volume 9636 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Bittner B. et al. (2016) The xSAP Safety Analysis Platform. In: Chechik M., Raskin JF. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2016. Lecture Notes in Computer Science, vol 9636. Springer, Berlin, Heidelberg

Abstract

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.

Copyright information

© Springer-Verlag Berlin Heidelberg 2016

Authors and Affiliations

  • Benjamin Bittner
    • 1
  • Marco Bozzano
    • 1
  • Roberto Cavada
    • 1
  • Alessandro Cimatti
    • 1
  • Marco Gario
    • 1
  • Alberto Griggio
    • 1
  • Cristian Mattarei
    • 1
  • Andrea Micheli
    • 1
  • Gianni Zampedri
    • 1
  1. 1.Fondazione Bruno KesslerTrentoItaly