Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-27008-7_1 ◽

2019 ◽

pp. 1-21 ◽

Author(s):

Davide Basile ◽

Maurice H. ter Beek ◽

Alessio Ferrari ◽

Axel Legay

Keyword(s):

Railway Signalling

Download Full-text

A Petri-Net Based Representation of Automated Railway Signalling System with Collision Avoidance

International Journal of Computer Sciences and Engineering ◽

10.26438/ijcse/v5i12.290295 ◽

2017 ◽

Vol 5 (12) ◽

pp. 290-295

Author(s):

R. Barik ◽

◽

◽

◽

◽

...

Keyword(s):

Collision Avoidance ◽

Petri Net ◽

Signalling System ◽

Railway Signalling

Download Full-text

Specification for terminals for electrical apparatus for railway signalling purposes

10.3403/00021108u ◽

2015 ◽

Keyword(s):

Railway Signalling ◽

Electrical Apparatus

Download Full-text

Specification. Cartridge fuse-links for use in railway-signalling circuits

10.3403/00000730u ◽

2015 ◽

Keyword(s):

Railway Signalling

Download Full-text

Terminals for electrical apparatus for railway signalling purposes

10.3403/30305569 ◽

1932 ◽

Keyword(s):

Railway Signalling ◽

Electrical Apparatus

Download Full-text

Specification for electric lamps for railway signalling

10.3403/30305596 ◽

1939 ◽

Keyword(s):

Railway Signalling

Download Full-text

Railway signalling symbols wiring symbols and written circuits

10.3403/30305451 ◽

1933 ◽

Keyword(s):

Railway Signalling

Download Full-text

Railway signalling symbols schematic symbols

10.3403/30305449 ◽

1937 ◽

Keyword(s):

Railway Signalling

Download Full-text

Railway signalling symbols

10.3403/bs376 ◽

2015 ◽

Keyword(s):

Railway Signalling

Download Full-text

Keynote address: Changing demands [railway signalling power supplies]

IET Seminar on Power Distribution for Signalling Systems ◽

10.1049/ic:20070001 ◽

2007 ◽

Author(s):

C. Hunt

Keyword(s):

Power Supplies ◽

Keynote Address ◽

Railway Signalling

Download Full-text

Formal Analysis of Railway Signalling Data

2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) ◽

10.1109/hase.2016.44 ◽

2016 ◽

Author(s):

Alexei Iliasov ◽

Alexander Romanovsky

Keyword(s):

Formal Analysis ◽

Railway Signalling

Download Full-text