• Journal of Positioning, Navigation, and Timing
• /
• v.10 no.3
• /
• pp.221-228
• /
• 2021

The Korea Augmentation Satellite System (KASS) is a Korean Satellite Based Augmentation System (SBAS) that has been under development since 2014 with the goal of providing Approach Procedure with Vertical guidance (APV)-I Safety of Life (SoL) services. KASS Control Station (KCS) is a subsystem that controls and monitors KASS systems. It also serves to store data generated by KASS. KCS has now completed detailed design and implementation and verification is in progress. This paper presents verification procedures and verification items for KCS verification activities and presents management measures for defects occurring during the verification phase.

• International Journal of Safety
• /
• v.10 no.2
• /
• pp.27-31
• /
• 2011

As safety-related regulations for signaling systems are standardized to IEC 61508 and 62425, and others at the international level, safety activities and its verification are required. And also there is need to develop technologies for safety improvement to secure safety signaling systems in terms of technologies for safety activities on each life-cycle. In this paper it is reviewed the safety activity processes and technologies each steps of proposed processes respectively for railway signaling systems.

• Journal of the Korean Society for Railway
• /
• v.10 no.3 s.40
• /
• pp.365-371
• /
• 2007

The communication protocol for interface among railway signalling systems is designed and established as national standard in Korean from a few years ago. So the communication link for information transmission among railway signalling system can be a good example of application of this standard. Communication protocol which is standardized among Korean railway signalling is considered to apply information transmission. And we confirmed there is no the states of deadlock of livelock in std. protocol which is applied formal verification which is one of the analytic method for inspection of safety characteristics in the design course of protocol. But the safety of protocol has to necessarily accomplish this normal analysis approach about satisfying requirement matters with such this analytic approach. In this paper we analyzed the safety characteristics of standard protocol for Korean Railway signalling through the requirement matters for safety transmission of railway transmission system which is required in international standard. So through this study we confirm whether it satisfies safety requirement matters of the level which require in international standard and tried to confirm whether standard protocol has enough safety character in the real railway field.

• Journal of KIISE:Software and Applications
• /
• v.27 no.8
• /
• pp.886-901
• /
• 2000

Verification of the safety of untrusted codes becomes an important issue in the mobile computing environment and the safety-critical software systems. Recently, it is very common to run the codes attached to the electronic mails or downloaded from the web browsers. We propose the verification method of the machine code property. The code producer delivers the machine code and its property, then the code consumer checks whether the delivered code satisfies the delivered property. The safety of source codes is verified by the well-defined compiler systems but the verification mechanism for machine codes is not well defined yet. We design an intermediate language etySECK and propose the verification method of the property of etySECK programs. And then we prove the soundness of our system which is the type system with effect extension.

• Journal of the Korean Society of Safety
• /
• v.30 no.3
• /
• pp.114-122
• /
• 2015

In a fire hazard analysis (FHA) for nuclear power plant, various electrical circuit analyses are performed in the parts of fire loading analysis, fire modeling analysis, separation criteria analysis, associated circuit analysis, and multiple spurious operation analysis. Thus, electrical circuit analyses are very important areas so that reliability of the analysis results should be assured. This study is to establish essential electrical elements for each analysis for verification of the reliability of the electrical circuit analyses in the fire hazard analysis for nuclear power plants. Applying the results derived by the study to domestic nuclear power plants, it is expected to determine the adequacy of the fire hazard analysis report and contribute to the reliability of the fire hazard analysis of those plants.

• Journal of Information Processing Systems
• /
• v.14 no.2
• /
• pp.309-321
• /
• 2018

In the conventional computing environment, users use only a small number of software systems intensively. So it had been enough to check and guarantee the functional correctness and safety of a small number of giant systems in order to protect the user systems and their information inside the systems from outside attacks. However, checking the correctness and safety of giant systems is not enough anymore, since users are using various software systems or web services provided by unskilled developers. To prove or guarantee the safety of software system, a lot of research has been conducted in diverse areas of computer science. We will discuss the on-going approaches for guaranteeing or verifying the safety of software systems in this paper. We also discuss the future research challenge which must be solved with better solutions in the near future.

• 한국연소학회:학술대회논문집
• /
• 2014.11a
• /
• pp.293-294
• /
• 2014

In Korea, only butane gas could be used as fuel gas of the outdoor gas stove. However, butane is not vaporized well at low temperatures. For this reason, in the field, nozzle of the portable butane gas stove is converted illegally to use propane gas. Because vapor pressure of propane gas is higher than that of butane gas at same temperature, gas accidents such as gas leakage could be occurred. To prevent gas accidents and use portable propane gas stoves safely, international standards need to be analyzed and verification tests need to be performed with prototype stove. This study could suggest to revise standard for safety improvement with portable propane gas stoves.

• Journal of the Korean Society of Safety
• /
• v.25 no.3
• /
• pp.83-90
• /
• 2010

In this study, it is conducted that the performance verification of the ambient load carrying capacity algorithm using long-term measurement systems of bridges. For this purpose, a steel-box type model bridge is fabricated and the public load carrying capacity of a steel-box model bridge is estimated by conducting the numerical analysis and load test. In addition, we compare the public load carrying capacity with the estimated result of a steel-box model bridge using the ambient load carrying capacity algorithm. By the assessment result, it is shown that the estimated ambient load carrying capacity is the difference of approximately 6.0 percentages as compared with the public load carrying capacity.

• Journal of IKEEE
• /
• v.18 no.4
• /
• pp.566-571
• /
• 2014

A safety class field programmable gate array based system in nuclear power plant has been developed to improve the diversity. Testbench is necessary to satisfy the technical reference, IEC-62566, for verification and validation of register transfer level code. We use the open verification methodology(OVM) developed by standard body. We show that our testbench can use random input for test. And also we show that reusability of block level testbench for the integration level testbench, which is very efficient for large scale system like nuclear reactor protection system.

• Proceedings of the Korean Society for Quality Management Conference
• /
• 2004.04a
• /
• pp.114-119
• /
• 2004

Software verification and validation(V&V) is a means to develop high-quality software and assure safety and reliability for software. Also, we can achieve the desired software quality through systematic V&V activities. The software to be applied safety critical system like nuclear power plants is required to setup the V&V methodology that comply with licensing requirements for nuclear power plants and should be performed V&V activities according to it. In this paper, we classified safety-critical, safety-related and non-safety for software according to safety function to be peformed and define V&V activities to be applied software grade. Also, we defined V&V activities, procedures and documentation for each phase of software development life cycle and showed techniques and management to perform V&V. Finally, we propose the V&V framework to be applied software development of SMART(System-integrated Modular Advanced ReacTor) MMIS (Man-Machine Interface System) and to comply with domestic licensing requirements.