• Journal of Korea Society of Digital Industry and Information Management
• /
• v.7 no.2
• /
• pp.29-37
• /
• 2011

Java bytecode verification is a critical process to guarantee the safety of transmitted Java applet on the web or contemporary embedded devices. We propose a design of framework which enables to analyze and verify java bytecode. The designed framework translates from a java bytecode into the intermediate representation which can specify a properties of program without using an operand stack. Using the framework is able to produce automatically error specifications that could be occurred in a program and express specifications annotated in intermediate representation by a user. Furthermore we design a verification condition generator which converts from an intermediate representation to a verification condition, a verification engine which verifies verification conditions from verification condition generator, and a result reporter which displays results of verification.

• Proceedings of the KIEE Conference
• /
• 2009.04a
• /
• pp.315-317
• /
• 2009

When happen the electrical facilities accident, the one's diagnosis system of fault cause was constructed by FMEA method. From the verification of system, the one's diagnosis system agreed well with result that analyzed actual stale. Thus, the system is judged to be used effectively examine for accident cause of electrical facilities.

• Journal of KIISE:Computing Practices and Letters
• /
• v.8 no.1
• /
• pp.46-61
• /
• 2002

Among the many phases involved in software development, requirements analysis phase in generally considered to play a crucial role in determining the overall software quality. Therefore, many software development companies manages the phase as one of the important phase. Especially, safety assurance through requirements analysis for safety-critical systems is quite demanding, and national and international bodies routinely require safety demonstration. Among various approaches, inspection and formal methods are generally shown to be effective. In this paper, we propose a formal verification procedure for SCR(Software Cost Reduction)-style SRS(Software Requirements Specification) using the PVS specification and verification procedure and applied this procedure to an industrial system such that a shutdown system for Wolsung nuclear power plant. This system had been verified through inspection not formal verification. The application of formal methods is rare in Korea, so it is very important to experiment about formal verification to industrial systems.

• Journal of Aerospace System Engineering
• /
• v.17 no.5
• /
• pp.42-57
• /
• 2023

In this paper, to increase the research capability of flight missions and maintenance in operating military aircraft, we studied the requirements for additional mounting of flight video and data recorders and safety verification methods. The verification process of the recorder equipment itself, structural safety in the aircraft system, power and electrical safety, electromagnetic compatibility, and impact of airworthiness are described in accordance with military standards and operating environment requirements. In addition, through ground/flight tests, the results of functional operation suitable for the influence and demand of interference between the flight video and data recorder and other systems are also presented.

• Journal of Auto-vehicle Safety Association
• /
• v.15 no.1
• /
• pp.16-26
• /
• 2023

Recently, the importance of simulation in a virtual driving environment as well as real road-based tests for autonomous vehicle testing is increasing. Real road tests are being actively conducted at K-City, an autonomous driving test bed located at the Korea Automobile Safety Test & Research Institute of the Transportation Safety Authority. In addition, the need to advance the K-City virtual driving environment and build a virtual environment similar to the autonomous driving system test environment in real road tests is increasing. In this study, for K-City of Korea Automobile Safety Test & Research Institute, using detailed drawings and actual field data, K-City virtual driving environment was advanced, and similarity verification was verified through comparative analysis with actual K-City.

• Proceedings of the KIEE Conference
• /
• 2001.07a
• /
• pp.87-89
• /
• 2001

On-site power system design of APR1400 is different from that of existing and operating plants and APR1400 has no operating experience. So we have to confirm its adequacy of design exclusively by analyses. So an method of analysis is the only way to evaluate safety of design of the power system of APR1400. Therefore the purpose of this paper is a construction of verification program and a verification of utilities' analysis results by using this program in order to confirm the adequacy of APR1400 on-site & off-site power-system.

• Current Optics and Photonics
• /
• v.1 no.5
• /
• pp.500-504
• /
• 2017

In this paper, we developed a temperature measurement system based on an infrared temperature imaging module for thermal safety verification of a plasma skin treatment device (PSTD). We tested a pilot product of the low-temperature PSTD using the system, and the temperature increase of each plasma torch was well-monitored in real-time. Additionally, through the approximation of the temperature increase of the plasma torches, a certain limitation of the plasma treatment time on skin was established with the International Electrotechnical Commission (IEC) guideline. We determined an appropriate plasma treatment time ($T_{Safe}$ < 24 minutes) using the configured temperature measurement system. We believe that the temperature measurement system has a potential to be employed for testing thermal safety and suitability of various medical devices and industrial instruments.

• Nuclear Engineering and Technology
• /
• v.28 no.6
• /
• pp.594-601
• /
• 1996

To assure quality of safety critical software, software should be developed in accordance with software development procedures and rigorous software verification and validation should be performed. Software verification is the formal act of reviewing, testing or checking, and documenting whether software components comply with the specified requirements for a particular stage of the development phase [1]. New software verification methodology was developed and was applied to the Shutdown System No. 1 and 2(SDS1,2) for Wolsong 2, 3 and 4 nuclear power plants by Korea Atomic Energy Research Institute(KAERI) and Atomic Energy of Canada Limited(AECL) in order to satisfy new regulation requirements of Atomic Energy Control Board(AECB). Software verification methodology applied to SDS1 for Wolsong 2, 3 and 4 project will be described in this paper. Some errors were found by this methodology during the software development for SDS1 and were corrected by software designer. Output from Wolsong 2, 3 and 4 project have demonstrated that the use of this methodology results in a high quality, cost-effective product.

• Proceedings of the KSR Conference
• /
• 2007.05a
• /
• pp.126-131
• /
• 2007

Design for automatic coupler system of Korean Tilting Train eXpress is described. In order to carry out validation & verification activities for system design, test condition is taken into account at collision speed of 10km/h, which is required in Safety Notice for rolling stock vehicle. The study aims at safety validation between a coupler and car body including design verification for a coupler through the identifying of system design and the evaluating of test results.

• Journal of the Korea Safety Management & Science
• /
• v.16 no.4
• /
• pp.123-131
• /
• 2014

Modern weapon systems are getting more complex in terms of the functionality and also the conditions on the environment and range in which they are deployed and used. Therefore, many development programs can easily be exposed to a variety of risks, resulting in delayed schedules and cost overrun. As such, effective means are necessary to keep the defence budget at an affordable level while competitive edges on technological aspects are retained. As one way to meet those need, modeling and simulation (M&S) methods have widely been used, particularly in the test and evaluation (T&E) process for weapon systems development. The result of M&S-based systems development should be evaluated by the verification, validation & accreditation (VV&A) process to assure keeping reliability at a desired level. On the other hand, due to the explosiveness, the weapons systems development naturally requires to consider safety issues in both the T&E and operational periods. The purpose of this paper is to improve the VV&A process by reflecting the safety requirements therein. To do so, the VV&A process has been analyzed and graphically modeled first and then safety elements have been incorporated effectively. The use of the improved process in the war ships development has also been discussed. Based on the process proposed and the consequent database constructed, the target system can be expected to benefit from reducing development risks while assuring systems safety.