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 |