• International Journal of Railway
• /
• v.5 no.1
• /
• pp.48-54
• /
• 2012

The main purpose of this study is to highlight the importance and validity of introduction of stress-concerned aptitude items for the safety critical workers, corresponding to the radical environmental change in railway industry. To attain this purpose, the author performed a brief literature survey, and scrutinized the western practice in detail. Then, the necessity of introduction of stress-related aptitude items was suggested, based on the statistics resulted from a survey which has been once performed for experts and drivers. The final conclusion is that the present selection system through which the safety critical workers are being staffed, without any rigorous screening mechanisms cannot but have some limitations. So, an overall restructuring for aptitude management system needs to be done in order for us to advance to the position of upper-class railway country.

• Journal of the Korea Safety Management & Science
• /
• v.14 no.3
• /
• pp.1-10
• /
• 2012

Recently, we have witnessed the definitely negative impacts of large-scale accidents happened in such areas as atomic power plants and high-speed train systems, which result in increased fear for the potential danger. The problems appear to arise due to the deficiency in the design of large-scale complex systems. One of the causes can be attributed to the design process that does not fully reflect the safety requirements in the early stage of the system development because of the substantially increased complexity. In this paper, to enhance the systems safety an integrated process is studied, which considers simultaneously both the system design process and system safety process from the beginning of the system development. In the conceptual system design phase an integrated process model is constructed by analyzing the activities of both the system design and safety processes. As a case study example, an inner city train system is described with the application of the developed process. The computer simulation of the example case is followed by the result discussed. The results obtained in the paper are expected to be the basis for the future study where a detailed process and its associated activities can be developed.

• Journal of Advanced Navigation Technology
• /
• v.21 no.2
• /
• pp.155-162
• /
• 2017

In recent years, aviation-related safety-critical systems have been developed in Korea, but these products have not satisfied the specified requirements and thus have not been commercialized or commercialized. Due to increasing complexity of the modern aviation system, traditional verification and validation techniques are not sufficient to identify and reduce latent risks in the system. To overcome this shortcoming, a new method which is called 'Independent verification and validation (IV&V)' is suggested. However, academic researches on the effectiveness of this independent verification and validation have not been conducted domestically, and it is performed very rarely even overseas. Therefore, in this paper, we investigated the application of independent verification and validation of the safety-critical aviation systems performed by advanced aviation organizations, and analyzed various positive effects on projects. As a result of the analysis, IV&V shows that early error detection rate is increased, potential risk is mitigated early, and the complex reworking probability, which appears later in the development life cycle, is reduced, greatly preventing the development schedule and costs from increasing.

• International Journal of Control, Automation, and Systems
• /
• v.6 no.1
• /
• pp.126-134
• /
• 2008

As many systems depend on electronics, concern for fault tolerance is growing rapidly. For example, a car with its steering controlled by electronics and no mechanical linkage from steering wheel to front tires (steer-by-wire) should be fault tolerant because a failure can come without any warning and its effect is devastating. In order to make system fault tolerant, there has been a body of research mainly from aerospace field. This paper presents the structure of predictive hybrid redundancy that can remove most erroneous values. In addition, several numerical simulation results are given where the predictive hybrid redundancy outperforms wellknown average and median voters.

• Proceedings of the KSR Conference
• /
• 2007.05a
• /
• pp.987-992
• /
• 2007

Safety critical systems are those in which a failure can have serious and irreversible consequences. Nowadays digital technology has been rapidly applied to critical system such as railways, airplanes, nuclear power plants, vehicles. The main difference between analog system and digital system is that the software is the key component of the digital system. The digital system performs more varying and highly complex functions efficiently compared to the existing analog system because software can be flexibly designed and implemented. The flexible design make it difficult to predict the software failures. This paper reviews safety standard and criteria for safety critical system such as railway system and introduces the framework for the software lifecycle. The licensing procedure for the railway software is also reviewed.

• Journal of Institute of Control, Robotics and Systems
• /
• v.7 no.10
• /
• pp.859-866
• /
• 2001

Recently, fault injection techniques are used for evaluation of the fault coverage properties of safety-critical systems. This paper describes the TCN Fault Injector(TFI) implemented for TCN safety analysis. The implemented TFI injects network level faults to Intelligent MVB Controller that is designed for the Korean High Speed Train. With TFI, it can be verified whether the MVB controller meets TCN specification and its safety requirements.

• Nuclear Engineering and Technology
• /
• v.47 no.2
• /
• pp.212-218
• /
• 2015

We describe a comparative analysis of different tools used to assess safety-critical software used in nuclear power plants. To enhance the credibility of safety assessments and to optimize safety justification costs, $Electricit{\acute{e}}$ de France (EDF) investigates the use of methods and tools for source code semantic analysis, to obtain indisputable evidence and help assessors focus on the most critical issues. EDF has been using the PolySpace tool for more than 10 years. Currently, new industrial tools based on the same formal approach, Abstract Interpretation, are available. Practical experimentation with these new tools shows that the precision obtained on one of our shutdown systems software packages is substantially improved. In the first part of this article, we present the analysis principles of the tools used in our experimentation. In the second part, we present the main characteristics of protection-system software, and why these characteristics are well adapted for the new analysis tools. In the last part, we present an overview of the results and the limitations of the tools.

• 제어로봇시스템학회:학술대회논문집
• /
• 1996.10b
• /
• pp.1008-1011
• /
• 1996

Most control systems of power plants are using classical PID controllers for their process control. In order to get the desired control performances, the correct tuning of PID controllers is very important. Sometimes, it is necessary to retune PID controllers after the change of system operating condition and system design change, etc. Commercial auto-tuning controllers such as relay feedback controller can be used for this purpose. However, using these controllers to the safety-critical systems of nuclear power plants may be cause of unsafe operation, because they are using test signals for tuning. A new system identification auto-tuning method without using test signal has been developed in this paper. This method uses process input/output signals for system identification of unknown control process. From the model information of control process which was obtained from system identification approach, the optimal PID parameters can be calculated. The method can be used in the safety-critical systems because it is not using test signals during system modeling process.

• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.59 no.1
• /
• pp.10-17
• /
• 2010

Safety-critical systems related to the railway communications are currently undergoing changes. Mechanical and electro-mechanical devices are being replaced by programmable electronics that are often controlled remotely via communication networks. Therefore designers and operators now not only have to contend with component failures and user errors, but also with the possibility that malicious entities are seeking to disrupt the services provided by theirs systems. Recognizing the safety-critical nature of the types of communications required in train control operations, the communications infrastructure will be required to meet a number of safety requirements such as system faults, user errors and the robustness in the presence of malicious attackers who are willing to take determined action to interfere in the correct operation of a system. In this paper, we proposed the safety strategies employed in the railway communications and a security mechanism for Korean railway communication system. Also, we presented the developed means for validation and determination of communication safety based on the proposed security mechanism in the railway system.

• Proceedings of the KIEE Conference
• /
• 2007.10c
• /
• pp.201-203
• /
• 2007

Safety critical systems are those in which a failure can have serious and irreversible consequences. Nowadays digital technology has been rapidly applied to critical system such as railways, airplanes, nuclear power plants, vehicles. The main difference between analog system and digital system is that the software is the key component of the digital system. The digital system performs more varying and highly complex functions efficiently compared to the existing analog system because software can be flexibly designed and implemented. The flexible design make it difficult to predict the software failures. This paper reviews safety standard and criteria for safety critical system such as railway system and suggests software development methodology for more detail description.