• Proceedings of the KIEE Conference
• /
• 2007.10c
• /
• pp.232-234
• /
• 2007

In this paper, the safety criteria and framework of railway software which is developing presently is examined. The software development capability and organization of railway company in korea are investigated through interview and are analyzed. Then the application plan for railway software safety criteria is deduced to apply criteria to railway industry effectively.

• Proceedings of the KSR Conference
• /
• 2009.05a
• /
• pp.2044-2049
• /
• 2009

Recent advances in computer technology have brought more dependence on software to railway signaling systems. Hence, the safety assurance of the vital software running on the railway signaling 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. In this paper, we suggested an automated analysis tool for S/W change impact in railway signaling system, and presented its result of implementation. The analysis items in the implemented tool had referred to the international standards in relation to the software for railway signaling system, such as IEC 61508 and IEC 62279. In these international standards, 'change impact analysis' for railway signaling system S/W has to be required mandatorily. The proposed tool can be utilized at the assessment stage and also the software development stage.

• Proceedings of the KIEE Conference
• /
• 2006.10d
• /
• pp.244-246
• /
• 2006

Softwares in railway system are being used in the area of railway control system, directly associated to safety. Because the instinct characteristic of Software is uncertainty, Software development without safety insurance is very hazardous situation. In order to derive safety certification process in the railway system, certification and approval processes in the nuclear, aviation, and military area are studied. Software quality should be improved by two aspects : one is product aspect, another is process aspect. GS(Good Software) and ES(Excellent Software) certification can be exemplified in a product aspect approach. In those process certification, CMMI (Capability Maturity Model Integration) or SPICE (Software Process Improvement and Capability dEtermination : ISO/IEC15504) is being used as models for assessing process maturity of organization. Following the studies, safety management procedure in the railway system is suggested.

• Journal of the Korean Society for Railway
• /
• v.12 no.1
• /
• pp.81-87
• /
• 2009

Recent advances in computer technology have brought more dependency on software to railway signalling system. While much efforts have been reported to evaluate embedded software safety for railway signalling systems, not so much systematic approaches to evaluate software safety testing. In this paper, we propose a adaption of automatic software testing tool in terms of the design & coding standard for railway signalling system. The test items for the design & coding standard suggested in this study related international standards and MISRA-C. 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.

• 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.

• International Journal of Safety
• /
• v.10 no.2
• /
• pp.16-20
• /
• 2011

The computer application on embedded system is recently more increased in accordance of the development of computer technology. In this trend, the depending of SW in embedded system, especially railway signaling system, is being increased further. So the testing for the safety of railway signaling system software became more important. Hence, the safety assurance of the vital software on the railway signaling system is very important but yet, not many works have been done. In this paper, we represented the implementation results of development of performance testing tool in railway signaling system. The implemented testing item had referred to the international standards in relation to the software for railway system, such as IEC 61508 and IEC 62279.

• Proceedings of the KSR Conference
• /
• 2001.05a
• /
• pp.319-326
• /
• 2001

Railway signaling safety system organizes equipments and facilities of railway, increases transport efficiency and assures safe operation of railway. In the early days of signaling system railway managers made sure of safety by using relay logic technology based on fail-safe concept. But the development result of computer and science having been introduced to railway industry, railway signaling equipments begin to be operated through micro electronic control system. Accordingly high speed and high density operation of train became possible. Software reliability and safety technology that controls important systems of railway was highlighted. In the middle of 1990s the standard or guideline of railway reliability and safety were studied and established, and are being reviewing in Europe, Japan etc. Our reliability and safety technology have depended largely on foreign countries. In this study we performed a basic study about the reliability of software that controls the railway signaling system.

• Proceedings of the KIEE Conference
• /
• 2006.04b
• /
• pp.316-318
• /
• 2006

It can be considered that the safety of software is combined with that of hardware, and also directly connected to system safety. Because the software in the railway system takes the form of Embedded that let it behave at the system level, instead of independent operation, the safety of the railway S/W is also important. The approach, for ensuring the quality and safety of those software, can be considered with two points of view. Those are views seeing from products, and from processes. The two points of approach are all necessary in the railway system. For the first of all, the process approach is to validate maturity of the organizations in accordance to the judging processes of organizations, which are specified by CMMI(Capability Maturity Model Integration) or SPICE(Software Process Improvement and Capability dEtermination: ISO/IECl5504). In this paper, as the first step of them, we are trying to find approaches to estimate the maturity of manufacturer and assessment organization in the railway system.

• Proceedings of the KSR Conference
• /
• 2007.11a
• /
• pp.777-783
• /
• 2007

Life cycle costing is one of the most effective cost approaches when we choose a solution from series of alternative so the least long-term cost ownership is achieved. Life cycle costing in railway industry has been focused on the prediction of investment for railway vehicles. But in today, the life cycle cost, LCC, prediction on the aspect of operation and maintenance cost through whole life cycle is highly necessary. In this paper, we present a strategy for the development of life cycle cost estimation software on the aspect of maintenance strategies of railway vehicle. For this purpose, we suggested a structure of LCC software based on the UNIFE LCC model. And we developed a pilot version of software to evaluate the LCC model that we suggested for railway vehicle. We performed LCC analysis on the brake module of metro vehicle in case study and concluded that the software and model developed in this research could enough to support engineers in choosing better cost effective solutions from many alternatives.