• Proceedings of the Korean Society for Quality Management Conference
• /
• 2004.04a
• /
• 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.

• Journal of the Korean Society of Systems Engineering
• /
• v.10 no.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.

• Journal of IKEEE
• /
• v.18 no.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.

• Journal of Korean Society on Water Environment
• /
• v.28 no.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.

• Proceedings of the Korean Nuclear Society Conference
• /
• 2001.05a
• /
• pp.105.2-105
• /
• 2001

• Proceedings of the Korean Nuclear Society Conference
• /
• 2004.05a
• /
• pp.227-227
• /
• 2004

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.10 no.10
• /
• pp.2583-2588
• /
• 2009

This study deals with the shock response analysis of HDD subjected to a half-sine shock pulse and its experimental verification. Comparatively, accurate computer simulation allows designers to determine complete mechanical information during the product impact time period, compared with only segmental messages by sensors in a test, to predict potential failures. But, impact/shock simulation technology is rather sensitive to various factors to predict the shock behavior without validation. In our shock simulation, the methodology of analysis with LS-DYNA3D and test validation is adopted to predict the shock behavior of HDD. We can confirm the soundness of the present shock simulation through the comparison with electromagnetic shock test(200G/1ms) and linear drop test(300G/2ms).

• Journal of the Korea Society for Simulation
• /
• v.27 no.1
• /
• pp.25-32
• /
• 2018

This paper presents an efficient software reliability testing method for the model based auto-generated code and reify a dynamic test procedure. The benefits of executing the model-based each static/dynamic reliability test before the code-based static/dynamic reliability test are described. Also, The correlations of code/model based reliability test are demonstrated by using model testing tool, Model Advisor and Verification and Validation, and the code testing tool, PolySpace and LDRA. The result of reliability test is indicated in this paper.

• Journal of the Korean Society of Systems Engineering
• /
• v.16 no.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
• /
• v.15 no.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.