Formal verification of safety protocol in train control system

DOI10.1007/S11431-011-4562-2zbMath1420.68139OpenAlexW2110481971MaRDI QIDQ2321189

Yan Zhang, Jose Manuel Mera, Lin Zhao, Tao Tang, Keping Li, 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/

zbMATH Keywords

verificationinterface automatasafety communication protocoltrain control system

Mathematics Subject Classification ID

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

Uses Software

• SPIN
• vUML

Cites Work

• 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
• Synchronous and Bidirectional Component Interfaces
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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