• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Reliability Engineering & System Safety >Sequential application of heterogeneous models for the safety analysis of a control system: a case study
【24h】

Sequential application of heterogeneous models for the safety analysis of a control system: a case study

机译：异构模型在控制系统安全性分析中的顺序应用：案例研究

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

摘要

This paper shows how heterogeneous stochastic modelling techniques of increasing modelling power can be applied to assess the safety of a digital control system. First, a Fault-Tree (FT) has been built to model the system, assuming two-state components and independent failures. Then, the FT is automatically converted into a Bayesian Network, allowing to include more modelling details and localized dependencies. Finally, in order to accommodate repair activities and perform an availability analysis, the FT is converted into a Stochastic Petri Net (SPN). Moving from a combinatorial model (the FT) to a state space based model (the SPN) increases the modelling flexibility, but incurs into the state space explosion problem. In order to alleviate the state space explosion problem, this paper resorts to the use of a particular type of high level (coloured) Petri nets called SWN. A digital control system is considered as a case study, and safety measures have been evaluated, referring to the emergent standard IEC 61508.
机译：本文展示了如何提高建模能力的异构随机建模技术可用于评估数字控制系统的安全性。首先，已经建立了一个故障树（FT）来对系统进行建模，假设该组件具有两个状态的组件和独立的故障。然后，将FT自动转换为贝叶斯网络，从而允许包含更多的建模细节和局部依赖关系。最后，为了适应维修活动并进行可用性分析，将FT转换为随机Petri网（SPN）。从组合模型（FT）到基于状态空间的模型（SPN），可以提高建模的灵活性，但会引起状态空间爆炸问题。为了缓解状态空间爆炸问题，本文采用称为SWN的特定类型的高级（有色）Petri网的使用。数字控制系统被认为是一个案例研究，并且已经参照新兴标准IEC 61508对安全措施进行了评估。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号