Conference paper
Towards a Framework for Modelling and Verification of Relay Interlocking Systems
In
Lecture Notes in Computer Science
—
2011, pp. 176-192
Abstract
This paper describes a framework currently under development for modelling, simulation, and verification of relay interlocking systems as used by the Danish railways. The framework is centred around a domain-specific language (DSL) for describing such systems, and provides (1) a graphical editor for creating DSL descriptions, (2) a data validator for checking that DSL descriptions follow the structural rules of the domain, (3) a graphical simulator for simulating the dynamic behaviour of relay interlocking systems, and (4) verification support for deriving and verifying safety properties of relay interlocking systems.
| Language: | English |
|---|---|
| Publisher: | Springer |
| Year: | 2011 |
| Pages: | 176-192 |
| Proceedings: | Monterey Workshop |
| Series: | Lecture Notes in Computer Science |
| Journal subtitle: | 16th Montereyworkshop 2010 Redmond,wa, Usa, March 31 – April 2, 2010. Revised Selected Papers |
| ISBN: | 3642212913 , 3642212921 , 9783642212918 and 9783642212925 |
| ISSN: | 03029743 |
| Types: | Conference paper |
| DOI: | 10.1007/978-3-642-21292-5 |
| ORCIDs: | Haxthausen, Anne Elisabeth |
