• Journal of Internet Computing and Services
• /
• v.17 no.2
• /
• pp.39-47
• /
• 2016

In software R&D artifacts including documents and program code are produced. There are two kinds of software R&D artifacts: Research artifacts and development artifacts. Research artifacts include software R&D planning document, annual report, final report, research note and so on. Software development artifacts include software requirements, software design description, testing plan, test report, and program code. It is important to verify the documents and to test code to check the direction of the R&D. Moreover, we should check relationships as such completeness and consistency between research and development artifacts. The verification and testing help project manager and researchers understand what they do during software projects. Therefore, in this study, we present a process to verify documents and program in software R & D. In the process we check documents produced in software R&D and test program code. We describe the process by using Essence elements including alpha, activity, and competency. We present a case study to show the effectiveness of the process.

• Proceedings of the KSME Conference
• /
• 2007.05a
• /
• pp.855-860
• /
• 2007

This paper describes a human driver model developed based on finite preview optimal control method. The human driver steering model is constructed to minimize a performance index which is a quadratic form of lateral position error, yaw angle error and steering input. Simulation studies are conducted using a vehicle simulation software, Carsim. The Carsim vehicle model is validated using vehicle test data. In order to validate the human driving steering model, the human driver steering model is compared to the driving data on a virtual test track(VTT) and the actual vehicle test data. It is shown that human driver steering behaviors can be well represented by the human driver steering model presented in this paper

• Proceedings of the IEEK Conference
• /
• 2002.06a
• /
• pp.235-238
• /
• 2002

In this paper we describe the design and implementation of Electrical Ground Support Equipment(EGSE) for the CBS transponder testing. The main task of EGSE is to check out satellite systems, at system or subsystem level, during integration and validation phases of their life-cycle. Through a combination of hardware and software elements, EGSE supports manual, semi-automatic and fully automated testing. Automation is achieved by offering users simple, yet powerful means to write their own test application programs (test sequences) in high-level, test-oriented language and to run them in a strict real-time environment. The core of this environment is a user-configurable real-time database, containing all the information needed to calibrate acquired data, check them against predefined thresholds, automatically react to out-of-range conditions, display data using animated graphics or synoptic windows, and so on.

• Proceedings of the KSRS Conference
• /
• 2003.11a
• /
• pp.1418-1420
• /
• 2003

This presentation summarizes the development of the integration information search system for a Test-bed area located in Daejeon. It will be used for the validation of software components developed for the high resolution satellite image processing. The system development utilizes the Java programming language and implements the web browse capabilities to search, manage, and augment the satellite image data, the Ground Control Point(GCP) data, the spectral information on land cover types, the atmospheric data, and the topographical map.

• The Transactions of the Korea Information Processing Society
• /
• v.13 no.6
• /
• pp.243-250
• /
• 2024

Biomimetic robots, which emulate characteristics of biological entities such as birds or insects, have the potential to offer a tactical advantage in surveillance and reconnaissance in future battlefields. To effectively utilize these robots, it is essential to develop technologies that emulate the wing flapping of birds or the movements of cockroaches. However, this effort is complicated by the challenges associated with securing the necessary hardware and the complexities involved in software development and validation processes. In this paper, we presents the design and implementation of a multi-HILS based biomimic robot software validation testbed using modeling and simulation (M&S). By employing this testbed, developers can overcome the absence of hardware, simulate future battlefield scenarios, and conduct software development and testing. However, the multi-HILS based testbed may experience inter-device communication delays as the number of test robots increases, significantly affecting the reliability of simulation results. To address this issue, we propose the data distribution service priority (DDSP), a priority-based middleware. DDSP demonstrates an average delay reduction of 1.95 ms compared to the existing DDS, ensuring the required data transmission quality for the testbed.

• Journal of the Korean Association of Geographic Information Studies
• /
• v.21 no.1
• /
• pp.83-95
• /
• 2018

With recent technological advances in the shipbuilding industry, vessels have been improved in size and performance. As a result, an accident such as grounding, caused by a single ship-to-ship collision, could lead to a large-scale maritime disaster. Considering the seriousness of the situation, the international community has been consistently updating the standards for Electronic Navigational Chart(ENC) to improve the maritime safety. S-57, the existing ENC standard governed by the International Hydrographic Organization(IHO), includes standards for generating conventional binary-type ENC data sets. The S-57 standard, however, has not been updated since the release of Version 3.1 in December 2000. Since then, the standard has failed to reflect technological development regarding maritime spacial information, which has been consistently improving. In an effort to address this concern, the IHO designated S-100, i.e., the next-generation ENC production standard. S-100 differs from S-57 in data exchange type. Contrary to the conventional ENC standards, which use binary-type data, S-10X, based on the next-generation ENC standards, uses ENC data composed of Feature Catalogue, Portrayal Catalogue, and GML. Considering this fact, it is necessary to update S-58, the ENC validation check standard, or designate a new standard for ENC validation checks. This study is developed own software to implement validation checks for new types of data, and identified improvement points based on the test results.

