Model-Driven Engineering of a Railway Interlocking System

Fabio Scippacercola, Roberto Pietrantuono, Stefano Russo, András Zentai

2015

Abstract

Model-Driven Engineering (MDE) promises to enhance system development by reducing development time, and increasing productivity and quality. MDE is gaining popularity in several industry sectors, and is attractive also for critical systems where they can reduce efforts and costs for verification and validation (V&V), and can ease certification. Incorporating model-driven techniques into a legacy well-proven development cycle is not simply a matter of placing models and transformations in the design and implementation phases. We present the experience in the model-driven design and V&V of a safety-critical system in the railway domain, namely the Prolan Block, a railway interlocking system manufactured by the Hungarian company Prolan Co., required to be CENELEC SIL-4 compliant. The experience has been carried out in an industrial- academic partnership within the EU project CECRIS. We discuss the challenges and the lessons learnt in this pilot project of introducing MD design and testing techniques into the company’s traditional V-model process.

Paper Citation

in Harvard Style

Scippacercola F., Pietrantuono R., Russo S. and Zentai A. (2015). Model-Driven Engineering of a Railway Interlocking System . In Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-083-3, pages 509-519. DOI: 10.5220/0005244805090519

in Bibtex Style

@conference{modelsward15,
author={Fabio Scippacercola and Roberto Pietrantuono and Stefano Russo and András Zentai},
title={Model-Driven Engineering of a Railway Interlocking System},
booktitle={Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2015},
pages={509-519},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005244805090519},
isbn={978-989-758-083-3},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Model-Driven Engineering of a Railway Interlocking System
SN - 978-989-758-083-3
AU - Scippacercola F.
AU - Pietrantuono R.
AU - Russo S.
AU - Zentai A.
PY - 2015
SP - 509
EP - 519
DO - 10.5220/0005244805090519