• Journal of Electrical Engineering and Technology
• /
• v.1 no.4
• /
• pp.513-519
• /
• 2006

As a very important part in development of the protocol, verifications for developed protocol specification are complementary techniques that are used to increase the level of confidence in the system functions by their specifications. Using the informal method for specifying the protocol, some ambiguity may be contained therein. This indwelling ambiguity in control systems can cause the occurrence of accidents, especially in the case of safety-critical systems. To clear the vagueness contained in the designed protocol, we use the LTS (Labeled Transition System) model to design the protocol for railway signaling. And then, we verify the safety and the liveness properties formally through the model checking method. The modal ${\mu}$-calculus, which is an expressive method of temporal logic, has been applied to the model checking method. We verify the safety and liveness properties of Korean standard protocol for railway signaling systems. To perform automatic verification of the safety and liveness properties of the designed protocol, a communication verification tool is implemented. The developed tools are implemented by C++ language under Windows XP. It is expected to increase the safety and reliability of communication protocol for signaling systems by using the developed communication verification tool.

• Journal of the Korean Society of Safety
• /
• v.27 no.3
• /
• pp.117-124
• /
• 2012

There have been recently introduced new types of urban metro vehicles called LRT (Light Rail Transit) running on elevated guideway such as Uijeongbu VAL(which stands for V$\acute{e}$hicule Automatique L$\acute{e}$ger: Automatic Light Rail Vehicle) system, Yong-In LIM(Linear Induction Motor) system, Incheon international airport MAGLEV(Magnetic Levitated Vehicle) system and Daegu monorail system. Most of accidents by the vehicles are bound to happen on elevated guideway. Therefore, it is of vital importance to analyze hazards related to vehicles running on elevated guideway and study emergency evacuation scenarios applicable in case of accidents on elevated guideway so as to secure the safety of the new types of urban metro vehicles. In this study, FTA(Fault Tree Analysis) model was developed to identify all possible hazards, and all possible evacuation scenarios were studied. It was also confirmed that each hazard can be corresponded to one or more evacuation scenarios. This result shows that passengers can be evacuated according to one of the scenarios identified in this study in case of an accident of "Train Stranded on Elevated Guideway".

• Proceedings of the KSR Conference
• /
• 2011.10a
• /
• pp.1014-1019
• /
• 2011

The substation automation is a system to remote-monitor and control electric power flow. And in line with electrification of railway, an interest in electric railway substation automation is increasing. IEC standardized IEC 61850, IEC 61968 and IEC 61970 communication protocol for the telecommunication standardization of the electric power automation industry. The recent SCADA systems in managed electric railway substations are have the problem about the compatibility with the products which fit to the international standard specification afterward. In this paper, the model of electric railway substation automation based on IEC 61850 and IEC 61970 is presented. And the method supporting the compatibility between the equipment is proposed.

• Proceedings of the KSR Conference
• /
• 2009.05a
• /
• pp.382-387
• /
• 2009

Requirement management is an important phase that has a significant influence on the project success. As a risk to a project fail is getting bigger, people adopt Systems Engineering method to the development of the effective requirement management. Accordingly, Railroad Safety Technology R&D Corps. is progressing the plan of the construction of Railway Safety Test Facilities as a part of the Railway Total Safety Project to enhance the railway safety, and carrying out researches on effective requirement management methods with Systems Engineering techniques. To support that, we introduce the Systems Engineering Requirement Management Process and propose the more effectual management method of constructing the Railway Safety Test Facilities applying the model-based systems engineering tool to the research.

• Smart Structures and Systems
• /
• v.28 no.6
• /
• pp.779-789
• /
• 2021

Cracks in railway sleeper are an inevitable condition and has a significant influence on the safety of railway system. Although the technology of railway sleeper condition monitoring using machine learning (ML) models has been widely applied, the crack recognition accuracy is still in need of improvement. In this paper, a two-stage method using edge detection and convolutional neural network (CNN) is proposed to reduce the burden of computing for detecting cracks in railway sleepers with high accuracy. In the first stage, the edge detection is carried out by using the 3×3 neighborhood range algorithm to find out the possible crack areas, and a series of mathematical morphology operations are further used to eliminate the influence of noise targets to the edge detection results. In the second stage, a CNN model is employed to classify the results of edge detection. Through the analysis of abundant images of sleepers with cracks, it is proved that the cracks detected by the neighborhood range algorithm are superior to those detected by Sobel and Canny algorithms, which can be classified by proposed CNN model with high accuracy.

