loading
Documents

Research.Publish.Connect.

Paper

Authors: Racem Bougacha 1 ; Abderrahim Ait Wakrime 1 ; Slim Kallel 2 ; Rahma Ben Ayed 1 and Simon Collart-Dutilleul 3

Affiliations: 1 Institut de Recherche Technologique Railenium, F-59300, Famars and France ; 2 ReDCAD, University of Sfax and Tunisia ; 3 Institut de Recherche Technologique Railenium, F-59300, Famars, France, IFSTTAR-Lille, 20 Rue Elisée Reclus BP 70317, 59666 Villeneuve d’Ascq Cedex and France

ISBN: 978-989-758-375-9

Keyword(s): Railway Signaling System, Model-Driven Engineering, Formal Methods, Verification, Model Checking.

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.

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 34.229.24.100

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:
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

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

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

Login or register to post comments.

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