• 플랜트 저널
• /
• 제13권2호
• /
• pp.39-45
• /
• 2017

본 논문은 시스템엔지니어링기법을 이용하여 해양플랜트 산업의 소형 유틸리티 장비의 입찰단계에서 사용가능한 FEED 검증 수행모델에 대한 연구이다. 현재 국내 해양플랜트 기자재산업계는 해양플랜트에 진출하면서 프로젝트 수행에 따른 재정적 위험에 직면한 상태이며, 그 주요한 원인으로 기자재업체의 발주처(COMPANY 또는 EPC: Engineering, Procurement and Construction) 로부터 제공받은 FEED 결과물에 대한 검증능력부족으로 조사되었다. 이에 요구사항 분석, 기능, 성능분석 및 물리적아키텍처 구축프로세스를 순차적으로 적용하는 시스템 엔지니어링 기법을 간략화 한 FEED 설계 검증방법을 제안하고 이를 소형 유틸리티 장비(Air Compressor)를 대상으로 기존의 경험에 의존한 검증방법과 개발한 FEED 검증 모델을 적용한 결과를 비교함으로써 개발된 모델의 사용적정성을 검증하였다.

• 정보보호학회논문지
• /
• 제29권2호
• /
• pp.275-285
• /
• 2019

웹 어셈블리는 웹 브라우저 자바스크립트의 성능 향상을 위해 설계된 새로운 바이너리 표준이다. 웹 어셈블리는 효율적인 실행 및 간결한 표현과 여러 언어를 바탕으로 작성된 코드를 네이티브에 가까운 속도로 구동될 수 있는 새로운 웹 표준으로 자리 잡고 있다. 하지만 현재 웹 어셈블리 취약성 검증은 웹 어셈블리 인터프리터 언어에 제한되어 있으며, 웹 어셈블리 바이너리 자체에 대한 취약성 검증은 부족한 상황이다. 따라서 웹 어셈블리의 자체적인 안전성 검증이 필요한 실정이다. 본 논문에서는 먼저 웹 어셈블리의 구동 방식과 현재 웹 어셈블리의 안전성 검증 방법에 대해서 분석한다. 또한 기존에 발생하였던 웹 어셈블리 안전성 검증 방식에 대해 살펴보고, 이에 따른 기존 안전성 검증 방식의 한계점을 분석한다. 최종적으로 기존 안전성 검증 방법의 한계점을 극복하기 위한 웹 어셈블리 API 기반 퍼징 방법을 소개한다. 이는 기존 안전성 검증 도구로 탐지할 수 없었던 크래시를 탐지함으로써 제안하는 퍼징의 효용성을 검증한다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2011년도 춘계학술대회 논문집
• /
• 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.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 2003년도 춘계학술발표대회 요약집
• /
• pp.86-86
• /
• 2003

• 대한산업공학회지
• /
• 제39권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
• /
• 제49권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
• /
• 제34권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.

• 여성건강간호학회지
• /
• 제26권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.

• 한국항행학회논문지
• /
• 제21권1호
• /
• pp.50-57
• /
• 2017

최근 국내에서 추진된 항공 관련 안전필수시스템 기술 개발 사업들이 중도에 종료되거나 최종 단계에서 실용화되지 못하는 사례가 종종 발생했다. 사업실패의 원인은 여러 가지 요인이 있겠지만 본 연구에서는 불완전한 시험평가 절차에 주안점을 두고 관련 연구를 수행하였다. 일반적으로 안전필수시스템의 시험평가 프로세스는 시스템의 전 수명주기에 걸쳐 분포되고 단계별 연속성을 가져야 하며 시스템 설계 및 획득 전략의 성숙도에 따라 다양한 방법으로 실행될 수 있다. 본 논문의 목적은 국내 안전필수 항행시스템 개발 사업의 리스크를 줄이고 성공률을 높이기 위한 방안으로 국내외 시험평가 프로세스를 분석하여 새로운 전략을 제시하는 것이다. 먼저 안전필수시스템에 대한 검증 및 확인 기법에 대해 토의하고 선진기관의 시험평가 프로세스 및 절차와 국내 현황을 분석한 뒤 국내외 시험평가 프로세스를 비교함으로써 불완전한 시험평가 절차에 대한 보완책을 제시하였다.

• 대한인간공학회지
• /
• 제32권1호
• /
• pp.9-16
• /
• 2013

Objective: The aim of this study is to investigate a trend of human error types observed in a series of verification and validation experiments for an Advanced Control Room(ACR) equipped with Lager Display Panel(LDP), Work Station Flat Panel Display(WS FPD), list type Alarm System(AS), Soft Control(SC) and Computerized Procedure System(CPS). Background: Operator behaviors in a fully computerized control room are quite different from those in a traditional hard-wired control room. Operators in an ACR all together monitor plant status and variables through their own interface system such as LDP and WS FPD, are notified of abnormal plant status through their own list type AS, control the plant through their own SC, and follow the structured procedure through their own CPS whereas operators in a traditional control room only separately do their duty directed by their supervisor. Especially the secondary task such as manipulating the user interface of ACR can be an extra burden to all the operators including the supervisor. Method: The Reason's human error classification method was applied to operators' behavioral data collected from a series of verification and validation experiments where operators showed their plant operational behaviors under a couple of harsh scenarios using the ACR simulator. Results: As operators accustomed to the new ACR system, knowledge or rule based mistakes appearing frequently in the early series of experiments decreased drastically in the latest stage of the series. Slip and lapse types of errors were observed throughout the series of experiments. Conclusion: Education and training can be one of the most important factors for the operators accustomed to the traditional control room to be adapted to the new system and to run the ACR successfully. Application: The results of this study implied that knowledge or rule based mistakes can be reduced by training and education but that lapse type errors might be reduced only through innovative improvement in human-system interface design or teamwork culture design including a new leadership style suitable for ACR.