• Proceedings of the KIEE Conference
• /
• 1998.07a
• /
• pp.381-383
• /
• 1998

The dynamics of the interaction between the wheel and rail must be considered when investigating the application of control strategy to a traction motor for high speed railway system. So this paper describes a dynamics model of the wheel rail adhesion characteristics and simple adhesion control strategy. Simulations are performed on the model of korea-high speed railway system using SIMULINK. With simple adhesion control strategy advanced characteristics of the system is showed in aspects of driveability.

• Proceedings of the KIEE Conference
• /
• summer
• /
• pp.1379-1381
• /
• 2004

This paper presents the AC electric railway system modeling using PSCAD/EMTDC program. This system model is composed of the scott-transformer the auto-transformer. the running rails. the protection wires, the feeders. the catenary and contact wires, etc. After obtaining the models of the fundamental elements describing the AC electric railway system and its behavior, we have analyzed and tested real traction power feeding system focused on the amplification of harmonic current to verify the proposed model. The simulation results from the proposed approach and the measurement data from the test are described in the paper.

• Journal of the Korean Society for Railway
• /
• v.8 no.6 s.31
• /
• pp.597-601
• /
• 2005

Korea Railroad Research Institute(KRRI) developed the Driverless Rubber Tired Korea-AGT(Model: K-AGT) from 1999 to 2004. We have finished the safety and performance tests of K-AGT. Data obtained from this testing can be used to evaluate the growth of reliability. The most widely used traditional growth tracking model is included as IEC International standard. With the tracking model all corrective actions are incorporated during test, called test-fix-test. In the test-fix-test strategy problem modes are found during testing and corrective actions for these problems are incorporated during testing. In this paper, we demonstrated reliability analysis using growth model of driverless rubber tired K-AGT system to prove reliability of development system. Therefore, we introduce the well-known NHPP model and analyze a reliability growth using ReliaSoft's RGA software.

• Journal of the Korean Society for Precision Engineering
• /
• v.30 no.10
• /
• pp.1051-1059
• /
• 2013

In general, lateral ride comfort of railway vehicle is mainly influenced by a secondary suspension placed between the bogie and carbody. Higher operating speeds of train results in increased vibration of carbody, which has a negative impact related to the ride comfort. To solve this problem, researches to replace the conventional passive suspension with (semi)active technology in the secondary suspension of a railway vehicle have been carried out. The semi-active suspension using the magneto-rheological damper is relatively simpler system and has advantage in maintenance compared to the hydraulic type semi-active damper. This study was performed to reduce lateral vibration acceleration of carbody related to ride comfort of railway vehicles with a semi-active suspension system. The numerical analysis was conducted by replacing passive lateral damper with semi-active MR damper, and robust control with the MR damper was applied to the 1/5 scaled railway vehicle model.

• Structural Monitoring and Maintenance
• /
• v.4 no.3
• /
• pp.195-220
• /
• 2017

Nowadays, railway system plays a significant role in transportation, conveying cargo, passengers, minerals, grains, and so forth. Railway ballasted track is a conventional railway track as can be seen all over the world. Ballast, located underneath the sleepers, is the most important elements on ballasted track, which has many functions and requires routine maintenance. Ballast needs to be maintained frequently to prevent rail buckling, settlement, misalignment so that ballast has to be modelled accurately. Continuum model was introduced to model granular material and was extended in ballast. However, ballast is a heterogeneous material with highly nonlinear behaviour. Hence, ballast could not be modelled accurately in continuum model due to the discontinuities nature and material degradation of ballast. Discrete element modelling (DEM) is proposed as an alternative approach that provides insight into constitutive model, realistic particle, and contact algorithm between each particle. DEM has been studied in many recent decades. However, there are limitations due to the high computational time and memory consumption, which cause the lack of using in high range. This paper presents a review of recent ballast modelling with benefits and drawbacks. Ballast particles are illustrated either circular, circular crump, spherical, spherical crump, super-quadric, polygonal and polyhedral. Moreover, the gaps and limitations of previous studies are also summarized. The outcome of this study will help the understanding into different ballast modelling and particle. The insight information can be used to improve ballast modelling and monitoring for condition-based track maintenance.