• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International conference on probabilistic safety assessment and management >Safety, Danger and catastrophe inevitability in operation of safety-critical software algorithms: a possible new look at software safety analysis
【24h】

Safety, Danger and catastrophe inevitability in operation of safety-critical software algorithms: a possible new look at software safety analysis

机译：安全关键软件算法运行的安全，危险和灾难性不可避免性：可能的新看软件安全分析

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The paper provides basic definitions and describes the basic procedure of the Formal Qualitative Safety Analysis (FQSA) of critical software algorithms. The procedure is described by C-based pseudo-code. It uses the notion of weakest precondition and representation of a given critical algorithm by a Gurevich's Abstract State Mashine (GASM). For a given GASM and a given Catastrophe Condition the procedure results in a Catastrophe Inevitability Condition (it means that every sequence of algorithm steps lead to a catastrophe early or late), Danger Condition (it means that next step may lead to a catastrophe or make a catastrophe to be inevitable, but a catastrophe may be prevented yet), Safety Condition (it means that a next step can not lead to a catastrophe or make a catastrophe to be inevitable). The using of proposed procedure is illustrated by a simplest test example of algorithm. The FQSA provides a logical basis for PSA of critical algorithm.
机译：本文提供了基本定义，并描述了关键软件算法正式定性安全分析（FQSA）的基本程序。该过程由基于C的伪代码描述。它使用Gurevich的抽象状态Mashine（Gasm）使用最弱的前提和给定的关键算法的概念。对于给定的汽油和给定的灾难条件，程序导致灾难不可避免的情况（这意味着每种算法步骤都会提前或晚期导致灾难性（这意味着下一步可能导致灾难或制造灾难是不可避免的，但尚未防止灾难），安全条件（这意味着下一步不能导致灾难或灾难是不可避免的）。通过最简单的算法的测试示例说明了所提出的过程的使用。 FQSA为关键算法的PSA提供了逻辑基础。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号