• Smart Media Journal
• /
• v.10 no.3
• /
• pp.54-59
• /
• 2021

Flight data acquired through flight instrumentation equipment during aircraft development play an important role in aircraft development and performance improvement. Therefore, as the reliability of flight instruments is required, inspection systems to check the soundness of flight instruments are very important. In this paper, we analyze the existing test system for flight data instrumentation equipment and present improvements in the hardware and software aspects of the test system. Based on this, we design and implement a test system with improved performance and present test results. Test system with improved performance improves cost savings, flexible application, and maintenance compared to the existing test system. Therefore, the robustness of the instrumentation equipment can be obtained, which can be expected to improve the reliability of flight data.

• Korean Journal of Radiology
• /
• v.22 no.3
• /
• pp.405-414
• /
• 2021

Objective: To compare two clinically available MR volumetry software, NeuroQuant^® (NQ) and Inbrain^® (IB), and examine the inter-method reliabilities and differences between them. Materials and Methods: This study included 172 subjects (age range, 55-88 years; mean age, 71.2 years), comprising 45 normal healthy subjects, 85 patients with mild cognitive impairment, and 42 patients with Alzheimer's disease. Magnetic resonance imaging scans were analyzed with IB and NQ. Mean differences were compared with the paired t test. Inter-method reliability was evaluated with Pearson's correlation coefficients and intraclass correlation coefficients (ICCs). Effect sizes were also obtained to document the standardized mean differences. Results: The paired t test showed significant volume differences in most regions except for the amygdala between the two methods. Nevertheless, inter-method measurements between IB and NQ showed good to excellent reliability (0.72 < r < 0.96, 0.83 < ICC < 0.98) except for the pallidum, which showed poor reliability (left: r = 0.03, ICC = 0.06; right: r = -0.05, ICC = -0.09). For the measurements of effect size, volume differences were large in most regions (0.05 < r < 6.15). The effect size was the largest in the pallidum and smallest in the cerebellum. Conclusion: Comparisons between IB and NQ showed significantly different volume measurements with large effect sizes. However, they showed good to excellent inter-method reliability in volumetric measurements for all brain regions, with the exception of the pallidum. Clinicians using these commercial software should take into consideration that different volume measurements could be obtained depending on the software used.

• Journal of Platform Technology
• /
• v.6 no.4
• /
• pp.26-33
• /
• 2018

In this paper, we propose an image retrieval algorithm for real-time processing and design it as hardware. The proposed method is based on the classification of BoWs(Bag of Words) algorithm and proposes an image search algorithm using bit stream. K-fold cross validation is used for the verification of the algorithm. Data is classified into seven classes, each class has seven images and a total of 49 images are tested. The test has two kinds of accuracy measurement and speed measurement. The accuracy of the image classification was 86.2% for the BoWs algorithm and 83.7% the proposed hardware-accelerated software implementation algorithm, and the BoWs algorithm was 2.5% higher. The image retrieval processing speed of BoWs is 7.89s and our algorithm is 1.55s. Our algorithm is 5.09 times faster than BoWs algorithm. The algorithm is largely divided into software and hardware parts. In the software structure, C-language is used. The Scale Invariant Feature Transform algorithm is used to extract feature points that are invariant to size and rotation from the image. Bit streams are generated from the extracted feature point. In the hardware architecture, the proposed image retrieval algorithm is written in Verilog HDL and designed and verified by FPGA and Design Compiler. The generated bit streams are stored, the clustering step is performed, and a searcher image databases or an input image databases are generated and matched. Using the proposed algorithm, we can improve convenience and satisfaction of the user in terms of speed if we search using database matching method which represents each object.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.19 no.4
• /
• pp.91-103
• /
• 2009

A cryptographic module (CM) is an implementation of various cryptographic algorithms and functions by means of hardware or software, When a CM is validated or certified under the CM validation program(CMVP), a finite state model(FSM) of the CM should be developed and provided, However, guides or methods of modeling and analysis of a FSM is not well-known, because the guide is occasionally regarded as a proprietary know-how by developers as well as verifiers of the CM. In this paper, we propose a set of guides on modeling and analysis of a FSM, which is needed for validation of a CM under CMVP, and a transition test path generation algorithm, as well as implement a simple modeling tool (CM-Statecharter). A FSM of a CM is modeled by using the Statechart of UML 2.0, Statechart, overcoming weakness of a FSM, is a formal and easy specification model for finite state modeling of a CM.