• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Recent advances in manufacturing engineering >Rewrite Based Software Requirement Engineering for Signaling Systems Safety
【24h】

Rewrite Based Software Requirement Engineering for Signaling Systems Safety

机译：基于重写的信号系统安全软件需求工程

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

摘要

The objective of the paper is to propose a rewrite based software requirement engineering model focusing the safety specifications of a distributed signaling system. In safety critical applications, the fault tolerance features can be utilized in the requirement engineering to enhance the software safety through terms, rules and equation rewriting. A formal specification based approach is used to concentrate on the operations that govern the safety of software system from its initial state to the point it reaches the final safe and desired states. The requirements for railway signaling safety is elaborated by the notion of controlled failures that should not have any catastrophic consequences and the system should be fail-safe. The system is modelled to control the behaviour of distributed software components through safe operations to improve the error containment. The assertions for safety and correctness requirements are made by rewriting the needed terms and rules within the concurrent system thereby reducing the total system safety failure rate.
机译：本文的目的是提出一个基于重写的软件需求工程模型，重点是分布式信号系统的安全规范。在安全关键型应用程序中，可以在需求工程中使用容错功能，以通过术语，规则和方程式重写来增强软件安全性。基于正式规范的方法用于集中管理从软件软件的初始状态到达到最终安全性和所需状态的安全性。通过控制性故障的概念对铁路信号安全性的要求进行了详细说明，控制性故障不应造成任何灾难性后果，并且系统应具有故障保护功能。该系统被建模为通过安全操作来控制分布式软件组件的行为，以改善错误控制。通过在并发系统中重写所需的条款和规则来确定安全性和正确性要求，从而降低总体系统安全故障率。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号