• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2002년도 하계학술대회 논문집 D
• /
• pp.2240-2242
• /
• 2002

This paper show serial communication method in order to design how to interface between fault tolerant systems with redundancy. Problem has been in the method that fault tolerant system had switched of serial data with common switching device. This problem degrade reliability in itself and total system which is interfaced with that serial communication system. So Arbitration module of serial communication which is suggested in this paper can improve the reliability using voter algorithm which fault is detected passively.

• Journal of Electrical Engineering and Technology
• /
• 제4권1호
• /
• pp.87-92
• /
• 2009

Many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification and verification will provide increased assurance for such applications. Earlier errors of overlooked requirement specification can be detected using the formal specification method. Also, the testing and full verification to examine all reachable states using model checking to undertake formal verification are able to be completed. In this paper, we proposed an eclectic approach to incorporate Z(Zed) formal language and 'Statemate MAGNUM', formal method tools using Statechart. Also we applied the proposed method to train control systems for the formal requirement specification and analyzed the specification results.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2003년도 하계학술대회 논문집 B
• /
• pp.1329-1331
• /
• 2003

This paper presents a Train Communication Network simulator (TCNS) that can be used to evaluate the performance of TCN. TCN was accepted as the standard of the protocol for the communication network in trains. We carry out some simulation tests using the TCNS to show practical uses of the simulator. Results of some simulation tests are also reported.

• 한국철도학회논문집
• /
• 제6권2호
• /
• pp.135-141
• /
• 2003

According to the computerization of railway signaling systems, the interface link between these signaling equipment is also replaced by digital communication channel, expecially communication link for interface between EIS and LDTS, but there are some problems in the present state of railway signaling. First of all, different communication protocol is applied to interface between above two signaling equipment although they have same functions. The other is that the communication protocol currently used in railway field has some unreasonable points such as structure, formation of byte, error correction scheme and etc. To solve these problems, the standard communication protocol for railway signaling is designed. The structure of designed communication protocol and the results of performance analyses are represented in this paper. It will be expected the increase of safety, reliability and efficiency of maintenance of signaling system by using of the designed communication protocol for railway signaling.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2005년도 추계학술대회 논문집
• /
• pp.1268-1275
• /
• 2005

The computerization works and environment have been changed from simple transaction and data process request to system connection request, from data computerization to application work automation and process computerization through IT development and Internet spread. Recently, BPM(Business Process Management) concept has been widely propagated. It is expanding interest of business subject. Korea Railroad is operating train operation management system through 5 regional headquarters and organizations under the influence of each regional headquarter. But integrated operation and management of communication each department, work flow management and resources of depot equipment and materials have to need a lot of effort and time in huge organization as Korea Railroad. Therefore, this article realized Web Based BPM Group Ware. This article will define Korea Railroad organization and business process in using this Group Ware. And it will introduce Korea Railroad computer manage system of this Group Ware and efficient Korea Railroad Business Process through modeling and operating department work and resources management in Korea Railroad.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2008년도 춘계학술대회 논문집 전기기기 및 에너지변환시스템부문
• /
• pp.178-180
• /
• 2008

With the increase in population, the area of human activities has expanded, resulting in the dramatic increase in the need for transportation system. Tilting trains are currently in operation in 13 countries around the world. TTX(Tilting Train express) has been developed by KRRI(Korea Railroad Research Institute) for last 6 years to satisfy the need. This train developed in this Project is designed for a design speed of 200km/h and a maximum operating speed of 180km/h. We developed a measurement system for on-line test. the measurement console desk is mounted on T car, which is designed as the DAQ system train. It is comprehensive of the industrial computers, LCD monitors, communication cards and the communication channel measurement system. Using this system, SIV performance evaluation was conducted.

• 전기학회논문지
• /
• 제65권7호
• /
• pp.1303-1310
• /
• 2016

The track circuit carries out a train detection using a electrical closed loop, and incidentally it detects the rail rupture using the track circuit current flowing rail. However, in the case of the axle counter or the Radio based train control system, it requires a new way for detecting the rail rupture because of not using the track circuit. To solve this problem, it periodically checks non-steady state of rail by the track inspection car. but real-time detection of the rail rupture is impossible. Therefore, this paper analyzed feasibility to realize a real-time detection of rail rupture by using the return current.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2005년도 학술대회 논문집 정보 및 제어부문
• /
• pp.481-483
• /
• 2005

There is change of signal control system for train control worldwide current. This is train control system that use radio communication and step practical use Tuesday. Research for diversified application, examination and enforcement is achieved in internal railroad industry by this. Therefore, do examination of universal train radio control way for internal application. Studied train control way that use suitable radio communication to internal railroad.

• Journal of Electrical Engineering and Technology
• /
• 제1권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.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2004년도 춘계학술대회 논문집
• /
• pp.1446-1448
• /
• 2004

Communication line used in the rail-road have different use from subscriber line in the public telecommunication. But, when an existing communication equipment is replaced, by applying new high-speed transfer technology, we can anticipate the increase of transmission rate and decrease of waiting time according to high-speed of communication line. cost reduction of infrastructure construction and maintenance/repair according to centralization of communication line and transmission equipment. In this study, the transmission scheme of several xDSL(Digital Subscriber Line) modems were compared and analyzed. The way of applying xDSL modem to the metal cable which is used in the JR(Japan Railroad) is analyzed. In addition, the result tested in railroad communication line was reviewed.