Fail-Safe Signalization and Interlocking Design for a Railway Yard: An Automation Petri Net Approach
نویسندگان
چکیده
The most important issue in railway systems is to provide safe transportation. Since no error can be tolerated in railway systems it is an obligation to use reliable signalization and interlocking systems which have to decide what to do in unexpected situations like switch disruptions or signal light defects. By the rapid development in railway systems more formal methods are needed for modeling such systems. In this study, a sample railway yard is modeled with extended type of Petri Nets (PNs) known as Automation Petri Nets (APNs). The model used in design covers both normal situations and possible failures (such as a switch break down) to avoid calamitous accidents.
منابع مشابه
Experience using Coloured Petri Nets to Model Railway Interlocking Tables
Interlocking tables are the functional specification defining the routes on which the passage of the train is allowed. Associated with the route, the states and actions of all related signalling equipment are also specified. It is well-known that designing and verifying the interlocking tables are labour intensive, tedious and prone to errors. To assist the verification process and detect error...
متن کاملA formal modeling methodology of the French railway interlocking system via HCPN
A railway interlocking system (RIS) plays a vital role in the safe transportation of a railway system. It is responsible for the safe routes of trains making sure that each train movement follows the other in a proper and safe sequence. Detailed verifications and evaluations are mandatory before deploying an RIS, since it is a safety critical system (SCS). But the increasing complexity of the R...
متن کاملColoured petri nets to model geographical interlocking for railway
Petri nets have been widely applied in different aspects of railway modelling and analysis. This paper presents an insight into how coloured Petri nets can be used to model geographical interlocking. We start with a generalisation of coloured Petri nets and follow with an overview of interlocking. In the main body we present a generic unit model and demonstrate how it can be used to represent a...
متن کاملGeographical Versus Functional Modelling by Statecharts of Interlocking Systems
The development of computer controlled Railway Interlocking Systems (RIS) has seen an increasing interest in the use of Formal Methods, due to their ability to precisely specify the logical rules that guarantee the safe establishment of routes for trains through a railway yard. Recently, a trend has emerged about the use of statecharts as a standard formalism to produce precise specifications o...
متن کاملThe Role of Formal Methods in Developing a Distribuited Railway Interlocking System
The development of computer controlled Railway Interlocking Systems (RIS) has seen an increasing interest in the use of Formal Methods, due to their ability to precisely specify the logical rules that guarantee the safe establishment of routes for trains through a railway yard. Recently, a trend has emerged about the use of statecharts as a standard formalism to produce precise specifications o...
متن کامل