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.
| Original language | English |
|---|---|
| Title of host publication | Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems : 16th MontereyWorkshop 2010 Redmond,WA, USA, March 31 – April 2, 2010. Revised Selected Papers |
| Publisher | Springer |
| Publication date | 2011 |
| Pages | 176-192 |
| ISBN (Print) | 978-3-642-21291-8 |
| ISBN (Electronic) | 978-3-642-21292-5 |
| DOIs | |
| Publication status | Published - 2011 |
| Event | Monterey Workshop - Redmond, USA Duration: 1 Jan 2010 → … Conference number: 16 |
Conference
| Conference | Monterey Workshop |
|---|---|
| Number | 16 |
| City | Redmond, USA |
| Period | 01/01/2010 → … |
| Series | Lecture Notes in Computer Science |
|---|---|
| Number | 6662 |
| ISSN | 0302-9743 |