Wu, D.; Zheng, W.; Schnieder, E.:
Scenario-based Modelling and Model Checking of Train Control Systems with Coloured Petri Nets.
FORMS/FORMAT 2014 – 10th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Deutschland, September 2014.
This paper proposes a scenario-based modelling approach
using CPNs (Coloured Petri Nets) and conducts the ASK-CTL model
checking for the established CPN model with the CPN Tools in order
to achieve a consistent and correct model for further software implementation.
In this paper, we focus on the application of the proposed
approach in railway domain, i.e. train control systems. In particular,
the on-board subsystem of a satellite-based train control system (called
SatZB) is modelled.