• Journal of the Korea Institute of Military Science and Technology
• /
• v.9 no.1 s.24
• /
• pp.60-71
• /
• 2006

With the increased reliance on M & S(Modeling & Simulation) in military training, defense analysis, and system acquisition. The credibility of M & S becomes even more critical issue in the M & S application community. In this paper, we have introduced the VV & A(Verification, Validation and Accreditation) concept of M & S for the assurance of its credibility, and proposed the VV & A model applicable to a military simulator development with the illustrative example of MSAM(Medium range-Surface to Air Missile) system simulator.

• Nuclear Engineering and Technology
• /
• v.42 no.5
• /
• pp.500-519
• /
• 2010

AEGIS is a lattice physics code incorporating the latest advances in lattice physics computation, innovative calculation models and efficient numerical algorithms and is mainly used for light water reactor analyses. Though the primary objective of the AEGIS code is the preparation of a cross section set for SCOPE2 that is a three-dimensional pin-by-pin core analysis code, the AEGIS code can handle not only a fuel assembly but also multi-assemblies and a whole core geometry in two-dimensional geometry. The present paper summarizes the major calculation models and part of the verification/validation efforts related to the AEGIS code.

• International Journal of Naval Architecture and Ocean Engineering
• /
• v.5 no.1
• /
• pp.147-160
• /
• 2013

System integration is an important element for the construction of naval combat ships. In particular, because impeccable combat system integration together with the sensors and weapons can ensure the combat capability and survivability of the ship, the integrated performance of the combat system should be verified and validated whether or not it fulfills the requirements of the end user. In order to conduct systematic verification and validation, a data analysis tool is requisite. This paper suggests the Data Extraction, Recording and Analysis Tool (DERAT) for the data analysis of the integrated performance of the combat system, including the functional definition, architecture and effectiveness of the DERAT by presenting the test results.

• The Magazine of the IEIE
• /
• v.30 no.9
• /
• pp.1002-1011
• /
• 2003

In this paper, we introduce an integrated SoC front-end design & verification environment which can be practically used in the embedded 32-bit processor-core SoC VLSI design. Our introduced SoC design & verification environment integrates two most important flows, such as the RTL power estimation and code coverage analysis, with the functional verification (chip validation) flow which is used in the conventional simulation-based design. For this, we developed two simulation-based inhouse tools, RTL power estimator and code coverage analyzer, and used them to adopt them to our RTL design and to increase the design quality of that. Our integrated design environment also includes basic design and verification flows such as the gate-level functional verification with back annotation information and test vector capture & replay environment.

• Bulletin of the Korean Space Science Society
• /
• 2006.10a
• /
• pp.155-155
• /
• 2006

• Proceedings of the Korean Nuclear Society Conference
• /
• 1999.10a
• /
• pp.115.1-115
• /
• 1999

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2014.10a
• /
• pp.347-349
• /
• 2014

Model verification and validation (V&V) is a current research topic to build computational models with high predictive capability by addressing the general concepts, processes and statistical techniques. The hypothesis test for validity check is one of the model validation techniques and gives a guideline to evaluate the validity of a computational model when limited experimental data only exist due to restricted test resources (e.g., time and budget). The hypothesis test for validity check mainly employ Type I error, the risk of rejecting the valid computational model, for the validity evaluation since quantification of Type II error is not feasible for model validation. However, Type II error, the risk of accepting invalid computational model, should be importantly considered for an engineered products having high risk on predicted results. This paper proposes a technique named as the response-adaptive experimental design to reduce Type II error by adaptively designing experimental conditions for the validation experiment. A tire tread block problem and a numerical example are employed to show the effectiveness of the response-adaptive experimental design for the validity evaluation.

• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.7
• /
• pp.329-336
• /
• 2017

As web apps have evolved faster and become more complex, their validation and verification have become essential for their development and maintenance. Efficient validation and verification require understanding of how web components collaborate with each other to meet user requests. Thus, this paper proposes a new approach to automatically extracting such collaboration when a user issues a request for a new page. The approach is dynamic and less sensitive to web development languages and technologies, compared to static extraction approaches. It considers an orignal web app as a black-box and does not change the app's behavior. The empirical evaluation shows that our approach can be applicable to extract component collaboration and understand the behavior of open source web apps.

• Nuclear Engineering and Technology
• /
• v.48 no.5
• /
• pp.1083-1095
• /
• 2016

The design of Prototype Gen-IV Sodium-Cooled Fast Reactor (PGSFR) has been developed and the validation and verification (V&V) activities to demonstrate the system performance and safety are in progress. In this paper, the current status of test activities is described briefly and significant results are discussed. The large-scale sodium thermal-hydraulic test program, Sodium Test Loop for Safety Simulation and Assessment-1 (STELLA-1), produced satisfactory results, which were used for the computer codes V&V, and the performance test results of the model pump in sodiumshowed good agreement with those in water. The second phase of the STELLA program with the integral effect tests facility, STELLA-2, is in the detailed design stage of the design process. The sodium thermal-hydraulic experiment loop for finned-tube sodium-to-air heat exchanger performance test, the intermediate heat exchanger test facility, and the test facility for the reactor flow distribution are underway. Flow characteristics test in subchannels of a wire-wrapped rod bundle has been carried out for safety analysis in the core and the dynamic characteristic test of upper internal structure has been performed for the seismic analysis model for the PGSFR. The performance tests for control rod assemblies (CRAs) have been conducted for control rod drive mechanism driving parts and drop tests of the CRA under scram condition were performed. Finally, three types of inspection sensors under development for the safe operation of the PGSFR were explained with significant results.

• Journal of the Korea Safety Management & Science
• /
• v.16 no.4
• /
• pp.123-131
• /
• 2014

Modern weapon systems are getting more complex in terms of the functionality and also the conditions on the environment and range in which they are deployed and used. Therefore, many development programs can easily be exposed to a variety of risks, resulting in delayed schedules and cost overrun. As such, effective means are necessary to keep the defence budget at an affordable level while competitive edges on technological aspects are retained. As one way to meet those need, modeling and simulation (M&S) methods have widely been used, particularly in the test and evaluation (T&E) process for weapon systems development. The result of M&S-based systems development should be evaluated by the verification, validation & accreditation (VV&A) process to assure keeping reliability at a desired level. On the other hand, due to the explosiveness, the weapons systems development naturally requires to consider safety issues in both the T&E and operational periods. The purpose of this paper is to improve the VV&A process by reflecting the safety requirements therein. To do so, the VV&A process has been analyzed and graphically modeled first and then safety elements have been incorporated effectively. The use of the improved process in the war ships development has also been discussed. Based on the process proposed and the consequent database constructed, the target system can be expected to benefit from reducing development risks while assuring systems safety.