• Proceedings of the KIEE Conference
• /
• 2005.07d
• /
• pp.2489-2491
• /
• 2005

Currently, Programmable Logic Contorller(PLC) uses Real Time Operation System(RTOS) as basic OS. RTOS executes defined results as to defined time. General features of RTOS emphasize the priority in each task, high-speed process of external interrupt, task scheduling, synchronization in task, the limitation of memory capacity. For safety critical placement, PLC software needs Verification and Validation(V&V). For example, nuclear power plant. In this paper, PLC RTOS is verified by formal methods. Particularly, formal method V&V uses verification tool called 'STATEMATE', and shows the results.

• Journal of the Korean Institute of Electrical and Electronic Material Engineers
• /
• v.19 no.12
• /
• pp.1128-1133
• /
• 2006

The most important thing to secure safety and reliability of railway vehicles is to verify performance characteristics of equipments, and related companies or research institutes had many efforts to verify performances and functions of equipments synthetically and efficiently. KHST(Korean High Speed Train) has been developed by KRRI (Korea Railroad Research Institute). An electric railway system is composed of high-tech subsystems, among which main electric equipment such as transformers and converter are critical components determining the performance of rolling stock. We developed a measurement system for on-line test and evaluation of performances of KHST. The measurement system is composed of software part and hardware part. Perfect interface between multi-users is possible. A new method to measure temperature was applied to the ]measurement system. By using the system, fault diagnosis and performance evaluation of electric equipment in Korean High Speed Train was conducted during test running.

• Proceedings of the KSR Conference
• /
• 2006.11b
• /
• pp.1488-1494
• /
• 2006

The most important thing to secure safety and reliability of railway vehicles is to verify performance characteristics of equipments, and related companies or research institutes had many efforts to verify performances and functions of equipments synthetically and efficiently. KHST(Korean High Speed Train) has been developed by KRRI(Korea Railroad Research Institute). An electric railway system is composed of high-tech subsystems, among which main electric equipment such as transformers and converter are critical components determining the performance of rolling stock. We developed a measurement system for on-line test and evaluation of performances of KHST. The measurement system is composed of software part and hardware part. Perfect interface between multi-users is possible. A new method to measure temperature was applied to the measurement system. By using the system, fault diagnosis and performance evaluation of electric equipment in Korean High Speed Train was conducted during test running.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07b
• /
• pp.334-336
• /
• 2005

본 논문은 정형 명세 언어인 Esterel이 가지는 취약점을 보안하기 위해 Safety-Critical Aided Development Environment를 추가로 활용하여 신뢰성 있고 안전적인 임베디드 제어 소프트웨어 개발을 위한 기법을 제시하고 있다. 그 뿐만 아니라 제시한 기법을 이용하여 개발된 간단한 자동 강속 제어 소프트웨어를 인터페이스와 기능 부분에 대해서 각각 확인 및 검증을 수행한 후 임베디드 시스템인 레고 마인드 스톰으로 제작된 차량 로봇에 탑재한 후 실험을 하고, 실험을 통해 기존 개발 기법과의 차이점을 분석한다.

• Geomechanics and Engineering
• /
• v.24 no.6
• /
• pp.589-597
• /
• 2021

The present study evaluates geocell reinforced slope behavior. A three dimensional analysis is carried out to simulate soil and geocell elastoplastic behavior using the finite difference software FLAC3D. In order to investigate the geocell reinforcement effect, the geocell aperture size, thickness, geocell placement condition and soil compaction had been considered as variable parameters. Moreover, a comparison is evaluated between geocell reinforcing system and conventional planar reinforcement. The obtained results showed that the pocket size, thickness and soil compaction have considerable influence on the geocell reinforcement slope performance. Moreover, it was found that the critical sliding surface was bounded by the first geocell reinforcement and the slope stability increases, by increasing the vertical space between geocell layers. In addition, the comparison between geocell and geogrid reinforcement indicates the efficiency of using cellular honeycomb geosynthetic reinforcement.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.4
• /
• pp.265-269
• /
• 2009

