• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Reliability Engineering & System Safety >Safety analysis of the height control system for the Elbtunnel
【24h】

Safety analysis of the height control system for the Elbtunnel

机译：Elbtunnel高度控制系统的安全性分析

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

摘要

A new tunnel tube crossing the river Elbe has been built in Hamburg until the end of 2002. Therefore, a new height control system was required. A computer examines the signals from light barriers and overhead sensors to detect vehicles, which try to drive into a tube with insufficient height. If necessary, it raises an alarm that blocks the road. This paper describes the application of two safety analysis techniques on this embedded system: model checking has been used to prove functional correctness with respect to a formal model. Fault tree analysis has validated the model and considered technical defects. Their combination uncovered a safety flaw, led to a precise requirement specification for the software, and showed various ways to improve system safety.
机译：到2002年底，汉堡已经建造了一条穿越易北河的新隧道管。因此，需要新的高度控制系统。计算机检查来自光栅和高架传感器的信号以检测车辆，这些车辆试图驶入高度不足的管子中。如有必要，它会发出警报，阻塞道路。本文介绍了两种安全分析技术在此嵌入式系统上的应用：模型检查已被用来证明形式模型的功能正确性。故障树分析已经验证了模型并考虑了技术缺陷。他们的结合揭示了一个安全缺陷，导致了对该软件的精确要求规格，并展示了各种提高系统安全性的方法。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号