• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>IFAC PapersOnLine >Automating Allocation of Development Assurance Levels: an extension to HiP-HOPS
【24h】

Automating Allocation of Development Assurance Levels: an extension to HiP-HOPS

机译：自动分配开发保证级别：HiP-HOPS的扩展

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

摘要

Controlling the allocation of safety requirements across a system's architecture from the early stages of development is an aspiration embodied in numerous major safety standards. Manual approaches of applying this process in practice are ineffective due to the scale and complexity of modern electronic systems. In the work presented here, we aim to address this issue by presenting an extension to the dependability analysis and optimisation tool, HiP-HOPS, which allows automatic allocation of such requirements. We focus on aerospace requirements expressed as Development Assurance Levels (DALs); however, the proposed process and algorithms can be applied to other common forms of expression of safety requirements such as Safety Integrity Levels. We illustrate application to a model of an aircraft wheel braking system.
机译：从开发的早期阶段开始就控制整个系统体系结构中的安全要求的分配是许多主要安全标准所体现的愿望。由于现代电子系统的规模和复杂性，在实践中手动应用此过程的方法无效。在此处提出的工作中，我们旨在通过提供对可靠性分析和优化工具HiP-HOPS的扩展来解决此问题，该工具允许自动分配此类要求。我们专注于以发展保证水平（DAL）表示的航空航天要求;但是，所提出的过程和算法可以应用于安全要求表达的其他常见形式，例如安全完整性等级。我们说明了飞机制动系统模型的应用。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号