• Journal of Institute of Control, Robotics and Systems
• /
• v.22 no.2
• /
• pp.162-169
• /
• 2016

Gyeong-bu railway line in Korea between Seoul and Cheon-an was built as two double tracks. A four-display signaling system, only for the metro line, was installed on the second double track so KTX and conventional trains can only operate on the first double track. This study suggests a method to allow KTX and conventional trains operated on the five-display signaling system to respond to accidents and track defects on the second double-track under the four-display signal system by means of problem analysis, calculation of breaking distances for KTX and conventional trains at each break mode, and improvement of the ATS system.

• Journal of the Korean Society for Railway
• /
• v.20 no.1
• /
• pp.55-63
• /
• 2017

Railway interlocking systems which are safety-critical systems are rapidly changed from relay-based systems to computer-based systems which have high flexible. Computer-based interlocking systems (CBI) are consisted of hardware and software in which system safeties arise one of important problems. The interlocking software of the CBI influences directly to the system safeties. "z" notation is one of formal methods have been used for system software specification to secure system safety. In this paper, the specification of interlocking logics for CBI systems is realized using "z" notation and verifies it with Z/EVES.

• Journal of the Korean Society of Systems Engineering
• /
• v.15 no.2
• /
• pp.108-115
• /
• 2019

The activities of managing and controlling the configuration of a system component over its life cycle are critical tasks in developing a high safety system as well as general system development. These configuration management activities should be defined through the management plan at the beginning of the life cycle, and should be performed continuously and systematically until the end of the project after the system or product development is completed. In this study, the configuration management process applied in the development of high safety railway signaling system was introduced and an efficient application proposals of it was proposed. In particular, configuration management through the establishment of a configuration management system based on computer tools is one of the important activities of maintaining the configuration integrity of the system or product.

• Proceedings of the KIEE Conference
• /
• 2000.07b
• /
• pp.1420-1422
• /
• 2000

The railway signaling system consists of micro-computerized vital devices on board and ground, which are connected to one another by track circuits, and interlocking equipment for route control. Therefore it is important to validate the required functions of developed system and interface between developed signaling systems. To verify the conditions and functions of signaling functions, the laboratory prototype test bench, which consists of personal computers LAN, will be developed. In this paper design of signaling system test-bench for high-speed signaling is described and developed software module are presented.

• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.58 no.2
• /
• pp.108-115
• /
• 2009

Recent advances in computer technology have brought more dependence on software to train control systems. Hence, the safety assurance of the vital software running on the railway system is very critical task and yet, not many works have been done. While much efforts have been reported to improve electronic hardware's safety, not so much systematic approaches to evaluate software's safety, especially for the vital software running on board train controllers. In this paper, we have developed the static software testing tool for railway signaling, especially Fagan Inspection module and checklists supporting module. This static testing tool for railway signaling can be utilized at the assessment phase, and also usefully at the software development stage also. It is anticipated that it will be greatly helpful for the evaluation on the software for railway signalling system.

• Journal of the Korean Society for Railway
• /
• v.9 no.5 s.36
• /
• pp.601-605
• /
• 2006

Reliability of the Railway signaling system which is safety critical is determined by reliability of hardware and software. Reliability of hardware is easily predicted and demonstrated through lots of different studies and environmental tests, while that of software is estimated by the iterative test outcomes so estimates of reliability will depend on the inputs. Combinations of inputs to and outputs from the software may be mostly combinatoric and therefore all the combinations could not be tested. As a result, it has been more important to calculate reliability by means of a simpler method. This paper identifies the reliability prediction equation applicable to reliability prediction for railway signaling system software, and performs the simulation of onboard equipment of automatic train control for high speed train to review reliability prediction and validity.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.64 no.7
• /
• pp.1019-1025
• /
• 2015

The performance requirements on the safety-based functionality of railway signal systems have been reinforced and the effort for enhancement of the existing system or development of the new system is being accordingly made. In particular, various technical researches on replacement or improvement of the existing ATS(Automatic Train Stop) signaling system are now in progress for better operational efficiency. In this study, the complementary points for improvement or replacement of the currently used system(i.e., ATS) will be derived in terms of operating efficiency in an integrated operating environment with the newly introduced system(e.g., ATC: Automatic Train Control). This study can contribute to derive the need for improvement of the signaling system by checking the interface problems and comparing between different systems through the analysis of real operation cases in the field. Eventually, this analysis can be applied to prevent and estimate the collision accidents can be caused by the failure of the signaling system in advance. In addition, the results can be used to provide a future direction to secure the reliability in the parallel operation by integration based on different railway signaling systems.

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.1252-1253
• /
• 2011

The railway signaling system is being converted to the computer system from the existing mechanical device, and the dependency on software is being increased rapidly. Though the size and degree of complexity of software for railway signaling system are slower than the development speed of hardware, it is expected that the size will be grown bigger gradually and the degree of complexity will be increased also. Accordingly, the validation of reliability and safety of embedded software for train control system was started to become influential as the important issue. In this paper, we presented boundary value analysis tool for railway signaling system software, and presented its result of implementation.

• Proceedings of the KSR Conference
• /
• 2011.10a
• /
• pp.245-250
• /
• 2011

ERTMS/ETCS Level 1 ATP, ATC and ATS are Signaling Systems adopted in korea. For operating in three different trackside signaling systems, train must have individual onboard signaling systems, ATP, ATC and ATS. Three signaling systems in one train is the main cause to increase installation and maintenance cost. Also it is need more effort to change a onboard signaling system depend on the trackside signaling system. those things should lead to decrease efficiency of the onboard signaling system. one integrated onboard signaling system for ATP, ATC and ATS is the good solution for those problems. IOSS is an integrated Onboard Signaling System and still developing. In this paper, we introduce the methodology of model-based development of IOSS. IOSS has one superviser process and several functional blocks to process individual signaling system s. Rhapsody which is CASE tool is used to construct the structure and develop the software for IOSS.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.62 no.8
• /
• pp.1169-1176
• /
• 2013

PES have been recently required to implement railway industry for its application flexibility. The PES should be commensurated with railway safety requirements. It achieved its safety through redundant PES. The redundant systems run with voting functions. The successful major voting result becomes the output of the redundant system. The redundant system have to be synchronized to vote each output results. This paper proposed an algorithm for synchronizing and a voter. The proposed algorithm and the voter are verified using simulation.