• Journal of Platform Technology
• /
• 제8권4호
• /
• pp.47-58
• /
• 2020

DO-330 소프트웨어 도구 자격증명 고려사항은 항공기에 탑재되는 소프트웨어 및 하드웨어를 개발/검증 하기 위해 사용되는 도구 개발 프로세스에 적용하기 위한 지침이다. 이 지침 상의 도구 개발 프로세스 중 검증 프로세스는 DO-330을 준수하기 위해 달성해야 하는 목표 중 많은 비중을 차지하고 있어 상당히 중요하다. 특히, 도구의 안전성 수준이 높은 개발 도구의 시험 목표들은 독립적으로 수행되어야 하기 때문에 많은 시간, 비용, 그리고 인력이 투입되어야 한다. 시험 절차를 잘 수립 해 놓았을 지라도 시험의 복잡도가 높아지면 인적 오류가 발생할 확률이 높아진다. 본 논문에서는 한화시스템에서 개발한 A661UAGEN 도구의 효율적인 DO-330 검증 프로세스를 진행하기 위한 스크립트 기반의 시험 자동화 에이전트 소프트웨어 구조를 제시하고 평가하였다. 그 결과 스크립트 기반의 시험 자동화 에이전트를 통해 자동화 된 시험이 테스트 엔지니어에 의한 수동 시험 보다 시험 수행 시간은 87.5%가 감소되었고, 시험 생산성은 43.75%가 향상되었음을 확인하였다.

• 한국시뮬레이션학회논문지
• /
• 제24권4호
• /
• pp.1-9
• /
• 2015

원자력 분야에서 안전관련(safety-related) 소프트웨어의 활용이 점차 확대됨에 따라서, 그에 상응하는 소프트웨어 안전과 신뢰도 향상을 위한 방안 연구가 지난 10여년 전부터 활발히 진행되고 있다. 원전 계측제어시스템(MMIS)은 원자력 발전소의 두뇌와 신경망에 해당하는 기능을 수행하고 있고 첨단 디지털 장비들로 구성된다. 따라서 원전 계측제어시스템의 소프트웨어 오류는 원자력 발전소 운전에 지장을 초래할 수 있고, 오동작으로 인한 발전소 정지로 경제적 손실을 초래할 수 있다. 소프트웨어 확인 및 검증(verification and validation, V&V)은 소프트웨어 품질을 향상시킬 수 있는 소프트웨어 공학의 분야로 알려져 있고, 원자력 산업계에서는 소프트웨어 생명주기에 따른 철저한 V&V 활동을 이행하고 준수할 것을 법규로 규정하고 있다. V&V 활동은 소프트웨어 전 생명주기에 따라 분석과 시험 활동들의 조합으로 다른 품질관련 공학 업무를 보완하는 역할을 한다. 본 논문에서는 명세 평가, 요건 추적, 소스코드 리뷰, 및 소프트웨어 시험을 통한 최적화된 안전관련 소프트웨어 V&V 방법론에 기반한 소프트웨어 품질 향상 방안과 단계별로 적합한 도구를 활용하여 효율성을 확보할 수 있는 방안을 제시하고자 한다. 제안된 방법론은 실제 신한울 1,2호기 원자력발전소 MMIS 시스템에 적용되어 입증되었다.

• 한국보건간호학회지
• /
• 제28권1호
• /
• pp.57-70
• /
• 2014

Purpose: This study is a methodological research study for development of a tool for measurement of care satisfaction of home health nursing in patients who have received care through home health nursing and to test the validity and reliability of the tool. Method: Based on Watson's theory of caring and its constituent factors, the literature related to home health nursing was reviewed, and the standard of home health nursing was compared and analyzed. For verification of the validation and reliability of the final tool which has been developed, data were collected from 166 people who were receiving home health nursing care. Result: According to results of analysis of the factors based on Kaiser and scree test, 10 factors with an eigenvalue greater than 1.0 were extracted, and they explained 72.26% of the total variance. In addition, the factor loadings of 56 questions were greater than .30. For verification of reliability, Cronbach's alpha for all 56 items was .98 and Guttman split half reliability coefficient was .90. Conclusion: This tool based on Watson's theory of caring contributed to development and application of the nursing theory through verification of the theory.

• 시스템엔지니어링학술지
• /
• 제16권2호
• /
• pp.1-15
• /
• 2020

Nuclear power plants in South Korea are operated to cover the baseload demand. Hence they are operated at 100% rated power and do not deploy power tracking control except for startup, shutdown, or during transients. However, as the contribution of renewable energy in the energy mix increases, load follow operation may be needed to cover the imbalance between consumption and production due to the intermittent nature of electricity produced from the conversion of wind or solar energy. Load follow operation may be quite challenging since the operators need to control the axial power distribution and core reactivity while simultaneously conducting the power maneuvering. In this paper, a systems engineering approach for multi-physics load follow simulation of APR1400 is performed. RELAP5/SCDAPSIM/MOD3.4/3DKIN multi-physics package is selected to simulate the Korean Advanced Power Reactor, APR1400, under load follow operation to reflect the impact of feedback signals on the system safety parameters. Furthermore, the systems engineering approach is adopted to identify the requirements, functions, and physical architecture to provide a set of verification and validation activities that guide this project development by linking each requirement to a validation or verification test with predefined success criteria.

