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

137 Providing of a railway signalling system incorporating geographic data

Control Engineering Practice ◽

10.1016/0967-0661(93)91768-r ◽

1993 ◽

Vol 1 (2) ◽

pp. 399

Keyword(s):

Signalling System ◽

Geographic Data ◽

Railway Signalling

Download Full-text

Modelling and Validating a multiple-configuration railway signalling system using SDL

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(04)81026-0 ◽

2003 ◽

Vol 82 (6) ◽

pp. 66-76 ◽

Author(s):

Alessandro Fantechi ◽

Emilio Spinicci

Keyword(s):

Signalling System ◽

Railway Signalling ◽

Multiple Configuration

Download Full-text

Epistemic parametric uncertainties in availability assessment of a Railway Signalling System using Monte Carlo simulation

Safety, Reliability and Risk Analysis ◽

10.1201/b15938-451 ◽

2013 ◽

pp. 3003-3011 ◽

Author(s):

S Qiu ◽

M Sallak ◽

W Schön ◽

Z Cherfi-Boulanger

Keyword(s):

Monte Carlo Simulation ◽

Monte Carlo ◽

Parametric Uncertainties ◽

Signalling System ◽

Railway Signalling ◽

Availability Assessment

Download Full-text

Some Specific Activities at the Railway Signalling System Development

Telematics in the Transport Environment - Communications in Computer and Information Science ◽

10.1007/978-3-642-34050-5_39 ◽

2012 ◽

pp. 349-355 ◽

Author(s):

Karol Rástočný ◽

Juraj Ždánsky ◽

Peter Nagy

Keyword(s):

System Development ◽

Signalling System ◽

Specific Activities ◽

Railway Signalling

Download Full-text

The Viability of TETRA for ETCS Railway Signalling System

Lecture Notes in Computer Science - Communication Technologies for Vehicles ◽

10.1007/978-3-319-38921-9_3 ◽

2016 ◽

pp. 15-26

Author(s):

Amanda Esteban ◽

Sonia Solanas

Keyword(s):

Signalling System ◽

Railway Signalling

Download Full-text

SACEM—A Railway Signalling System

Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems ◽

10.1016/b978-0-8155-1362-9.50021-4 ◽

1995 ◽

pp. 181-198

Author(s):

Dan Craigen ◽

Susan Gerhart ◽

Ted Ralston

Keyword(s):

Signalling System ◽

Railway Signalling

Download Full-text

SOFTWARE VALIDATION FOR A RAILWAY SIGNALLING SYSTEM

Safety of Computer Control Systems 1983 (Safecomp '83) ◽

10.1016/b978-0-08-030563-9.50029-9 ◽

1983 ◽

pp. 183-193 ◽

Author(s):

R.C. Short

Keyword(s):

Software Validation ◽

Signalling System ◽

Railway Signalling

Download Full-text

Reliability and safety analysis of fault tolerant and fail safe node for use in a railway signalling system

Reliability Engineering & System Safety ◽

10.1016/s0951-8320(97)00020-3 ◽

1997 ◽

Vol 57 (2) ◽

pp. 177-183 ◽

Author(s):

Vinod Chandra ◽

K. Vijaya Kumar

Keyword(s):

Fault Tolerant ◽

Safety Analysis ◽

Signalling System ◽

Railway Signalling ◽

Download Full-text

Analysis of induced Traffic Alert and Collision Avoidance System collisions in unsegregated airspace using a Colored Petri Net model

10.1177/0037549715570357 ◽

2015 ◽

Vol 91 (3) ◽

pp. 233-248 ◽

Author(s):

Tang Jun ◽

Miquel Angel Piera ◽

Jenaro Nosedal

Keyword(s):

Collision Avoidance ◽

Petri Net ◽

Colored Petri Net ◽

Collision Avoidance System

Download Full-text

Coloured Petri net-based traffic collision avoidance system encounter model for the analysis of potential induced collisions

Transportation Research Part C Emerging Technologies ◽

10.1016/j.trc.2016.03.001 ◽

2016 ◽

Vol 67 ◽

pp. 357-377 ◽

Author(s):

Jun Tang ◽

Miquel Angel Piera ◽

Toni Guasch

Keyword(s):

Collision Avoidance ◽

Petri Net ◽

Coloured Petri Net ◽

Collision Avoidance System ◽

Traffic Collision

Download Full-text