Towards a Framework for Modelling and Verification of Relay Interlocking Systems

Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

View graph of relations

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 languageEnglish
Title of host publicationFoundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems : 16th MontereyWorkshop 2010 Redmond,WA, USA, March 31 – April 2, 2010. Revised Selected Papers
PublisherSpringer
Publication date2011
Pages176-192
ISBN (print)978-3-642-21291-8
ISBN (electronic)978-3-642-21292-5
DOIs
StatePublished

Conference

ConferenceMonterey Workshop
Number16
CityRedmond, USA
Period01/01/10 → …
NameLecture Notes in Computer Science
Number6662
ISSN (Print)0302-9743
CitationsWeb of Science® Times Cited: No match on DOI
Download as:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word

ID: 5661824