论文标题
基于模拟的高级可靠性模型的安全评估
Simulation-based Safety Assessment of High-level Reliability Models
论文作者
论文摘要
系统工程方法使用高级模型来捕获系统的体系结构和行为。但是，当安全工程师进行安全性和可靠性分析时，他们必须根据高级工程模型和环境/故障假设所描述的行为来创建正式模型，例如故障树。我们的方法没有创建低级分析模型，而是通过利用最近的概率编程和仿真进步的模拟功能来建立在安全分析中的工程模型。因此，它可以根据标准和最佳实践应用，以分析关键汽车系统，作为工业协作的一部分，同时利用工程师创建的高级框图和Statechart模型。我们证明了我们的方法在合作中改编自汽车系统的案例研究中的适用性。
Systems engineering approaches use high-level models to capture the architecture and behavior of the system. However, when safety engineers conduct safety and reliability analysis, they have to create formal models, such as fault-trees, according to the behavior described by the high-level engineering models and environmental/fault assumptions. Instead of creating low-level analysis models, our approach builds on engineering models in safety analysis by exploiting the simulation capabilities of recent probabilistic programming and simulation advancements. Thus, it could be applied in accordance with standards and best practices for the analysis of a critical automotive system as part of an industrial collaboration, while leveraging high-level block diagrams and statechart models created by engineers. We demonstrate the applicability of our approach in a case study adapted from the automotive system from the collaboration.
