首页> 外文OA文献 >Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design

【2h】

Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design

机译：将安全要求的自动验证集成到铁路联锁系统设计中

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Giovanni Dipoppa; Giovanni Dapos; Roberto Semprini; Enrico Tronci;
展开▼
作者单位

展开▼
年度 2001
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Automatic verification of safety interlock systems for industrial processes [J] . S. H. Yang, L. S. Tan, C. H. He Journal of loss prevention in the process industries . 2001,第5期

机译：自动验证工业过程中的安全互锁系统
2. Automatically Verifying Railway Interlockings using SAT-based Model Checking [J] . Phillip James, Markus Roggenbach Electronic Communications of the EASST . 2010,第1期

机译：使用基于SAT的模型检查自动验证铁路联锁
3. Automatic generation and verification of railway interlocking control tables using FSM and NuSMV [J] . Ahmad MIRABADI, Mohammad B. YAZDI Transport Problems: an International Scientific Journal: Problemy Transportu . 2009,第1期

机译：使用FSM和NuSMV自动生成和验证铁路联锁控制表
4. Integrating automatic verification of safety requirements in railway interlocking system design [C] . Dipoppa G., DAlessandro G., Semprini R., High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on . 2001

机译：将安全要求的自动验证集成到铁路联锁系统设计中
5. Extended Programming and Design: A Language and Toolset for Integrating Requirements, Architecture, Design and Implementation when Developing Complex Software Systems. [D] . Shrestha, Sanjeev. 2015

机译：扩展的编程和设计：一种语言和工具集，用于在开发复杂的软件系统时集成需求，体系结构，设计和实现。
6. Correction: Ye T.; et al. Automatic Railway Traffic Object Detection System Using Feature Fusion Refine Neural Network under Shunting Mode. Sensors 2018 18 1916 [O] . Tao Ye, Baocheng Wang, Ping Song, 2019

机译：校正：叶T。等。分流模式下基于特征融合细化神经网络的铁路交通自动检测系统。传感器2018181916
7. Automated verification of safety properties in railway interlocking systems defined with ladder logic [O] . Setzer Anton 2008

机译：使用梯形逻辑定义的铁路联锁系统中的安全属性的自动验证
8. ACIS Design Compliance with Principal Accelerator Safety Interlock Design Requirements [R] . Knott, M. 2004

机译：aCIs设计符合主要加速器安全联锁设计要求

Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design

著录项

引文网络

相似文献

相关主题

期刊订阅