• Journal of the Korea Society for Simulation
• /
• v.19 no.1
• /
• pp.153-160
• /
• 2010

Most part of errors in software development process are included during the stage of requirements definition and design. And correction or elimination of errors from those stages requires much more efforts and costs than those from the later part of software development process. However, despite of the importance of the validation of requirement definition and design stages, several kinds of problem have made it hard to be done successfully. Therefore, in this paper, we introduce a novel validation process for the preliminary design stage. The validation process is based on simulations of model and it can be used to validate requirements and model simultaneously. Models in the validation process will take only the behavior of software and be built on Ptolemy framework. The usability of our validation process is confirmed with a case study over DNS system environment. And the result of simulation shows well-known errors or vulnerabilities can be found with simulations of model which has the behavior of software. This means our validation process can be used as a process to validate requirements and models during the early stage of software development process.

• Journal of Digital Contents Society
• /
• v.18 no.3
• /
• pp.525-534
• /
• 2017

The open set recognition method should be used for the cases that the classes of test data are not known completely in the training phase. So it is required to include two processes of classification and the validation test. This kind of research is very necessary for commercialization of face recognition modules, but few domestic researches results about it have been published. In this paper, we propose an open set face recognition method that includes two sequential validation phases. In the first phase, with dummy classes we perform classification based on sparse representation. Here, when the test data is classified into a dummy class, we conclude that the data is invalid. If the data is classified into one of the regular training classes, for second validation test we extract four features and apply them for the proposed decision function. In experiments, we proposed a simulation method for open set recognition and showed that the proposed validation test outperform SCI of the well-known validation method

• Steel and Composite Structures
• /
• v.17 no.6
• /
• pp.835-850
• /
• 2014

The fire resistance of composite steel and concrete structures may be determined by using the simplified methods provided in EN 1994-1-2. For the particular situations not covered by the standard, an advanced calculation model might be applied, using special purpose programs for the analysis of structures in fire. The validation of these programs has always been an important issue for software developers, but also for designers and authorities. Clause 4.4.4 from EN 1994-1-2 refers to the validation of the advanced calculation models and states that these models must be validated through relevant test results. The paper presents the calculation of fire resistance of the composite columns in a high-rise building built in Romania, and focusses on the validation of the calculation model (computer program SAFIR), for this particular case. This validation, asked by the Romanian authorities, considers the available experimental results of a fire test, performed on a similar composite steel-concrete column.

• Proceedings of the KIEE Conference
• /
• 2005.05a
• /
• pp.155-157
• /
• 2005

The Electrical Test Bed(ETB) integrates the test environment, required for acceptance tests of system level, prior to FM testing. The ETB will be used for the validation of system-level functions and interface between each subsystem. The FTB supports early functional and limited performance checkout of electrical subsystems. Therefore, it provides the environment for the verification of the Flight Software including AOCS, EPS, and TC&R simulators. These ETB will be composed of engineering version of spacecraft BUS, which are laid on the laboratory table.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.37 no.2
• /
• pp.209-214
• /
• 2009

The simulation software for predicting the performance of a wind turbine generator system (WTGS) is validated using the field measured data obtained from the idling test run of a dual rotor wind turbine recently developed and installed in Korea. Both steady-state and transient responses at low and high wind conditions are compared with the theoretically predicted ones from the simulation software WINSIM.

• Journal of Applied Reliability
• /
• v.16 no.3
• /
• pp.216-223
• /
• 2016

Purpose: This paper suggests the procedure to enhance the reliability of the software of the medical device that is to cure, treat, diagnose, and prevent a disease or an abnormal health conditions. Methods: After test requirements are classified by the software requirements specification for safety and backgrounds, reliability assessment methods are suggested. Results: Verification and validation for function and safety can be performed whether the medical device software are implemented as intended. Conclusion: Procedure on the static analysis, unit test, integration test, and system test are provided for the medical device software.

• Aerospace Engineering and Technology
• /
• v.9 no.2
• /
• pp.51-56
• /
• 2010

There are two main software in COMS ground station at the normal mode operation - stationkeeping and wheel off-loading. In this paper, ground software validation test for wheel off-loading is summarized and described. The wheel off-loading was performed the design change from E3000 heritage and analyzed. The wheel off-loading of ground software has two part; one is wheel off-loading management for parameters change at the thruster set switching time and the other is wheel off-loading set-point being sent to satellite for the reference momentum.

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

• Journal of Yeungnam Medical Science
• /
• v.35 no.1
• /
• pp.63-69
• /
• 2018

Background: Kinovea software that tracking semi-automatically the motion in video screen has been used to study motion-related tasks in several studies. However, the validation of this software in open field test to assess locomotor activity have not been studied yet. Therefore, this study aimed to examine the reliability and validity of this software in analyzing locomotor activities. Methods: Thirty male Institute Cancer Research mice were subjected in this study. The results examined by this software and the classical method were compared. Test-retest reliability and inter-rater reliability were analyzed with Pearson's correlation coefficient and intraclass correlation coefficient (ICC). The validity of this software was analyzed with Pearson's correlation coefficient. Results: This software showed good test-retest reliability (ICC=0.997, 95% confidence interval [CI]=0.975-0.994, p<0.001). This software also showed good inter-rater reliability (ICC=0.987, 95% CI=0.973-0.994, p<0.001). Furthermore, in three analyses for the validity of this software, there were significant correlations between two methods (Pearson's correlation coefficient=0.928-0.972, p<0.001). In addition, this software showed good reliability and validity in the analysis locomotor activity according to time interval. Conclusion: This study showed that this software in analyzing drug-induced locomotor activity has good reliability and validity. This software can be effectively used in animal study using the analysis of locomotor activity.

• Proceedings of the Safety Management and Science Conference
• /
• 2001.05a
• /
• pp.77-81
• /
• 2001

Burn-in is a test procedure to find and eliminate the inherent initial failure of a product during or at the final stage of production process. Software testing is the validation and verification process which is used to cut off the faults from a software. The two have the common function and objective of "debugging". This article summarizes some significant models on the optimal hardware and software burn-in time, and provides the relevant paper lists. The need for the development of the unified burn-in policy of a hardware-software system is addressed.addressed.