Modelling Hybrid Train Speed Controller using Proof and Refinement - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Modelling Hybrid Train Speed Controller using Proof and Refinement

Modélisation hybride d'un contrôleur de vitesse ferroviaire à l'aide de la preuve et du raffinement

Résumé

The modern radio-based railway signalling systems aim to increase network's capacity by enabling trains to run closer to each other. At the core of such systems is train's on-board computer (discrete) responsible for computing and controlling the speed (continuous) of the train. Such systems are best captured by hybrid models, which capture discrete and continuous system's aspects. Hybrid models are notoriously difficult to model and verify, in our research we address this problem by applying hybrid systems' modelling patterns and stepwise refinement for developing hybrid train speed controller model.

Dates et versions

hal-03265768 , version 1 (21-06-2021)

Identifiants

Citer

Paulius Stankaitis, Guillaume Dupont, Neeraj Kumar Singh, Yamine Aït-Ameur, Alexei Iliasov, et al.. Modelling Hybrid Train Speed Controller using Proof and Refinement. 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019), Nov 2019, Guangzhou, China. pp.107-113, ⟨10.1109/ICECCS.2019.00019⟩. ⟨hal-03265768⟩
30 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More