Safety Analysis Using Petri Nets
IEEE Transactions on Software Engineering
`Driver-assist'—microprocessor technology to aid in the scheduling of trains
Computers in railway management
Towards modeling and evaluation of ETCS real-time communication and operation
Journal of Systems and Software - Special issue: Parallel and distributed real-time systems
Time Petri Nets Analysis with TINA
QEST '06 Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems
Using UML state machines and petri nets for the quantitative investigation of ETCS
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
Hi-index | 0.00 |
In today's train operations the driver may no longer be the primary guardian of the safety of the train, that function being taken over by various forms of Automatic Train Protection (ATP) systems. What is left for the driver is still an important safety supporting function which is their capacity to review the set of train control actions that they intend to apply, and match those with the current state of the train and current external conditions. And as many in the industry would know, ATP systems are not always perfect. In Automatic Train Operation (ATO), where the driver is to be replaced, this residual safety function must be automated also. Where this becomes particularly important is in long heavy-haul trains where the driver's experience and the undesirability of relying on the emergency braking capability provided by the ATP system is a much more significant issue. This paper focuses on the safety analysis of a train control supervisor for ATO using timed Petri nets as the modelling approach.