Formal specification plays important roles in guaranteeing software safety of safety-critical systems such as nuclear power plant's digital control systems. We had developed a technique [1] which synthesizes Function Block Diagram(FBD) programs from NuSCR formal requirements specifications, but it did not be used widely as it had no automatic tool support. FBD is one of the programming languages for Programmable Logic Controllers(PLC) based system. This paper introduces a CASE tool, NuSCRtoFBD, developed to automate the synthesis procedure. The CASE tool NuSCRtoFBD can reduce a number of errors occurred in the process of manual FBD programming.

• International Journal of Reliability and Applications
• /
• v.3 no.1
• /
• pp.1-16
• /
• 2002

In reliability engineering, the bathtub-shaped hazard rates play an important role in survival analysis and many other applications as well. For the bathtub-shaped, initially the hazard rate decreases from a relatively high value due to manufacturing defects or infant mortality to a relatively stable middle useful life value and then slowly increases with the onset of old age or wear out. In this paper, we present a new two-parameter lifetime distribution function, called the Loglog distribution, with Vtub-shaped hazard rate function. We illustrate the usefulness of the new Vtub-shaped hazard rate function by evaluating the reliability of several helicopter parts based on the data obtained in the maintenance malfunction information reporting system database collected from October 1995 to September 1999. We develop the S-Plus add-in software tool, called Reliability and Safety Assessment (RSA), to calculate reliability measures include mean time to failure, mean residual function, and confidence Intervals of the two helicopter critical parts. We use the mean squared error to compare relative goodness of fit test of the distribution models include normal, lognormal, and Weibull within the two data sets. This research indicates that the result of the new Vtub-shaped hazard rate function is worth the extra function-complexity for a better relative fit. More application in broader validation of this conclusion is needed using other data sets for reliability modeling in a general industrial setting.

• Journal of the Korean Institute of Gas
• /
• v.8 no.1 s.22
• /
• pp.30-36
• /
• 2004

Although the usage of gas as one of the most economical energy source is ever expanding, numerous gas accidents occur as a result of negligence in safety management. The main reason behind such accident is that the current safety control system relies heavily on the manual control mechanism. This paper designed and developed a prototype of a computerized gas safety control system that automates such critical functions as the alarm sensing and the valve control. Since the system is connected through a digital network, the control can be performed remotely. Most importantly, the accidental risk or damage can be greatly reduced since the system monitors and reacts actively to gas leakage in real time.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.18 no.4
• /
• pp.563-570
• /
• 2023

The Safety Transmission Unit(STU) is a critical device used in railway systems to ensure safe and efficient operations by providing communication between trains and railway infrastructure. It is responsible for transmitting vital information and commands, allowing for the control and coordination of train movements. The STU plays a crucial role in maintaining the safety of passengers, crew, and the overall railway network. This paper presents the design and testing of a STU for the next-generation wireless-based train control system. An analysis of european and domestic standards was conducted to review requirements and ensure the design of a STU for the train control system meets international standards. Based on this analysis, hardware and software designs were developed to create an internationally recognized level of safety for the communication device. To verify the functionality of the STU, a simulator was developed, and it was confirmed that the designed features were successfully implemented.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.50 no.4
• /
• pp.259-267
• /
• 2022

The existing method of deriving the fail-safe design requirements for the domestic developed rotary-wing aircraft system may miss the factors that cause critical system function failures, when being applied to the latest integrated avionics system. It is because the existing method analyzes the severity effect of the failures caused by a single item. To solve the issue, we present a systematic analysis procedure for deriving fail-safe design requirements of system architecture by utilizing functional hazard assessment and development assurance level analysis of SAE ARP4754A, international standard for complex system development. To demonstrate that our proposed procedure can be a solution for the aforementioned issue, we set up experimental environments that include common factors that can cause critical function failures of a system, and we conducted a cross-validation with the existing method. As a result, we showed that the proposed procedure can identify the potential critical common factors that the existing method have missed, and that the proposed procedure can derive fail-safe design requirements to control the common factors.