Formal verification of safety protocol in train control system

DOI10.1007/S11431-011-4562-2zbMATH Open1420.68139OpenAlexW2110481971MaRDI QIDQ2321189FDOQ2321189

Authors: Yan Zhang, Tao Tang, Ke-Ping Li, Jose Manuel Mera, Lin Zhao, L. Zhu, Tianhua Xu 

Publication date: 28 August 2019

Published in: Science China. Technological Sciences (Search for Journal in Brave)

Full work available at URL: http://oa.upm.es/12332/

Recommendations

• A formal approach for the construction and verification of railway control systems
• Formal verification of a railway interlocking system using model checking
• Verifying RTECTL properties of a train controller systems
• Automatic verification of safety rules for a subway control software

zbMATH Keywords

verificationinterface automatasafety communication protocoltrain control system

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems involving computers (process control, etc.) (93C83)

Cites Work

• Synchronous and Bidirectional Component Interfaces
• Title not available (Why is that?)
• Dependability analysis of the data communication system in train control system
• Extending UML sequence diagrams to model trust-dependent behavior with the aim to support risk analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Uses Software

• SPIN
• vUML

This page was built for publication: Formal verification of safety protocol in train control system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2321189)