Implementation of a Model-Oriented Approach for Supporting Safe Integration of GNSS-Based Virtual Balises in ERTMS/ETCS Level 3

Himrane, Ouail; Beugin, Julie; Ghazel, Mohamed

doi:10.1109/ojits.2023.3267142

Cited by 7 publications

(1 citation statement)

References 48 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The experts describe that ETCS L2 will reduce the available infrastructure capacity in some scenarios. This requires the development of an ETCS L2 version with higher capacity usage (see also [75], for ETCS developments). The experts highlighted several challenges by ETCS.…”

Section: Automation Signaling and Controlmentioning

confidence: 99%

How Will the Railway Look Like in 2050? A Survey of Experts on Technologies, Challenges and Opportunities for the Railway System

Nold,

Corman

2024

IEEE Open J. Intell. Transp. Syst.

View full text Add to dashboard Cite

The railway system can fulfil society's current and future transportation goals; compared to other transport modes, it does that with high energy, space and resource efficiency. It can deliver high-quality transport services, superior speed, safety and comfort to most competing modes. Nevertheless, its share of the total traffic is often relatively small. This study examines new technologies, their challenges and opportunities for the railway system to understand possible futures of the railway systems, allowing it to prepare ahead of time to prepare and exploit its competitive strengths and possible technological developments. In this paper, we report on multi-stage interviews of 30 experts concerning a holistic technological view of the railway system. The surveyed experts reported on perspectives from the railway operator, industry and research from Switzerland and Europe. The outcomes were categorized into supply, operation and technology aspects and evaluated by their potential for improvement, system impact of the changes, time horizon of possible implementation, and effects on modal shift. The results show that many aspects contribute to the further development of the technologies, but no single game changer could be identified. Developments are expected in automation; revolutionary changes are perceived as unlikely.

show abstract

Section: Automation Signaling and Controlmentioning

confidence: 99%

How Will the Railway Look Like in 2050? A Survey of Experts on Technologies, Challenges and Opportunities for the Railway System

Nold,

Corman

2024

IEEE Open J. Intell. Transp. Syst.

View full text Add to dashboard Cite

show abstract

A comprehensive survey of UPPAAL‐assisted formal modeling and verification

Zhou,

Zhao,

Zhang

et al. 2024

Softw Pract Exp

View full text Add to dashboard Cite

UPPAAL is a formal modeling and verification tool based on timed automata, capable of effectively analyzing real‐time software and hardware systems. In this article, we investigate research on UPPAAL‐assisted formal modeling and verification. First, we propose four research questions considering tool characteristics, modeling methods, verification means and application domains. Then, the state‐of‐the‐art methods for model specification and verification in UPPAAL are discussed, involving model transformation, model repair, property specification, as well as verification and testing methods. Next, typical application cases of formal modeling and verification assisted by UPPAAL are analyzed, spanning across domains such as network protocol, multi‐agent system, cyber‐physical system, rail traffic and aerospace systems, cloud and edge computing systems, as well as biological and medical systems. Finally, we address the four proposed questions based on our survey and outline future research directions. By responding to these questions, we aim to provide summaries and insights into potential avenues for further exploration in this field.

show abstract