• 한국산학기술학회논문지
• /
• 제20권9호
• /
• pp.397-404
• /
• 2019

무기체계 연구개발 시, 실제 환경에서의 기간, 안전, 비용 등의 사유로 시험평가가 제한되는 항목에 대해 M&S(Modeling and Simulation)를 활용하여 시험평가를 실시할 수 있다. 이때 시험평가용 M&S의 신뢰성(credibility) 확보를 위해 VV&A(Verification, Validation and Accreditation) 활동이 요구된다. 최근 무기체계의 연구개발 경향이 첨단화됨에 따라 M&S 활용과 이에 따른 VV&A 활동도 증가되고 있다. VV&A 활동이란 시험평가용 M&S가 실체계의 모습대로 구현되고, 사용 목적과 의도에 대한 신뢰성이 보장되었는지 검증(verification), 확인(validation)하여, 인정(accreditation)하는 것이다. VV&A 활동은 V&V(Verification & Validation)와 인정 활동으로 나뉜다. 국방과학연구소(이하, 국과연)에서 시험평가용 M&S의 VV&A를 수행할 시, V&V 활동을 수행하는 V&V에이전트는 국과연의 별도부서가 수행하고 인정 활동을 수행하는 인정(A)에이전트는 기품원이 수행한다. 본 논문은 현재까지 국과연에서 V&V에이전트로 수행한 시험평가용 M&S VV&A에 적용된 V&V 활동 프로세스 적립 결과를 소개한다. 이는 시험평가용 M&S의 개발과정에서 산출되는 각종 문서 및 개발 자료 등을 인정평가 항목의 관점에 따라 검증 및 확인을 하여, 인정판정 및 수락기준 충족여부를 판단할 수 있는 객관적인 근거 자료를 만들기 위해 수행한 프로세스이다.

• Asian-Australasian Journal of Animal Sciences
• /
• 제23권4호
• /
• pp.425-429
• /
• 2010

To develop an efficient DNA typing system for Chinese Holstein cattle, 17 microsatellites, which were amplified in four fluorescent multiplex reactions and genotyped by two capillary electrophoresis injections, were evaluated for parentage verification and identity test. These markers were highly polymorphic with a mean of 8.35 alleles per locus and an average expected heterozygosity of 0.711 in 371 individuals. Parentage exclusion probability with only one sampled parent was approximately 0.999. Parentage exclusion probability when another parent' genotype was known was over 0.99999. Overall probability of identity, i.e. the probability that two animals share a common genotype by chance, was $1.52{\times}10^{-16}$. In a test case of parentage assignment, the 17 loci assigned 31 out of 33 cows to the pedigree sires with 95% confidence, while 2 cows were excluded from the paternity relationship with candidate sires. The results demonstrated the high efficacy of the 17 markers in parentage analysis and individual identification for Chinese Holstein cattle.

• 대한안전경영과학회:학술대회논문집
• /
• 대한안전경영과학회 2001년도 춘계학술대회
• /
• pp.77-81
• /
• 2001

Burn-in is a test procedure to find and eliminate the inherent initial failure of a product during or at the final stage of production process. Software testing is the validation and verification process which is used to cut off the faults from a software. The two have the common function and objective of "debugging". This article summarizes some significant models on the optimal hardware and software burn-in time, and provides the relevant paper lists. The need for the development of the unified burn-in policy of a hardware-software system is addressed.addressed.

• Journal of Electrical Engineering and Technology
• /
• 제5권3호
• /
• pp.400-406
• /
• 2010

This paper deals with parameter tuning of the Power System Stabilizer (PSS) for 612 MVA thermal power plants in the KEPCO system and its validation in a field test. In this paper, the selection of parameters, such as lead-lag time constants for phase compensation and system gain, is optimized using linear and eigenvalue analyses. This is then verified through the time-domain transient stability analysis. In the next step, the performance of PSS is finally verified by the generator's on-line field test. After the field test, measured and simulated data are also compared to prove the effectiveness of the models used in the simulations.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1998년도 춘계학술발표회논문집(1)
• /
• pp.329-334
• /
• 1998

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

• Journal of electromagnetic engineering and science
• /
• 제13권3호
• /
• pp.192-194
• /
• 2013

This paper proposes a validation model using a reverberation chamber for verification of the effectiveness and accuracy of the statistical power balance (PWB) method. The PWB method treats electromagnetic (EM) field distributions in certain environments as a representative value of an "ensemble" average, so a reverberation chamber is utilized as a testing apparatus to experimentally simulate the sets of measurement field "ensemble" inside a complex environment. Measurements are performed with various test conditions for environmental loss using flat absorbers, and front and side doors of the chamber. Comparison between the PWB analysis and the measurement results shows good agreement, indicating the usefulness of this statistical analysis method for stating the electromagnetic field inside the EM zone as a representative value to general structures.