Toggle Main Menu Toggle Search

Open Access padlockePrints

Modelling Hybrid Train Speed Controller using Proof and Refinement

Lookup NU author(s): Paulius Stankaitis, Dr Alexei Iliasov, Professor Alexander Romanovsky

Downloads


Licence

This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been published in its final definitive form by IEEE, 2019.

For re-use rights please refer to the publisher's terms and conditions.


Abstract

The modern radio-based railway signalling systems aim to increase network capacity by enabling trains to run closer to each other. At the core of such systems is train 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 aspects. Hybrid models are notoriously difficult to model and verify, in our research we address thisproblem by applying hybrid systems’ modelling patterns and stepwise refinement for developing hybrid train speed controller model.


Publication metadata

Author(s): Stankaitis P, Dupont G, Kumar Singh N, Ait-Ameur Y, Iliasov A, Romanovsky A

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS)

Year of Conference: 2019

Pages: 107-113

Online publication date: 28/10/2019

Acceptance date: 15/08/2019

Date deposited: 23/08/2019

ISSN: 9781728146461

Publisher: IEEE

URL: https://doi.org/10.1109/ICECCS.2019.00019

DOI: 10.1109/ICECCS.2019.00019

Library holdings: Search Newcastle University Library for this item

ISBN: 9781728146478


Actions

Link to this publication


Share