Abstract
| 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 |
Cite this
}
Towards a Framework for Modelling and Verification of Relay Interlocking Systems. / Haxthausen, Anne Elisabeth.
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. Springer, 2011. p. 176-192 (Lecture Notes in Computer Science; No. 6662).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
TY - GEN
T1 - Towards a Framework for Modelling and Verification of Relay Interlocking Systems
AU - Haxthausen, Anne Elisabeth
PY - 2011
Y1 - 2011
N2 - 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.
AB - 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.
U2 - 10.1007/978-3-642-21292-5
DO - 10.1007/978-3-642-21292-5
M3 - Article in proceedings
SN - 978-3-642-21291-8
SP - 176
EP - 192
BT - Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems
PB - Springer
ER -