首页> 外文期刊>Reliability Engineering & System Safety >A framework to integrate software behavior into dynamic probabilistic risk assessment
【24h】

A framework to integrate software behavior into dynamic probabilistic risk assessment

机译:一个将软件行为集成到动态概率风险评估中的框架

获取原文
获取原文并翻译 | 示例
           

摘要

Software plays an increasingly important role in modern safety-critical systems. Although, research has been done to integrate software into the classical probabilistic risk assessment (PRA) framework, current PRA practice overwhelmingly neglects the contribution of software to system risk. Dynamic probabilistic risk assessment (DPRA) is considered to be the next generation of PRA techniques. DPRA is a set of methods and techniques in which simulation models that represent the behavior of the elements of a system are exercised in order to identify risks and vulnerabilities of the system. The fact remains, however, that modeling software for use in the DPRA framework is also quite complex and very little has been done to address the question directly and comprehensively. This paper develops a methodology to integrate software contributions in the DPRA environment. The framework includes a software representation, and an approach to incorporate the software representation into the DPRA environment SimPRA. The software representation is based on multi-level objects and the paper also proposes a framework to simulate the multi-level objects in the simulation-based DPRA environment. This is a new methodology to address the state explosion problem in the DPRA environment. This study is the first systematic effort to integrate software risk contributions into DPRA environments.
机译:软件在现代安全关键型系统中扮演着越来越重要的角色。尽管已经进行了将软件集成到经典概率风险评估(PRA)框架中的研究,但当前的PRA实践绝大多数都忽略了软件对系统风险的贡献。动态概率风险评估(DPRA)被认为是PRA技术的下一代。 DPRA是一组方法和技术,其中使用表示系统要素行为的仿真模型来识别系统的风险和漏洞。但是,事实仍然存在,用于DPRA框架的建模软件也非常复杂,并且几乎没有做过直接而全面地解决该问题的事情。本文提出了一种在DPRA环境中集成软件贡献的方法。该框架包括软件表示,以及将软件表示合并到DPRA环境SimPRA中的方法。软件表示基于多级对象,并且本文还提出了在基于仿真的DPRA环境中仿真多级对象的框架。这是解决DPRA环境中状态爆炸问题的新方法。这项研究是将软件风险贡献集成到DPRA环境中的第一项系统性工作。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号