Formalizing a subset of ERTMS/ETCS specifications for verification purposes

Ghazel, Mohamed

doi:10.1016/j.trc.2014.02.002

Cited by 52 publications

(35 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In order to remove more than 20 different TCISs across the European railway network [58], the EC decided to support the implementation of a harmonized standard for the railway control and signaling systems, the European Railway Traffic Management System (ERTMS) [59]. The ERTMS as a kind of Traffic Management System (TMS) is one of the classes of TCISs along with the Interlocking Systems (IXL), Automatic Train Control (ATC) systems and Automatic Train Supervision (ATS) systems [7].…”

Section: Development Of Standard European Signaling Systemmentioning

confidence: 99%

Application of Multicriteria Decision-Making Methods in Railway Engineering: A Case Study of Train Control Information Systems (TCIS)

Djordjević¹,

Krmac²

2018

Modern Railway Engineering

View full text Add to dashboard Cite

In order to improve its position in the transport market railway, as a complex system, it has to fulfill a number of objectives such as increased capacity and asset utilization, improved reliability and safety, higher customer service levels, better energy efficiency and fewer emissions, along with increased economic viability and profits. Some of these objectives call for the implementation of maximum values, while some of them require minimum values. Additionally, some can be expressed quantitatively, while some, for example, customer service, can be described qualitatively through a descriptive scale of points. The application of MCDM in railway engineering can play a significant role. Therefore, the major objective of this chapter is the review of the application of MCDM methods in railway engineering. As one of the means in achieving the objectives of railways and above all the utilization of capacity are Train Control Information Systems (TCIS). Based on that, the aim of this chapter is the evaluation of the efficiency of TCIS in the improvement of railway capacity utilization through defined technical-technological indicators. The non-radial Data Envelopment Analysis (DEA) model for the evaluation of TCIS efficiency in improvement of utilization of railway capacity using the selected indicators is proposed. The proposed non-radial DEA model for TCIS efficiency evaluation in using railway capacity could be applied to an overall network or for separate parts of railway lines.

show abstract

Section: Development Of Standard European Signaling Systemmentioning

confidence: 99%

Application of Multicriteria Decision-Making Methods in Railway Engineering: A Case Study of Train Control Information Systems (TCIS)

Djordjević¹,

Krmac²

2018

Modern Railway Engineering

View full text Add to dashboard Cite

show abstract

“…Inspired by the ERTMS, China has developed an equivalent signalling and control system, called the Chinese Train Control System (CTCS) [50]. American railways on the other hand are in the process of introducing a wireless network-based control system, commonly referred to as a Positive Train Control System (PTCS) [7].…”

Section: Tcis Classesmentioning

confidence: 99%

“…Identification of importance of TCIS and their subsystems through KPT could be useful for policy makers when considering Bpoints^affecting the specific KPT when implementing new or upgrading extant systems. For example, since the construction of the new railway tracks is expensive, it could be useful to know that the implementation of ERTMS could improve capacity (by removing bottlenecks) [12,34,51,71,84,114,128,131], interoperability [12,34,45,50,51,71,85,110,131], safety [6,11,12,19,44,50,51,55,71,75,79,84,85,114,125,128,131], energy efficiency [34, 84,114,131], and efficiency of operation [12,34,84,85,128,131]. Further, according to the authors' opinions, these findings can ensure recognition of interactions between KPT and particular classes of TCIS.…”

Section: Introductionmentioning

confidence: 99%

An evaluation of train control information systems for sustainable railway using the analytic hierarchy process (AHP) model

Krmac

Djordjević

2017

Eur. Transp. Res. Rev.

View full text Add to dashboard Cite

Purpose In the process of nowadays efficiency evaluation of any mode of transportation, sustainability results are the most important factor. In regard to railway sustainability, Train Control Information Systems (TCIS) are such advanced systems with important positive impacts. The main purpose of this study was therefore the evaluation of these impacts as well as the evaluation of Key Performance Themes (KPT) for sustainable railways. Methods Firstly a very detailed literature review of papers that have focused on TCIS and their improvements on railway sustainability, published in the scientific journal in the period from 2005 and 2016, was performed. The number of studies was then used as a main criteria in Analytical Hierarchical Process (AHP) evaluations or rankings of these systems and their impacts. Results The paper offers results from the first systematic review of papers which investigate the role of TCIS in terms of sustainability and, additionally, represents a refined approach to TCIS classification with a new classes descriptions. During review KPT for sustainable railways were also identified. Further, AHP evaluated the Train Management and Interlocking Systems and their subsystems as the most important TCIS, and safety and costs of equipment, installation, maintenance and operation as the most important themes. ConclusionsThe results are important for both, scholars for their future research and for other railway stakeholders and decision makers, who must select different systems and technologies for implementation in their railway systems with emphasis on increasing performance and sustainability. The study offers also the opportunities for further research in regard to railway sustainability.

show abstract

“…It provides method to trace state transit behaviour, identify observable states, and evaluate sequence of performed actions. As an ideal tool to verify concurrent and complex system, it gains a great achievement in the application of verifying safety protocol RSSP-1 [19] and needs of ERTMS/ETCS system [20]. This paper focuses on formal modeling and verification based on LTS method for train-to-train communication logic in the architecture of VBTC.…”

Section: Introductionmentioning

confidence: 99%

Study on Formal Modeling and Safety Verification of Train‐to‐Train Communication

Hao

2018

Wireless Communications and Mobile Computing

View full text Add to dashboard Cite

VBTC (vehicle-to-vehicle communication based train control) has gradually become an important research trend in the field of rail transit. This has resulted in advantages of decreasing the number of pieces of wayside equipment and improving the efficiency of realtime system communication. Characteristics and mechanism of train-to-train communication, as key implementation technology of safety critical system, are given and discussed. A new method, based on the LTS (labelled transition system) model checking, is proposed for verifying the safety properties in the communication procedure. The LTS method is adapted to model system behaviours; analysis and safety verification are checked by means of LTSA (labelled transition system analyzer) software. The results show that it is an efficient method to verify safety properties, as well as to assist the complex system's design and development.

show abstract

Formalizing a subset of ERTMS/ETCS specifications for verification purposes

Cited by 52 publications

References 14 publications

Application of Multicriteria Decision-Making Methods in Railway Engineering: A Case Study of Train Control Information Systems (TCIS)

Application of Multicriteria Decision-Making Methods in Railway Engineering: A Case Study of Train Control Information Systems (TCIS)

An evaluation of train control information systems for sustainable railway using the analytic hierarchy process (AHP) model

Study on Formal Modeling and Safety Verification of Train‐to‐Train Communication

Contact Info

Product

Resources

About