• Proceedings of the KSR Conference
• /
• 2008.06a
• /
• pp.499-504
• /
• 2008

DC substation of urban transit supplies a suitable DC power on electricity vehicles by being supplied from KEPCO. DC substation is verified electrical safety of system through pre-operation inspection on electrical installations to be supplied power from KEPCO. However, because test items and method for DC traction system are unprepared on pre-operation inspection, the general safety and performance verification of DC traction system are very insufficient. Therefore this paper analyze the overseas test examples such as factory equipment tests, factory combined tests and railway tests for the safety and performance verification of DC traction system and present a suitable test items and test standard in domestic.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.14 no.3
• /
• pp.388-396
• /
• 2011

Mission Equipment Package(MEP) system is a collection of avionic components that are integrated to perform the mission of the Korean Utility Helicopter(KUH). MEP system development is classified mission-critical embedded system but KUH MEP system developed including flight-critical data implementation. It is important to establish the good development and verification process for the successful system development. This paper describe the development and verification process in each phase for the KUH MEP system. MEP system design is verified through the qualification test, system failure test and compatibility test in System Integration Laboratory(SIL).

• International Journal of Internet, Broadcasting and Communication
• /
• v.14 no.1
• /
• pp.1-9
• /
• 2022

Recently, a large number of cryptocurrencies and block chains have been continuously released. However, these cryptocurrencies and block chains are open to users without authorized verification and testing procedures, causing various reliability problems. Existing cryptocurrencies and blockchain test methods build a blockchain Testnet for a certain period of time by the developer without external verification by a third party, and after repeatedly self-testing and self-operating processes, commercialization is in progress by switching to the Mainnet. This self-verification method does not guarantee objectivity and publicness, and high reliability of customers cannot be realized. This study proposes a cryptocurrency and blockchain test interface and test control system as a third-party open test method.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.17 no.3
• /
• pp.318-326
• /
• 2014

The Shipyard Test of Naval Combat System depends on external factors, such as weather conditions and availability of its sensor-weapon, due to the need of on-board sensor-weapon during the test. This paper suggests the Supportive Equipment using virtual simulator for Shipward Test, in case of the unavailability of the on-board sensor-weapon or the test support force(aircraft, surface ship etc.), to pre-check the functions of the combat system as well as to prepare the Shipyard Test. To mock the real sensor-weapon functions as similar as possible, the Supportive Equipment for Shipyard Test was verified by the Verification and Validation process, which is usually performed while developing models in the Modeling & Simulation field.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.5
• /
• pp.101-107
• /
• 2022

Modeling and simulation is a technique used for operational verification, performance analysis, operational optimization, and prediction of target systems. Discrete Event System Specification (DEVS) of this representative technology defines models with a strict formalism and stratifies the structures between the models. When the atomic DEVS models operate with an intention different the target system, the simulation may lead to erroneous decision-making. However, most DEVS systems have the exclusion of the model test or provision of the manual test, so developers spend a lot of time verifying the atomic models. In this paper, we propose a script-based automated test system for accurate and fast validation of atomic models in Python-based DEVS. The proposed system uses both the existing method of manual testing and the new method of the script-based testing. As Experimental results in our system, the script-based test method was executed within 24 millisecond when the script was executed 10 times consecutively. Thus, the proposed system guarantees a fast verification time of the atomic models in our script-based test and improves the reusability of the test script.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.25 no.3
• /
• pp.127-137
• /
• 2021

The launch complex(LC) is composed of various facilities. The launch control system that operates remotely those of LC spends much time and labor for developing and verifying its control algorithms. The verification of algorithms is performed by the software developer entering simulated state values based on the test procedure and checking the output result according to the algorithm flow. These verification processes should be performed repeatedly, thus the human errors are easily occurred. In this paper, an efficient automated verification method with a script test procedure is proposed to minimize human errors and shorten the verification duration. We also present the results of the algorithm verification tests for the cases of the compressed gases supply system and the electro pneumatic panel system of LC.

• Applied Chemistry for Engineering
• /
• v.9 no.5
• /
• pp.674-679
• /
• 1998

Small water leak experiment was carried out in liquid sodium atmosphere using a specimen of ferrite steel, which will be expected to be a material of the heat transfer tube of liquid metal fast breeder reactor. Self-plugging phenomena of leak path could be explained by the products of reaction and corrosion by sodium-water reaction. Also, re-opening mechanism of self-plugged path could be explained by the thermal transient and vibration of heat transfer tube. As a result, perfect re-opening time of self-plugged leak path was observed to be 129 minutes after water leak initiation. Re-opening shape of a specimen was appeared with double layer of circular type, and re-opening size of this specimen surface was about 2 mm diameter on sodium side.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.21 no.3
• /
• pp.165-176
• /
• 2011

In this paper, we examine the reliability verification procedure of evidence analysis tools for computer forensics and test the famous tools for their functional requirements using the verification items proposed by standard document, TIAK.KO-12.0112. Also, we carry out performance evaluation based on test results and suggest the way of performance improvement for evidence analysis tools. To achieve this, we first investigate functions that test subjects can perform, and then we set up a specific test plan and create evidence image files which contain the contents of a verification items. We finally verify and analyze the test results. In this process, we can discover some weaknesses of most of analysis tools, such as the restoration for deleted & fragmented files, the identification of the file format which is widely used in the country and the processing of the strings composed of Korean alphabet.

• Journal of Advanced Navigation Technology
• /
• v.25 no.5
• /
• pp.377-383
• /
• 2021

In this paper, we describe the case of automatic test equipment development for hardware verification of stores management computer mounted on aircraft. Recently, the required functions of aircraft have been diversified and the related technologies of avionics equipment have developed, and the types and quantity of interfaces required for avionics equipment have increased. In addition to the existing old stores, the stores management computer also needs to control the interface in large quantities as the requirements for the new stores are added. For this reason, the time and manpower required for the inspection of avionic equipment are also increasing, and if the test process of avionic equipment can be automated and unmanned, more efficient inspection system operation will be possible. Therefore, this paper introduces the case of designing test software and test scenario to automate the structural design contents and verification process of test equipment required for the verification of hardware function of stores management computer.

• Journal of the Korea Society of Computer and Information
• /
• v.23 no.11
• /
• pp.67-74
• /
• 2018

The verification for the design limit margin of the power device for the information communication and surveillance systems using HALT(Highly Accelerated Life Test) reliability test is described. The HALT reliability test performs with a step stress method which change condition until the marginal step in a design and development phase. The HALT test methods are the low temperature(cold) step stress test, the high temperature(hot) step stress test, the thermal shock cyclic stess test, and the high temperature destruct limit(hot DL) step stress test. The power device is checked the operating performance during the test. In this paper, the HALT was performed to find out the design limit margin of the power device.