| 一种基于失效传播模型的危害定量分析方法 |
投稿时间：2018-11-13 修订日期：2018-11-13  点此下载全文 |
| 引用本文： |
| 摘要点击次数: 222 |
| 全文下载次数: 0 |
|
| 基金项目:国家自然科学基金资助项目(61502231, 61272083)；国家重点研发计划(2016YFB1000802) |
|
| 中文摘要:嵌入式实时系统越来越多地应用于交通、航空、核能等安全关键环境。尽管系统设计可能没有任何缺陷，但由于物理组件的磨损或环境的突变而导致的随机故障在运行时仍可能导致系统发生危险。危害分析基于故障树或故障传播模型，时间失效传播图(TFPG)是用于建模安全关键系统设计阶段中失效传播过程，该模型建模了失效模式、偏差以及危害之间的关系。考虑到失效发生的概率对危害发生的概率影响，本文扩展了TFPG模型，增加概率属性描述，以支持危害定量分析，并将该模型转换为确定随机Petri网(DSPN)，并通过工具TimeNET计算出危害发生的概率，实现基于失效传播模型的危害定量分析。最后，给出一个案例分析我们方法的可行性。 |
| 中文关键词:实时系统 失效传播 确定随机Petri网 定量分析 |
| |
| A Quantitative Hazard Analysis Method Based on Failure Propagation Model |
|
|
| Abstract:Embedded real-time system is increasingly used in safety-critical environments, such as transportation, aerospace, and nuclear system, et at. Although system design may not have any defects, random failures due to wear of physical components or sudden changes in the environment may cause system hazards during operation. State-of-the-art hazard analysis includes fault tree and failure propagation model. Timed Failure Propagation Graph (TFPG) is used to model the failure propagation process in the design phase of a safety-critical system, which includes failure propagation delay. In this paper, we propose a Probabilistic-TFPG (P-TFPG) model, which extend the TFPG model for supporting the quantitative analysis, to model the failure propagation process. Then, we transform the P-TFPG model into a Deterministic Stochastic Petri Net (DSPN) model in order to calculate the probability of the hazard by the tool TimeNET. Finally, a case is given to demonstrate the feasibility of the proposed approach. |
| keywords:safety-critical system failure propagation DSPN quantitative analysis |
| 查看全文 查看/发表评论 下载pdf阅读器 |
