• Journal of Korean Society on Water Environment
• /
• v.31 no.5
• /
• pp.507-522
• /
• 2015

In this study, some of the model verification results of STREAM (Spatio-Temporal River-basin Ecohydrology Analysis Model), a newly-developed hybrid watershed model, are presented for the runoff processes of nonpoint source pollution. For verification study of STREAM, the model was applied to a test watershed and a sensitivity analysis was also carried out for selected parameters. STREAM was applied to the Mankyung River Watershed to review the applicability of the model in the course of model calibration and validation against the stream flow discharge, suspended sediment discharge and some water quality items (TOC, TN, TP) measured at the watershed outlet. The model setup, simulation and data I/O modules worked as designed and both of the calibration and validation results showed good agreement between the simulated and the measured data sets: NSE over 0.7 and $R^2$ greater than 0.8. The simulation results also include the spatial distribution of runoff processes and watershed mass balance at the watershed scale. Additionally, the irrigation process of the model was examined in detail at reservoirs and paddy fields.

• Journal of the Korean Society of Systems Engineering
• /
• v.19 no.1
• /
• pp.44-55
• /
• 2023

The defense M&S system, which has been classified as a weapon system between requirements determination and project implementation, is being developed by applying the weapon system development procedure of the Defense Acquisition Program Administration. The M&S system abstracts and models the real world to suit the intended use and proceeds with the process of developing it as a software-oriented system. Overseas, the conceptual model development stage is staged before entering the design stage after the requirements analysis. In addition, each step includes verification and validation processes. In Korea, while establishing and applying the weapon system development procedure based on the SE process, the M&S system is also applied in the same way as the general weapon system, limiting appropriate development outputs and verification and validation. In this study, the system development procedure of the M&S system is established and presented based on the relevant standards and SE process of developed countries.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.17 no.3
• /
• pp.318-326
• /
• 2014

The Shipyard Test of Naval Combat System depends on external factors, such as weather conditions and availability of its sensor-weapon, due to the need of on-board sensor-weapon during the test. This paper suggests the Supportive Equipment using virtual simulator for Shipward Test, in case of the unavailability of the on-board sensor-weapon or the test support force(aircraft, surface ship etc.), to pre-check the functions of the combat system as well as to prepare the Shipyard Test. To mock the real sensor-weapon functions as similar as possible, the Supportive Equipment for Shipyard Test was verified by the Verification and Validation process, which is usually performed while developing models in the Modeling & Simulation field.

• Plant Journal
• /
• v.13 no.4
• /
• pp.41-47
• /
• 2017

This paper is a study on validation model that can verify the arrangement of equipment constituting offshore plant using system engineering approach in offshore plant tender stage. In order to design offshore plant topside maintenance equipment, topside layout verification should be preceded. However, there are many errors in the bidding stage due to the FEED results that are not perfect, the verification can not be performed sufficiently due to the limitation of the bidding period and others reasons. Therefore, we propose a validation model that can effectively verify the equipment layout within a limited condition by simplifying the main process in the system engineering process, which is a multidisciplinary approach, and confirmed through the Functional Deployment Model. Also, we verified the validation model for topside equipment deployment through case studies.

• Proceedings of the KIEE Conference
• /
• 2005.07d
• /
• pp.2489-2491
• /
• 2005

Currently, Programmable Logic Contorller(PLC) uses Real Time Operation System(RTOS) as basic OS. RTOS executes defined results as to defined time. General features of RTOS emphasize the priority in each task, high-speed process of external interrupt, task scheduling, synchronization in task, the limitation of memory capacity. For safety critical placement, PLC software needs Verification and Validation(V&V). For example, nuclear power plant. In this paper, PLC RTOS is verified by formal methods. Particularly, formal method V&V uses verification tool called 'STATEMATE', and shows the results.

• Journal of Korea Society of Industrial Information Systems
• /
• v.25 no.4
• /
• pp.17-27
• /
• 2020

In this paper, we proposed verification methods to prove the effectiveness of automatic test equipment (ATE) for weapon systems. Since the test results from the unproven ATE is not reliable and its use is limited as objective data, it is essential to verify the test equipment in order to guarantee the quality level of the unit under test (UUT). Through the suggested methods, it is applied to the ATE of the tactical information communications network (TICN) system to confirm the verification results and to describe the validation results.

• Proceedings of the IEEK Conference
• /
• 2002.07b
• /
• pp.920-923
• /
• 2002

In this paper, we propose Class Diagram With Constraints (CDWC) as an object oriented modeling technique which makes validation possible in software development. CDWC is a simple and basic model for the object oriented analysis, and has a reasonable strictness for software developers. CDWC consists of class diagrams and constraints (invariant and pre/post conditions), using UML and a subset of OCL.. We introduce a method of validation of CDWC using the verification technique of algebraic formal specification language CafeOBJ.

• The Journal of the Korea Contents Association
• /
• v.5 no.2
• /
• pp.95-105
• /
• 2005

As a research on PKI is being very popular, the study relating to certificate status validation is being grown with aim to reduce an overhead of the protocol and to provide an efficient operation. The OCSP of the standard protocol related to the study enables applications to determine the revocation state of an identified certificate. However, the OCSP server can not service millions of certificate status validation requests from clients in a second on E-commerce because of the computational time for signature and verification. So, we propose the Real-time Certificate Status Validation Protocol(RCSVP) that has smaller computational time than OCSP. RCSVP server reduce the computational time of certificate status validation using hash function and common secret value. Also RCSVP client does not need the computational time of certificate verification to acquire the public key from an identified certificate. Therefore, the proposed protocol enables server to response millions of certificate status validation requests from clients in a second on E-commerce.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.45 no.6
• /
• pp.508-516
• /
• 2017

The M&S (Model and Simulation) has been increasingly used in the wide area of applications and the official certification or accreditation of the M&S are becoming a mandatory requirement to prevent the risks and mishaps caused by the usage of inadequate M&Ss or by misuses of the M&S. This paper threats the VV&A (Verification, Validation, and Accreditation) for the M&S used in the development of the aerospace systems, where most M&S used in the development are derived from the physical laws and the final validation data are typically obtained through a series of flight tests after the prototype production. Considering these unique features, the paper proposes the M&S life-cycle model and development paradigm suitable for the aerospace-system development and accesses the proposed ones by comparative investigation on the relevant regulations and related literatures.

• Nuclear Engineering and Technology
• /
• v.51 no.2
• /
• pp.356-368
• /
• 2019

This paper presents the verification and validation (V&V) of the STREAM/RAST-K 2.0 code system for a pressurized water reactor (PWR) analysis. A lattice physics code STREAM and a nodal diffusion code RAST-K 2.0 have been developed by a computational reactor physics and experiment laboratory (CORE) of Ulsan National Institute of Science and Technology (UNIST) for an accurate two-step PWR analysis. The calculation modules of each code were already verified against various benchmark problems, whereas this paper focuses on the V&V of linked code system. Three PWR type reactor cores, OPR-1000, three-loop Westinghouse reactor core, and APR-1400, are selected as V&V target plants. This code system, for verification, is compared against the conventional code systems used for the calculations in nuclear design reports (NDRs) and validated against measured plant data. Compared parameters are as follows: critical boron concentration (CBC), axial shape index (ASI), assembly-wise power distribution, burnup distribution and peaking factors. STREAM/RAST-K 2.0 shows the RMS error of critical boron concentration within 20 ppm, and the RMS error of assembly power within 1.34% for all the cycles of all reactors.