• Proceedings of the Korean Nuclear Society Conference
• /
• 1998.05a
• /
• pp.329-334
• /
• 1998

원자력발전소와 같이 복잡하고 안전성이 강조되는 경보처리 및 표시계통은 개발개념의 적합성 (설계요건의 타당성), 적용된 알고리즘의 완결성(지식기반과 소프트웨어의 확인)과 인간공학적 유용성의 평가가 상당히 중요하다. 동적 경보계통(Alarm and Diagnosis-Integrated Operator Support System : ADIOS)은 다음과 같은 실험을 통해 경보처리 알고리즘의 완결성과 인간공학적 유용성을 확인하였다.·예비기능시험(Preliminary functional test)·Petri net 을 이용한 알고리즘의 완결성 확인(Verification)·전규모 시뮬레이션 환경에서의 인간공학적 성능평가(Validation and Evaluation)

• Plant Journal
• /
• v.13 no.2
• /
• pp.39-45
• /
• 2017

This paper is a study on FEED validation model that can be used in the bidding stage of small utility equipment in offshore plant industry using system engineering technique. Currently, domestic marine plant equipment industry companies are faced with the financial risk of project execution as they enter marine plant. The major cause was the insufficient ability to verify the FEED output from the contractor (Engineering or Procurement and Construction) of the equipment manufacturer (COMPANY or EPC). Therefore, we propose FEED design verification method that simplifies the system engineering method that sequentially applies requirements analysis, function, performance analysis and physical architecture building process. Also, we verified the suitability of the developed model by comparing the results of applying the developed FEED verification model and the verification method that depends on the existing experience for the small utility equipment (Air Compressor).

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.29 no.2
• /
• pp.275-285
• /
• 2019

Web-assemblies are a new binary standard designed to improve the performance of Web browser JavaScript. Web-assemblies are becoming a new web standard that can run at near native speed with efficient execution, concise representation, and code written in multiple languages. However, current Web-assembly vulnerability verification is limited to the Web assembly interpreter language, and vulnerability verification of Web-assembly binary itself is insufficient. Therefore, it is necessary to verify the safety of the web assembly itself. In this paper, we analyze how to operate the web assembly and verify the safety of the current web-assembly. In addition, we examine vulnerability of existing web -assembly and analyze limitations according to existing safety verification method. Finally, we introduce web-assembly API based fuzzing method to overcome limitation of web-assembly safety verification method. This verifies the effectiveness of the proposed Fuzzing by detecting crashes that could not be detected by existing safety verification tools.

• Proceedings of the KSR Conference
• /
• 2011.05a
• /
• pp.1167-1173
• /
• 2011

This study is described for the RAMS activities of performed to 2008.12 ~ 2010.10 KTX CTC Project. RAMS activities follow EN50126, EN50128, EN50129. CENELEC standards(EN50126, EN50128, EN50129) to the System Development Life-cycle are defined. This study is RAMS activities of life-cycle that can be found to satisfy SIL2. In addition, assessment of the ISA was completed. This paper is describe RAMS activities results of each phase and Safety Case according to Verification/Validation result.

• Proceedings of the Korean Nuclear Society Conference
• /
• 2003.05a
• /
• pp.86-86
• /
• 2003

• Journal of Korean Institute of Industrial Engineers
• /
• v.39 no.6
• /
• pp.486-497
• /
• 2013

In this paper, we first present an in-depth survey of the research on Verification, Validation and Accreditation (VV&A) applied in various areas. Then we introduce the characteristics of the military and defense Modeling and Simulation (M&S) and propose the direction of method for VV&A with the identified characteristics. The M&S has been widely used in many different applications in the military and defense area including training, analysis, and acquisition. Methods and processes of VV&A have been proposed by researchers and M&S practitioners to guarantee the correctness of the M&S. The idea of applying the formal credibility assessment in VV&A is originated from the Software Engineering Reliability Test and Systems Engineering Development Process. However, the current VV&A techniques and processes proposed in the research community have not utilized the military-and-defense specific characteristics. We identify the characteristics and issues that can be found in the military and defense M&S. Then propose the direction of techniques and methods for VV&A considering the characteristics and issues. Also, possible research direction on the development of VV&A is proposed.

• Nuclear Engineering and Technology
• /
• v.49 no.7
• /
• pp.1537-1546
• /
• 2017

