loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Fabio Scippacercola 1 ; Roberto Pietrantuono 1 ; Stefano Russo 2 and András Zentai 3

Affiliations: 1 Università degli Studi di Napoli Federico II, Italy ; 2 Università Di Napoli Federico Ii, Italy ; 3 Prolan Process Control Co., Hungary

ISBN: 978-989-758-083-3

Keyword(s): Model-Driven Design, Model-Driven Testing, Model-Driven Architecture, Safety-critical systems.

Related Ontology Subjects/Areas/Topics: Applications and Software Development ; Languages, Tools and Architectures ; Model-Based Testing and Validation ; Model-Driven Architecture ; Model-Driven Software Development ; Software Engineering

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 testin g techniques into the company’s traditional V-model process. (More)

PDF ImageFull Text

Download
Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.92.193.89

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.