A Model-based Approach for the Modeling and the Verification of Railway Signaling System

Racem Bougacha, Abderrahim Ait Wakrime, Slim Kallel, Rahma Ben Ayed, Simon Collart-Dutilleul

2019

Abstract

Railway Signaling System aims at resolving interoperability problems of railway signaling and train control/command. An European system is taken place to guarantee interoperability between international borders. Such complex systems require a high-level of safety. We propose an approach for modeling and verifying railway signaling systems. Our approach consists of graphical modeling such systems and automatically generating formal specification in Event-B. It is based on model-driven engineering techniques. We propose model-to-model transformation to generate Event-B model from UML class diagram profiled with safety and railways concepts. A textual Event-B code is also automatically generated using model-to-text transformation. The proposed approach allows to formally verify the safety of railway signaling systems based on model checking and animator tool.

Paper Citation

in Harvard Style

Bougacha R., Ait Wakrime A., Kallel S., Ben Ayed R. and Collart-Dutilleul S. (2019). A Model-based Approach for the Modeling and the Verification of Railway Signaling System.In Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-375-9, pages 367-376. DOI: 10.5220/0007728403670376

in Bibtex Style

@conference{enase19,
author={Racem Bougacha and Abderrahim Ait Wakrime and Slim Kallel and Rahma Ben Ayed and Simon Collart-Dutilleul},
title={A Model-based Approach for the Modeling and the Verification of Railway Signaling System},
booktitle={Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2019},
pages={367-376},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007728403670376},
isbn={978-989-758-375-9},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - A Model-based Approach for the Modeling and the Verification of Railway Signaling System
SN - 978-989-758-375-9
AU - Bougacha R.
AU - Ait Wakrime A.
AU - Kallel S.
AU - Ben Ayed R.
AU - Collart-Dutilleul S.
PY - 2019
SP - 367
EP - 376
DO - 10.5220/0007728403670376