• 한국품질경영학회:학술대회논문집
• /
• 한국품질경영학회 2004년도 품질경영모델을 통한 가치 창출
• /
• 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.

• 시스템엔지니어링학술지
• /
• 제10권2호
• /
• pp.51-58
• /
• 2014

Manufacturing industry is one of the core sectors providing national competitiveness and economical impact Today's manufacturing industry is required to fulfill so called Sustainable Factory paradigm from the perspectives of environmental and social development. To cope with the requirements, researches for achieving sustainability in manufacturing system are actively carried out in the world from various perspectives. In this paper, we analyzed systemic characteristics of sustainable manufacturing system, and developed verification & validation strategy based on traceability between system requirement and functionality. The developed methods were applied to a European Project called the Foundation for the Sustainable Factory of the Future (FoFdation). Specifically, we analyzed and verified the deliverables of FoFdation by deriving systems architecture in terms of Component, Function, and Items. The results indicated that the FoFdation is pretty much compliant with the concept of Ubiquitous Factory, and can be used as an International Reference Model for the Smart Factoy, a world wide hot topic under the paradigm of IOT (Internet-Of-Things), if information processing part is supplemented.

• 전기전자학회논문지
• /
• 제18권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.

• 한국물환경학회지
• /
• 제28권6호
• /
• pp.833-842
• /
• 2012

In this study Window interface to Hydrological Simulation Program-FORTRAN (HSPF) developed by the United States Environmental Protection Agency (EPA) was applied to the upstream of Namgang watershed to estimate its applicability for estimating Delivery Ratio (DR) of water pollutants for Total Maximum Daily Load (TMDL). BASINS/HSPF which is selected in this study, is found to be appropriate for simulation of daily flow and water quality in target basins. DR was estimated utilizing discharge loads of unobserved sub-basin and delivery load of unobserved locations obtained not by actual evaluation but by simulation through validation and verification. Annual average DR of BOD, TN and TP were 0.97 ~ 1.50, 2.23 ~ 3.21, and 0.81 ~ 1.09 respectively. Net DR of dependent basins excluding influence of upstream basin was 1.50 ~ 1.70, 0.55 ~ 0.69, and 0.24 ~ 0.31, all of which are lower than those of independent basins area. Utilizing the model selected by this research, DR and Net DR of unobserved basins will be estimated, which will help determine priorities in management of basin areas.

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

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

• 한국산학기술학회논문지
• /
• 제10권10호
• /
• pp.2583-2588
• /
• 2009

본 논문에서는 반정현파 형태의 충격을 받는 HDD에 대한 충격해석을 수행하고, 그 타당성을 실험적으로 검증하였다. 일반적으로 센서를 이용한 제품의 충격실험을 통해서는 제한적인 정보만을 얻을 수 있지만, 컴퓨터를 이용한 해석기술은 제품의 파손현상을 규명하는데 필요한 보다 광범위하고 상세한 정보를 제공할 수 있는 장점을 가진다. 하지만, 이러한 해석결과는 여러 요인들에 따라 매우 민감하기 때문에 그 타당성을 검증하는 것이 중요하다. 따라서 본 연구에서는 200G/1ms의 전자기 충격실험과 300G/2ms의 낙하충격실험을 통하여 HDD의 조립단계별로 LS-DYNA를 이용한 유한요소해석의 신뢰성을 검증하였다.

• 한국시뮬레이션학회논문지
• /
• 제27권1호
• /
• pp.25-32
• /
• 2018

본 논문은 모델 기반 내장형 소프트웨어의 자동 생성 코드에 대한 효율적인 신뢰성 시험 절차와 구체화된 동적 시험 방안에 대해서 제시하고 있다. 모델 정적/동적 시험 각각을 코드 정적/동적 시험 전에 수행함으로서 코드 신뢰성 시험 수행의 이점이 있음을 기술하였다. 또한, 모델과 코드의 신뢰성 시험 상관관계를 모델의 경우 Model Advisor와 Verification and Validation tool, 코드의 경우 Polyspace와 LDRA를 이용하여 살펴보고 제시한 절차대로 수행한 신뢰성 시험의 결과를 보여주고 있다.

• 시스템엔지니어링학술지
• /
• 제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.

• International Journal of Internet, Broadcasting and Communication
• /
• 제15권2호
• /
• pp.218-226
• /
• 2023

In Korea, we still use function point based cost estimations for software size and cost of a project. The current problem is that we make difficultly calculating function points with requirements and also have less accurate. That is, it is difficult for non-experts to analyze requirements and calculate function point values with them, and even experts often derive different function points. In addition, all stakeholders strongly make the validity and accuracy of the function point values of the project before /after the development is completed. There are methods for performing function point analysis using source code [1][2][3][4] and some researchers [5][6][7] attempt empirical verification of function points about the estimated cost. There is no research on automatic cost validation with source code after the final development is completed. In this paper, we propose automatically how to calculate Function Points based on natural language requirements before development and prove FP calculation based on the final source code after development. We expect validation by comparing the function scores calculated by forward engineering and reverse engineering methods.