|  |
| Title:
|
Towards a Framework for Modelling and Verification of Relay Interlocking Systems |
| Type:
|
Article in proceedingsArticle in proceedings |
| Participant(s):
|
Technical University of Denmark
Email:
|
| 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 validator for checking that DSL descriptions are statically well-formed, (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. The paper also touches upon how such aframework can be developed using the RAISE Formal Method. |
| Published:
|
part of: Modeling, Development and Verification of Adaptive Systems, pages: 101-111, 2010, Microsoft Research, Redmond, Washington, USA |
| File(s):
|
|
| Presented at:
|
16th Monterey Workshop : Modelling, Development and Verification of Adaptive Systems: the Grand Challenge for Robust Software, Microsoft Research, Redmond, WA, USA |
|
|