[PDF][PDF] Formal Methods in Development and Testing of Safety-Critical Systems: Railway Interlocking System
P Štěpán, S Klapka - academia.edu
The contribution addresses the application of formal methods in functional specification,
design and verification of real-time software systems in safety-critical applications. We …
design and verification of real-time software systems in safety-critical applications. We …
[PDF][PDF] Formal Methods in Development and Testing of Safety-Critical Systems: Railway Interlocking System
The contribution addresses the application of formal methods in functional specification,
design and verification of real-time software systems in safety-critical applications. We …
design and verification of real-time software systems in safety-critical applications. We …
[PDF][PDF] AUTOMATIC GENERATION AND VERIFICATION OF INDIAN RAILWAY INTERLOCKING CONTROL TABLES
K SRIRAM - 2016 - modelchecking.github.io
Generating control tables for Interlocking system in Railways is a complex task. This is
generally done by the vendor, who manufactures the hardware for Indian Railways. These …
generally done by the vendor, who manufactures the hardware for Indian Railways. These …
[图书][B] RealSpec: An executable real-time specification language
AA Khwaja - 2009 - search.proquest.com
RealSpec is a declarative and executable specification language for the modeling of real-
time, concurrent, and control software systems. The design of the RealSpec specification …
time, concurrent, and control software systems. The design of the RealSpec specification …
[引用][C] Modelling and Analysing a PLC-Based Railway Traffic Control System
K Varpaaniemi - CS&P 2003 Workshop, Czarna k. Ustrzyk Dolnych …, 2003 - research.aalto.fi
Modelling and Analysing a PLC-Based Railway Traffic Control System — Aalto University's
research portal Skip to main navigation Skip to search Skip to main content Aalto University's …
research portal Skip to main navigation Skip to search Skip to main content Aalto University's …
[引用][C] Identifying conflicting routes in control table of indian railways interlocking system using NuSMV
K Sriram, S Sheerazuddin - International Journal of Computers and Applications, 2016