• 한국철도학회논문집
• /
• 제20권1호
• /
• pp.55-63
• /
• 2017

철도에 사용되고 있는 Safety critical systems 중 하나인 연동장치는 relay-based systems에서 computer-based systems으로 급속히 변환되고 있다. computer-based interlocking systems (CBI)의 안전성확보가 중요한 문제 중 하나로 떠오르고 있다. CBI를 구성하는 연동논리 software는 시스템 안전성에 직접적으로 영향을 미치는 부분 중 하나이다. Formal methods 중 하나인 "Z"notation은 이 software 안전성 확보를 위해 software 명세에 많이 사용되고 있다. 본 논문에서는 "Z"notation을 이용하여 연동논리 일부분을 구현하였으며, Z/EVES를 이용하여 검증을 하였다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2008년도 춘계학술대회 논문집
• /
• pp.1505-1510
• /
• 2008

A railway is a complex system integrated with a lot of technical elements such as trains, track facilities, human factors, operation & control and maintenance. As a mass transportation system, a railway could contain potential risks that may result in a high death rate and property losses. Accordingly, Railroad Safety Technology R&D Corps. is adopting 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 project management methods with Systems Engineering techniques. Recently, various systems engineering tools such as CORE or Cradle are applied to manage the system requirements and the project management process in the part of the aerospace engineering and automobile engineering so on. The railway industry also makes an effort to develop an efficient management skills using systems engineering tools as the railway system is multi-disciplinary. Therefore, we propose the more effectual management method of constructing the Railway Safety Test Facilities applying the systems engineering tool to the research.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2002년도 추계학술대회 논문집(I)
• /
• pp.232-237
• /
• 2002

A field of test and evaluation plays an important role in railway system in the safety and reliability aspects. In this paper, test and evaluation items for various railway systems i.e., conventional railway system, tilting system, and high speed railway system, were compared to analyze characteristics of the systems.

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

A Structure of a system is usually described as same as an architecture, but they are basically different. The architecture has a broader meaning than a system structure. In other words, an architecture can include many of system structures. So, to define the architecture, we need to consider how functions of a system are consisted and integrated. The architecture defined is applicable to railway safety management systems, and it can be made as a new model for railway safety systems, which is useful to systematize railway safety regulations. To establish the architecture as applicable to railway safety regulations, it is required to compare between regulation relations by analyzing roles before/after executing railway safety regulations. Therefore, in this research, we reviewed and classified different types of regulation conditions and safety requirements for railway systems and a variety of conditions before/after railway safety regulations changes are compared by defining system architectures subject to National railway safety.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2008년도 추계학술대회 논문집
• /
• pp.1964-1969
• /
• 2008

A railway is a complex system integrated with a lot of technical elements such as rolling stock, power, signal control, communications, tracks, stations, operation control systems, and so on. As a mass transportation system, a railway could contain potential risks that may result in a high death rate and property losses. Accordingly, Railroad Safety Technology R&D Corps. is adopting 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 project management methods with Systems Engineering techniques. To support that, we propose the more effectual management method of constructing the Railway Safety Test Facilities applying the model-based systems engineering tool to the research.

• 한국철도학회논문집
• /
• 제9권4호
• /
• pp.482-486
• /
• 2006

The Systems Engineering Management Plan (SEMP) is the primary, top level technical management document for the integration of all engineering activities at the project plan phase. This document defined the activities to plan, control, and perform overall engineering integration. To develop the SEMP for Railway Safety System, several standards are reviewed and analyzed. And then a common requirement for SEMP preparation is derived from the results of analysis. Also, the SEMP example available practically applies to Railway Safety System. In particular, The SEMP focused on controling technical program management has been organized so far, but in this study the detailed contents of SEMP put stress on project management is derived. And it is related to each other between project management and technical engineering management. At the end, to continuously manage the items and contents of the SEMP, a database management and an automatic document generation system is presented using Computer-Aided Systems Engineering (CASE) tool.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2004년도 추계학술대회 논문집
• /
• pp.250-257
• /
• 2004

Typical railway systems are composed of the various sub-systems, such as tracks, structures, electricity supplying systems, signal systems and vehicles. The roles of the sub-systems are clarified in the railway regulations in terms of their whole life cycle, as like design, operation and disposal stages. The regulations express clearly the basic specifications and requirements that need to accomplish their own performance and also state the standards and procedures for the normal operations and emergency conditions. In this paper the current railway regulation systems are analyzed and average revision periods are presented as the results of the analysis on revision history of railway safety regulations. This paper also presents the requirements for national safety standards based on Railway Safety Act and the necessity of application of system computer aided system engineering (CASE) tool for the improvement of legislation tasks. By exemplifying the cases of high speed rail system and Japanese cases that had developed softwares for supporing regulation revision management, the methodologies was studied for reconstruction of railway safety regulation system. As the results, it was presented such as the considerations for actual implementation and systematic safety regulation revision.

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

In order to promote economic cooperation and future reunification in Korean peninsula, this study is conducted to initiate a reconnecting plan for north and south Korean railways. When practical works to interconnect two counties' railway systems begin, the differences of railway systems such as rail track, railway facilities, communication systems, electrical power systems would be emerged as barrier. In this paper, to solve this problems, plan for the secure system-operational technology is presented. It also could be used for shaping the national transport network and constructing railway operating systems.

• 한국철도학회논문집
• /
• 제7권2호
• /
• pp.114-119
• /
• 2004

According to the computerization of railway signalling systems. the communication protocol for interface between these systems are required. Therefore the new communication protocol for railway signaling system is required. Generally, there are two verification method for new designed protocol in the industrial and academic fields. One is the laboratory testing method which is very popular and general technique. In our research the comparison between existing and new designed protocol for signaling is described and the verification test results are also represented. From these laboratory test, we are verified the conformance of new designed protocol. Another method is verified by formal method. The format verification method is widely used at safety-critical system design but this approach is nor popular at verification communication protocol. However it is very important to verify the safety of new designed protocol for railway signaling system because signaling systems are very safety-critical systems. So, the methodology for formal verification of designed protocol is also reviews in this paper.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2009년도 춘계학술대회 논문집
• /
• 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.