• Journal of the Korea Institute of Military Science and Technology
• /
• v.26 no.1
• /
• pp.91-101
• /
• 2023

Modeling and Simulation(M&S) technology has been widely used to solve constraints such as time, space, safety, and cost when we implement the same development and test environments as real warfare environments to develop, test, and evaluate weapon systems for the last several decades. The integration and test environments employed for development and test & evaluation are required to provide Live Virtual Construction(LVC) simulation environments for carrying out requirement analysis, design, integration, test and verification. Additionally, they are needed to provide computing environments which are possible to reconfigure computing resources and software components easily according to test configuration changes, and to run legacy software components independently on specific hardware and software environments. In this paper, an Integration Test and Simulation for Engagement Control(ITSEC) bed using a bare-metal virtualization mechanism is proposed to meet the above test and simulation requirements, and it is applied and implemented for an air missile defense system. The engagement simulation experiment results conducted on air and missile defense environments demonstrate that the proposed bed is a sufficiently cost-effective and feasible solution to reconfigure and expand application software and computing resources in accordance with various integration and test environments.

• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.15 no.1
• /
• pp.61-67
• /
• 2007

The importance and cost of avionics system in the integration of an aircraft is continuously increasing. And we can expect enlarged software portion in the system integration for the more intelligent, reliable, and automated avionics system. Both military and commercial avionics community have moved toward commercial-off-the-shelf(COTS) equipment and open systems architecture not only to increase affordability but also to reduce acquisition cost, shorten development time and risk. The same concept is applied in developing avionics test system used for the avionics system integration test. In this paper, we present important topics in the development of avionics system including real-time operating system, interconnect data bus, software development methodology, software development process, and system integration test.

• Bulletin of the Korean Space Science Society
• /
• 2006.04a
• /
• pp.117-120
• /
• 2006

HAUSAT-2 flight software was developed by first analyzing the satellite requirements, and incorporating the results into the software. Coding and compiling is done after the software is completed, then individual and integrated tests are performed in order to verify the flight software algorithm. Currently, HAUSAT-2 flight software integrated test has been performed and the test result is serving as a basis for code modification nd additional developments. This paper describes the architecture, development process, and development environment of HAUSAT-2 flight software.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.8 no.3
• /
• pp.601-614
• /
• 2007

Lately, as importance of biometric is recognized, domestic and foreign biometric software market is soaring and the requests of high reliability and quality of biometric software are inclosed. Evaluation items and criteria must be established for the biometric software quality certification. In this paper, we development the evaluation module for biometric software test based on ISO/IEC 12119 that is the standard about package software quality requirement and test, and ISO/IEC 9126 that is the standard about evaluation of software product, and ISO/IEC 14598-6 that is the standard for construction of the evaluation module. We think that this study can be used in establishing the software quality evaluation method of bio information processing software and constructing the basis for quality improvement.

• Journal of KIISE:Computing Practices and Letters
• /
• v.14 no.6
• /
• pp.547-558
• /
• 2008

Embedded system is tightly coupled with heterogeneous layers such as application, as kernel, device driver, HAL and hardware. Embedded system is customized for the specific purpose and hardware. In addition, the product cycle is so fast that software and hardware, which are developed by several vendors, are integrated together under unstable status. Therefore, there are lots of possibilities of faults in all layers. Because embedded software developers test their codes integrated with faulty layers, they cannot confirm 'whether testing of every aspects was completed, their code was failed, or integrated software/hardware has some problems'. In this paper, we propose an embedded software interface test method and a test tool called Justitia for detecting faults and tracing causes in the interface among heterogeneous layers. The proposed technique is an automated method which improves debugging upto professional testing using an emulator for helping developer.

• KIISE Transactions on Computing Practices
• /
• v.21 no.10
• /
• pp.645-650
• /
• 2015

Tester Interface Software (TIS) provides all software functions that are necessary for a testing device to perform the test process on a memory semiconductor package from the time the device is put into the test equipment until the device is discharged from the equipment. TIS should perform the same work over all types of equipment regardless of their tester models. However, TIS has been developed and managed independently of the tester models because there are various equipment and computer models that are used in the test process. Therefore, more maintenance, time and cost are required for development, which adversely affects the quality of the software, and the problem becomes more serious when the new tester model is introduced. In this paper, we propose the Cross-platform Tester Interface Software (CTIS) framework, which can be integrated and operated on heterogeneous equipment and OSs.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.24 no.4
• /
• pp.457-466
• /
• 2021

This paper describes the design of model-based fault diagnosis software to apply to the propulsion system in tracked amphibious assault vehicle which consists of an engine, a transmission, a cooling system, and two waterjets. This software includes specific functions to detect the failures regarding sensor malfunctions, mechanical malfunctions, control errors, and communication errors. This software generates the proper malfunction codes which are classified as the warning and caution. In order to validate the fault diagnosis software, the manual and automatic test are performed using the test program with 32 test cases. Test results show that the designed fault diagnosis software is reliable and effective for applying to the propulsion system.

• Journal of KIISE:Software and Applications
• /
• v.32 no.7
• /
• pp.592-600
• /
• 2005

Systematically extracting the test patterns of hot spots in an object-oriented software framework is a prerequisite for thoroughly testing the framework's functionality in a variety of contexts in which the framework is extended for reuse. This paper proposes a method for analyzing the design patterns and extracting the test patterns from the interaction test patterns of hot spots in an object-oriented framework. Based on the design pattern of the framework's hot spot, our method captures the object behavior allowed in that hot spot by means of statecharts, which are then used to generate the interaction test patterns and test cases. The generated test patterns and test cases can be applied repeatedly to applications which are built from extending the framework.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.48 no.8
• /
• pp.631-640
• /
• 2020

Currently, aircraft simulator has drawn a great attention because it has significant advantages of economic, temporal, and spatial costs compared with pilot training with real aircraft. Among the components of the aircraft simulator, flight dynamic model plays a key role in simulating the flight of an actual aircraft. Hence, it is important to verify the fidelity of flight dynamic model with an automated tool. In this paper, we develop a software to automatically verify the fidelity of the flight mechanics model for the efficient development of the aircraft simulator. After designing the software structure and GUI based on the requirements derived from the fidelity verification process, the software is implemented with C # language in Window-based environment. Experimental results on CTSW models show that the developed software is effective in terms of function, performance and user convenience.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.49 no.6
• /
• pp.505-513
• /
• 2021

We propose an autonomous mission management software design and verification technique for unmanned aerial vehicles to autonomously mitigate dynamic situation changes occurred in the inside and outside of an aircraft in compliance with the mitigation priority order. The proposed autonomous mission management software is designed in a modular architecture that consists of concurrently executing multiple threads. To verify it, we suggest three verification steps: 1) software integration by checking the expected request/response messages between the threads for all possible dynamic situation changes; 2) integration test to verify the software functionality; 3) performance test to verify the quantitative software performance. Especially, the software integration test environment is built and utilized to carry out the integration and performance tests.