• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Reliability Engineering & System Safety >Verification of safety integrity level of high demand system based on Stochastic Petri Nets and Monte Carlo Simulation
【24h】

Verification of safety integrity level of high demand system based on Stochastic Petri Nets and Monte Carlo Simulation

机译：基于随机Petri网和蒙特卡洛模拟的高需求系统安全完整性等级验证

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The paper proposed an approach of verifying the Safety Integrity Level (SIL) for the high demand safety system. This approach is based on the Stochastic Petri Nets models and Monte Carlo simulation (SPN-MC) and follows the requirements of IEC61508, which is a commonly accepted standard in the domain of functional safety of programmable electronic and control engineering systems. The paper provides a comparative analysis of the SIL with the application of SPN-MC and the Reliability Block Diagram (RBD) method given by EN61508 to prove the correctness and feasibility of the SPN-MC approach. Additionally, a typical large scaled complex system was adopted to apply the novel approach, which is hard for classical analytical methods. (C) 2018 Elsevier Ltd. All rights reserved.
机译：本文提出了一种验证高要求安全系统的安全完整性等级（SIL）的方法。该方法基于随机Petri网模型和蒙特卡洛模拟（SPN-MC），并遵循IEC61508的要求，IEC61508是可编程电子和控制工程系统功能安全领域中公认的标准。本文通过SPN-MC的应用和EN61508给出的可靠性框图（RBD）方法对SIL进行了比较分析，以证明SPN-MC方法的正确性和可行性。另外，采用了典型的大型复杂系统来应用这种新颖的方法，这对于经典的分析方法来说是很难的。 （C）2018 Elsevier Ltd.保留所有权利。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号