Validation of Railway Interlocking Systems by Formal Verification, A Case Study

Bonacchi, Andrea; Fantechi, Alessandro; Bacherini, Stefano; Tempestini, Matteo; Cipriani, Leonardo

doi:10.1007/978-3-319-05032-4_18

Cited by 11 publications

(2 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Due to the presence of the relay on the measuring set-up, some points could not be directly measured by the sensor (e.g., points 13,18,23,28). For these positions, the corresponding values were calculated as averages of the neighboring points, which could be directly measured.…”

Section: Methodsmentioning

confidence: 99%

“…The generation of these models usually involves the digitalization of existing relay schematics either in a specially designed schematics software [10] or by recoding them as an XML file [11]. The language used to describe the behavior of relay interlockings is usually Boolean [12] or LLD [13]. Regardless of the generation method, all models are checked using formal methods [4,14,15].…”

mentioning

confidence: 99%

See 1 more Smart Citation

Applicability of Magnetic Sensors in Interlocking Systems

Gheorghiu

Bădău

Iordache

2022

Sensors

View full text Add to dashboard Cite

Rail interlocking systems follow the progress of technology and train speeds. Nowadays, new systems are designed based on microcontrollers and reliable software, requiring many hours of testing to ensure their proper functionality and bug-free coding. However, in many countries, there are still older relay solutions implemented that are not envisaged to be upgraded in the near future partially due to costs but mainly due to the fact they function very well, being based on a highly reliable element: the relay. However, specialized maintenance personnel are becoming more difficult to find, so automation systems that check the proper relay functionality are a key element to ensure a longer lifetime of existing systems. In this article, the authors present a monitoring solution based on magnetic sensors that proved capable of provide reliable information about the relays, hence revealing the first step in a relay automated control system.

show abstract

Section: Methodsmentioning

confidence: 99%