• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>IFAC PapersOnLine >Maintaining Safety Arguments via Automatic Allocation of Safety Requirements
【24h】

Maintaining Safety Arguments via Automatic Allocation of Safety Requirements

机译：通过自动分配安全需求来维护安全参数

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

摘要

Abstract: The ‘safety case’ documents the safety argument developers of safety-critical systems employ to convince of their systems’ safety, in compliance with safety standard regulation and advice. Despite the considerable body of knowledge that has evolved, constructing and maintaining a safety case remains a significant challenge. Especially for contemporary systems, due to their scale and complexity, safety cases can grow to require hundreds of pages of documentation. In this paper, we propose a method which aims to address these concerns. In numerous safety standards, such as the aerospace ARP4754-A, the concept of Development Assurance Levels (DALs) is used to control the safety assessment process and influence the safety case. Our method is based on automatically constructing a safety argument from an annotated system architecture model. To perform this construction, we employ previous work towards automatically allocating DALs to such a model and combining it with an appropriate safety argument pattern. The method is enabled through the state-of-the-art model-based dependability tool, HiP-HOPS. The advantage of this approach is that when the design changes, the impact of changes can be automatically reflected in the structure of a re-synthesised safety argument for the system.
机译：摘要：“安全案例”记录了安全关键系统开发人员为了遵守系统安全标准法规和建议而说服其系统安全的安全论点。尽管已经积累了大量的知识，但构造和维护安全案例仍然是一项重大挑战。特别是对于现代系统，由于其规模和复杂性，安全案例可能会增长，需要数百页的文档。在本文中，我们提出了一种旨在解决这些问题的方法。在许多安全标准中，例如航空ARP4754-A，使用开发保证级别（DAL）的概念来控制安全评估过程并影响安全情况。我们的方法基于从带注释的系统架构模型自动构造安全参数。为了执行此构造，我们采用了以前的工作来自动将DAL分配给这种模型，并将其与适当的安全参数模式组合。该方法通过基于模型的最新可靠性工具HiP-HOPS启用。这种方法的优点是，当设计更改时，更改的影响可以自动反映在系统的重新综合安全参数的结构中。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号