Visualising Railway Safety Verification

Communications in Computer and Information Science - Formal Techniques for Safety-Critical Systems ◽

10.1007/978-3-030-46902-3_6 ◽

2020 ◽

pp. 95-105

Author(s):

Filippos Pantekis ◽

Phillip James ◽

Liam O’Reilly ◽

Daniel Archambault ◽

Faron Moller

Keyword(s):

Safety Verification ◽

Railway Safety

Download Full-text

The SafeCap Project on Railway Safety Verification and Capacity Simulation

Lecture Notes in Computer Science - Software Engineering for Resilient Systems ◽

10.1007/978-3-642-40894-6_10 ◽

2013 ◽

pp. 125-132 ◽

Cited By ~ 2

Author(s):

Alexei Iliasov ◽

Ilya Lopatkin ◽

Alexander Romanovsky

Keyword(s):

Safety Verification ◽

Railway Safety

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

New Human Factors Approach for Railway Safety

The Journal of the Institute of Electrical Engineers of Japan ◽

10.1541/ieejjournal.133.547 ◽

2013 ◽

Vol 133 (8) ◽

pp. 547-549

Author(s):

Keiji ABE

Keyword(s):

Human Factors ◽

Railway Safety

Download Full-text

A Reference Safety Case as the basis for railway safety management

IABSE Symposium Report ◽

10.2749/222137803796330347 ◽

2003 ◽

Vol 87 (1) ◽

pp. 29-34

Author(s):

Rob J. Houben

Keyword(s):

Safety Management ◽

Railway Safety ◽

Safety Case

Download Full-text

Exploring human factors and railway safety

10.1049/ic.2009.0078 ◽

2009 ◽

Author(s):

M. Carey

Keyword(s):

Human Factors ◽

Railway Safety

Download Full-text

Railway safety viewpoint

10.1049/ic:20010081 ◽

2001 ◽

Author(s):

B. Alston

Keyword(s):

Railway Safety

Download Full-text

Ivy: safety verification by interactive generalization

ACM SIGPLAN Notices ◽

10.1145/2980983.2908118 ◽

2016 ◽

Vol 51 (6) ◽

pp. 614-630 ◽

Cited By ~ 12

Author(s):

Oded Padon ◽

Kenneth L. McMillan ◽

Aurojit Panda ◽

Mooly Sagiv ◽

Sharon Shoham

Keyword(s):

Safety Verification

Download Full-text

Safety Verification of Piecewise-Deterministic Markov Processes

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control - HSCC '16 ◽

10.1145/2883817.2883836 ◽

2016 ◽

Cited By ~ 4

Author(s):

Rafael Wisniewski ◽

Christoffer Sloth ◽

Manuela Bujorianu ◽

Nir Piterman

Keyword(s):

Markov Processes ◽

Safety Verification ◽

Piecewise Deterministic Markov Processes

Download Full-text

Non-linear Analysis for Operational Safety Verification of Cyber Physical Systems

2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS) ◽

10.1109/icps48405.2020.9274758 ◽

2020 ◽

Author(s):

Ayan Banerjee ◽

Imane Lamrani ◽

Sandeep K.S. Gupta

Keyword(s):

Linear Analysis ◽

Cyber Physical Systems ◽

Safety Verification ◽

Physical Systems ◽

Operational Safety ◽

Non Linear

Download Full-text

Effect of railway safety education on the safety knowledge and behaviour intention of schoolchildren

Evaluation and Program Planning ◽

10.1016/j.evalprogplan.2015.11.006 ◽

2016 ◽

Vol 55 ◽

pp. 9-16 ◽

Cited By ~ 5

Author(s):

Anne Silla ◽

Veli-Pekka Kallberg

Keyword(s):

Safety Education ◽

Railway Safety ◽

Safety Knowledge

Download Full-text