Safety Verification of Modern Railway Signalling with the SafeCap Platform

2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) ◽

10.1109/issrew.2017.66 ◽

2017 ◽

Author(s):

Paulius Stankaitis ◽

Alexei Iliasov

Keyword(s):

Safety Verification ◽

Railway Signalling

Download Full-text

Integrating Knowledge-Based and Mathematical Programming Approaches for Process Safety Verification

Computers & Chemical Engineering ◽

10.1016/s0098-1354(97)00164-6 ◽

1997 ◽

Vol 21 (1-2) ◽

pp. S905-S910

Author(s):

R Srinivasan

Keyword(s):

Mathematical Programming ◽

Process Safety ◽

Safety Verification ◽

Knowledge Based

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