• Journal of Advanced Navigation Technology
• /
• v.19 no.1
• /
• pp.15-21
• /
• 2015

WA-DGNSS is a system to service for users using a satellite which received correction data from ground station that calculates the relative errors of the tracked GNSS signals and sends to a satellite. Users are guaranteed the reliability of the GNSS signal and the accuracy of positioning. ICAO recommends the application of WA-DGNSS for the airplane taking off and landing process. In this paper, we suggests methods to verify of the pre-developed WA-DGNSS reference software constituting modules and an integration test process refer to the RTCA DO-278 which is a document for the development process of an aeronautics software. Also, we statistically verified the reference software test through our methods. And then, we confirmed to performance the function of the reference software properly.

• Proceedings of the IEEK Conference
• /
• 2001.06b
• /
• pp.117-120
• /
• 2001

This paper presents a HW/SW co-design environments and its validation for development of virtual component on the 32-bit RISC core which is used in the design of Information-Appliance-On-a-Chip. For the experimental environment, we developed the cycle-accurate instruction set simulator based on SE3208 RISC core of ADChips. To verify the function of RISC core at the cycle level, we implemented the verification environment by grafting this simulator on the Seamless CVE which is a commercial co-verification environment.

• 시스템엔지니어링워크숍
• /
• s.1
• /
• pp.27-31
• /
• 2003

This study is in a part of requirements validation plan for korean rubber-tired AGT system on test track. The AGT system is consisted subsystems as vehicle, signalling, communication, power distribution and infrastructure for rubber tire running on track. The subsystems will be installed and integrated on test track till next year for test and evaluation. This paper shows overview for test and evaluation in terms of system requirements and its validation classification, test track configuration, measuring system requirements and its configuration. The whole process of system integration and its validation will be controlled by means of KMS including documentation.

• Nuclear Engineering and Technology
• /
• v.55 no.12
• /
• pp.4518-4526
• /
• 2023

NECP-SARAX is a neutronics analysis code system for advanced reactor developed by Nuclear Engineering Computational Physics Laboratory of Xi'an Jiaotong University. In past few years, improvements have been implemented in TULIP code which is the cross-section generation module of NECP-SARAX, including the treatment of resonance interface, considering the self-shielding effect in non-resonance energy range, hyperfine group method and nuclear library with thermal scattering law. Previous studies show that NECP-SARAX has high performance in both fast and thermal spectrum system analysis. The accuracy of TULIP code in fast and thermal spectrum system analysis is demonstrated preliminarily. However, a systematic verification and validation is still necessary. In order to validate the applicability of TULIP code for full energy range, 147 fast spectrum critical experiment benchmarks and 170 thermal spectrum critical experiment benchmarks were selected from ICSBEP and used for analysis. The keff bias between TULIP code and reference value is less than 300 pcm for all fast spectrum benchmarks. And that bias keeps within 200 pcm for thermal spectrum benchmarks with neutron-moderating materials such as polyethylene, beryllium oxide, etc. The numerical results indicate that TULIP code has good performance for the analysis of fast and thermal spectrum system.

• Nuclear Engineering and Technology
• /
• v.54 no.9
• /
• pp.3494-3515
• /
• 2022

This paper presents the development of a nodal diffusion code, RAST-V, and its verification and validation for VVER (vodo-vodyanoi energetichesky reactor) analysis. A VVER analytic solver has been implemented in an in-house nodal diffusion code, RAST-K. The new RAST-K version, RAST-V, uses the triangle-based polynomial expansion nodal method. The RAST-K code provides stand-alone and two-step computation modes for steady-state and transient calculations. An in-house lattice code (STREAM) with updated features for VVER analysis is also utilized in the two-step method for cross-section generation. To assess the calculation capability of the formulated analysis module, various verification and validation studies have been performed with Rostov-II, and X2 multicycles, Novovoronezh-4, and the Atomic Energy Research benchmarks. In comparing the multicycle operation, rod worth, and integrated temperature coefficients, RAST-V is found to agree with measurements with high accuracy which RMS differences of each cycle are within ±47 ppm in multicycle operations, and ±81 pcm of the rod worth of the X2 reactor. Transient calculations were also performed considering two different rod ejection scenarios. The accuracy of RAST-V was observed to be comparable to that of conventional nodal diffusion codes (DYN3D, BIPR8, and PARCS).

• Nuclear Engineering and Technology
• /
• v.53 no.2
• /
• pp.455-465
• /
• 2021

The Molten Salt Reactor (MSR), one of the six advanced reactor types of the 4th generation nuclear energy systems, has many impressive features including economic advantages, inherent safety and nuclear non-proliferation. This paper introduces a system analysis code named TREND, which is developed and used for the steady and transient simulation of MSRs. The TREND code calculates the distributions of pressure, velocity and temperature of single-phase flows by solving the conservation equations of mass, momentum and energy, along with a fluid state equation. Heat structures coupled with the fluid dynamics model is sufficient to meet the demands of modeling MSR system-level thermal-hydraulics. The core power is based on the point reactor neutron kinetics model calculated by the typical Runge-Kutta method. An incremental PID controller is inserted to adjust the operation behaviors. The verification and validation of the TREND code have been carried out in two aspects: detailed code-to-code comparison with established thermal-hydraulic system codes such as RELAP5, and validation with the experimental data from MSRE and the CIET facility (the University of California, Berkeley's Compact Integral Effects Test facility).The results indicate that TREND can be used in analyzing the transient behaviors of MSRs and will be improved by validating with more experimental results with the support of SINAP.

• 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.

• Journal of Korea Society of Industrial Information Systems
• /
• v.7 no.5
• /
• pp.73-82
• /
• 2002

The economic relevance of Web applications increases the importance of controlling and improving their quality. Moreover the new available technologies for the development allow the insertion of sophisticated functions, but often leave the developers responsible for the organization and evolution. As a consequence, a high demand is emerging for methodologies and tools for quality assurance of Web based systems. In this paper, a UML model of Web applications is introduced for their high level representation and concept of the verification and validation activities. In this paper proposed analysis algorithm that was based on Domestic Website and presented result through experiments.

• 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.

• 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.