Automatic generation and verification of railway interlocking control tables using FSM and NuSMV
Due to their important role in providing safe conditions for train movements, railway interlocking systems are considered as safety critical systems. The reliability, safety and integrity of these systems, relies on reliability and integrity of all stages in their lifecycle including the design, ver...
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
Silesian University of Technology
2009-01-01
|
Series: | Transport Problems |
Subjects: | |
Online Access: | http://www.transportproblems.polsl.pl/pl/Archiwum/2009/zeszyt1/2009t4z1_13.pdf |