xSAP安全分析平台
The xSAP Safety Analysis Platform
摘要：
本文介绍了xSAP安全分析平台。xSAP为有限和无限状态同步转换系统提供了几个基于模型的安全分析功能。特别是，它支持基于库的故障模式定义，自动模型扩展功能，生成安全分析工件，如动态故障树（DFT）和故障模式与影响分析（FMEA）表。此外，它还支持故障树的概率评估，使用定时故障传播图（TFPG）进行故障传播分析，以及常见原因分析（CCA）。xSAP已在多个工业项目中用作验证后端，目前正在FBK和波音公司的联合研发项目中进行评估。
英文摘要：
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 (DFTs) and Failure Mode and Effects Analysis (FMEA) tables. Moreover, it supports probabilistic evaluation of Fault Trees, failure propagation analysis using Timed Failure Propagation Graphs (TFPGs), and Common Cause Analysis (CCA). 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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
