A Model-based Approach for the Modeling and the Verification of Railway Signaling System - Archive ouverte HAL
Communication Dans Un Congrès Année : 2019

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

Résumé

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.

Dates et versions

hal-04661915 , version 1 (25-07-2024)

Identifiants

Citer

Racem Bougacha, Abderrahim Ait Wakrime, Slim Kallel, Rahma Ben Ayed, Simon Collart-Dutilleul. A Model-based Approach for the Modeling and the Verification of Railway Signaling System. 14th International Conference on Evaluation of Novel Approaches to Software Engineering, May 2019, Heraklion, Greece. pp.367-376, ⟨10.5220/0007728403670376⟩. ⟨hal-04661915⟩
14 Consultations
0 Téléchargements

Altmetric

Partager

More