Conference paper
Model Checking Geographically Distributed Interlocking Systems Using UMC
The current trend of distributing computations over a network is here, as a novelty, applied to a safety critical system, namely a railway interlocking system. We show how the challenge of guaranteeing safety of the distributed application has been attacked by formally specifying and model checking the relevant distributed protocols.
By doing that we obey the safety guidelines of the railway signalling domain, that require formal methods to support the certification of such products. We also show how formal modelling can help designing alternative distributed solutions, while maintaining adherence to safety constraints
Language: | English |
---|---|
Publisher: | IEEE |
Year: | 2017 |
Pages: | 278-286 |
Proceedings: | 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing |
ISBN: | 1509060588 , 1509060596 , 9781509060580 and 9781509060597 |
ISSN: | 23775750 and 10666192 |
Types: | Conference paper |
DOI: | 10.1109/PDP.2017.66 |
ORCIDs: | Haxthausen, Anne Elisabeth |