| Title |
A Study on Impedance Calculation Methods for Power Cables In Railway Systems |
| Authors |
홍석진(Sukjin HONG) ; 이종우(Jongwoo LEE) |
| DOI |
https://doi.org/10.5370/KIEE.2023.72.9.1113 |
| Keywords |
Interlocking system; Formal Methods; Modelling; Set theory |
| Abstract |
Railway interlocking systems are safety-critical systems, which are required to show its safety. There are several methods to demonstrate the interlocking systems safety, which are process based proving, proven design methods, model based method and so on... One of most use methods is model based methods for safety proving method. The modelling of the interlocking systems is realized through mathematical modelling by using set theory. The interlocking systems are composed of tracks, point machines, signals and controllers which become route parts. The each physical components of the interlocking systems are modeled in a set and developed set models for routes and routes controls. By using set theory, we provided set model of the interlocking systems and compared the model with relay based logic circuits how to apply set model to real systems. |