Many thermal-hydraulic tests have been conducted at the Korea Atomic Energy Research Institute for verification of the SMART (System-integrated Modular Advanced ReacTor) design, the standard design approval of which was issued by the Korean regulatory body. In this paper, the contributions of these tests to the standard design approval of SMART are discussed. First, an integral effect test facility named VISTA-ITL (Experimental Verification by Integral Simulation of Transients and Accidents-Integral Test Loop) has been utilized to assess the TASS/SMR-S (Transient and Set-point Simulation/Small and Medium) safety analysis code and confirm its conservatism, to support standard design approval, and to construct a database for the SMART design optimization. In addition, many separate effect tests have been performed. The reactor internal flow test has been conducted using the SCOP (SMART COre flow distribution and Pressure drop test) facility to evaluate the reactor internal flow and pressure distributions. An ECC (Emergency Core Coolant) performance test has been carried out using the SWAT (SMART ECC Water Asymmetric Two-phase choking test) facility to evaluate the safety injection performance and to validate the thermal-hydraulic model used in the safety analysis code. The Freon CHF (Critical Heat Flux) test has been performed using the FTHEL (Freon Thermal Hydraulic Experimental Loop) facility to construct a database from the $5{\times}5$ rod bundle Freon CHF tests and to evaluate the DNBR (Departure from Nucleate Boiling Ratio) model in the safety analysis and core design codes. These test results were used for standard design approval of SMART to verify its design bases, design tools, and analysis methodology.

• Journal of Astronomy and Space Sciences
• /
• v.34 no.2
• /
• pp.139-151
• /
• 2017

This paper presents an overview of deep space orbit determination software (DSODS), as well as validation and verification results on its event prediction capabilities. DSODS was developed in the MATLAB object-oriented programming environment to support the Korea Pathfinder Lunar Orbiter (KPLO) mission. DSODS has three major capabilities: celestial event prediction for spacecraft, orbit determination with deep space network (DSN) tracking data, and DSN tracking data simulation. To achieve its functionality requirements, DSODS consists of four modules: orbit propagation (OP), event prediction (EP), data simulation (DS), and orbit determination (OD) modules. This paper explains the highest-level data flows between modules in event prediction, orbit determination, and tracking data simulation processes. Furthermore, to address the event prediction capability of DSODS, this paper introduces OP and EP modules. The role of the OP module is to handle time and coordinate system conversions, to propagate spacecraft trajectories, and to handle the ephemerides of spacecraft and celestial bodies. Currently, the OP module utilizes the General Mission Analysis Tool (GMAT) as a third-party software component for high-fidelity deep space propagation, as well as time and coordinate system conversions. The role of the EP module is to predict celestial events, including eclipses, and ground station visibilities, and this paper presents the functionality requirements of the EP module. The validation and verification results show that, for most cases, event prediction errors were less than 10 millisec when compared with flight proven mission analysis tools such as GMAT and Systems Tool Kit (STK). Thus, we conclude that DSODS is capable of predicting events for the KPLO in real mission applications.

• Women's Health Nursing
• /
• v.26 no.2
• /
• pp.141-150
• /
• 2020

Purpose: High-quality nursing care must be provided for women with infertility, and their nursing needs must be identified. Although scales have been developed to assess infertility-related stress, quality of life, and psychosocial status, there is a lack of scales that assess the nursing needs of women with infertility. The purpose of this study was to develop a needs assessment scale for nursing care in women with infertility and to verify its reliability and validity. Methods: The 250 subjects in this study were women with infertility recruited from four hospitals. The scale was developed following the framework of DeVellis, through a literature review, in-depth interviews, development of preliminary items, verification of content validity, development of secondary items, verification of construct validity, and extraction of the final items. Date were analyzed using item analysis, factor analysis, confirmatory factor analysis, Pearson correlation coefficients, and Cronbach's alpha. Reliability was tested using Cronbach's alpha, and validity was evaluated using item analysis, exploratory factor analysis, and criterion validity. Results: The final version of the nursing needs assessment scale for woman with infertility consisted of 18 items. Four factors (physical and psychological nursing needs, needs for information regarding treatment, needs for infertility-related understanding and concern, and supportive needs) explained 66.0% of the total variance. Cronbach's alpha was .92 for the overall instrument and ranged from .88 to .91 for the subscales. Conclusion: These results suggest that this needs assessment scale for nursing care in women with infertility demonstrated acceptable validity and reliability and contained items suitable for assessing the level of nursing care needed by women with infertility.

• Journal of Advanced Navigation Technology
• /
• v.21 no.1
• /
• pp.50-57
• /
• 2017

Recently, safety-critical aviation system development programs promoted domestically have been terminated in the middle stage or they have not been put to practical use at the final stage. The program failure may be caused by various factors, but this study focused on imperfect test and evaluation(T&E) procedures. In general, T&E process of a safety-critical system must be distributed throughout the entire life-cycle of the system, have a continuity in phases, and can be implemented in a variety of ways depending on the maturity of the system development and acquisition strategy. This paper aims to present a new strategy by analyzing the domestic and overseas T&E processes to reduce the risk of domestic safety-critical CNS/ATM system development program and increase the success rate of program. First, we discuss the verification and validation techniques for safety-critical systems, analyze the T&E procedures of advanced institutes and the domestic situation, and then compare the domestic and overseas T&E processes to complement the imperfect testing procedure.