Model-based generation of interlocking controller software from control tables

Chevillat, Cedric, Carrington, David, Strooper, Paul, Süß, Jörn Guy and Wildman, Luke (2008). Model-based generation of interlocking controller software from control tables. In: Ina Schieferdecker and Alan Hartman, Model Driven Architecture – Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings. 4th European Conference on Model Driven Architecture - Foundation and applications, ECMDA-FA 2008, Berlin, Germany, (349-360). 9-13 June 2007. doi:10.1007/978-3-540-69100-6_24


Author Chevillat, Cedric
Carrington, David
Strooper, Paul
Süß, Jörn Guy
Wildman, Luke
Title of paper Model-based generation of interlocking controller software from control tables
Conference name 4th European Conference on Model Driven Architecture - Foundation and applications, ECMDA-FA 2008
Conference location Berlin, Germany
Conference dates 9-13 June 2007
Proceedings title Model Driven Architecture – Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings   Check publisher's open access policy
Journal name Lecture Notes in Computer Science   Check publisher's open access policy
Place of Publication Berlin, Germany
Publisher Springer
Publication Year 2008
Year available 2008
Sub-type Fully published paper
DOI 10.1007/978-3-540-69100-6_24
Open Access Status
ISBN 9783540690955; 540690956
ISSN 0302-9743
1611-3349
Editor Ina Schieferdecker
Alan Hartman
Volume 5095
Start page 349
End page 360
Total pages 12
Language eng
Abstract/Summary Railroad interlocking software drives specialised micro-devices, known as interlocking controllers. These controllers primarily actuate railroad points and change signal aspects in real-time, based on sensor and timer input. Due to their central function in railroad control, interlocking controllers and their firmware are safety-critical. The firmware programs, which mimic physical relays, are written in variants of domain-specific programming languages based on ladder logic. The programs have to comply with a more abstract specification of allowable states of sections of railroad track and equipment, known as a control table. The translation of a track layout and associated control tables into ladder logic-based code is manual, and hence subject to costly review and rework cycles. In this report, we describe a case study that uses a model-driven tool-chain as an automated alternative to the existing process. The two domain languages, control table and ladder logic, were modelled and transformations were implemented between the two models, and from model to program text. We report on implementation challenges, and describe the outlook and scalability of the approach in this application domain.
Subjects E1
080309 Software Engineering
890299 Computer Software and Services not elsewhere classified
Keyword Computer Science, Hardware & Architecture
Computer Science, Theory & Methods
Computer Science
Q-Index Code E1
Q-Index Status Confirmed Code
Institutional Status UQ

 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 3 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 4 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Fri, 17 Apr 2009, 22:23:13 EST by Donna Clark on behalf of School of Information Technol and Elec Engineering