• Journal of Korea Society of Industrial Information Systems
• /
• v.25 no.4
• /
• pp.17-27
• /
• 2020

In this paper, we proposed verification methods to prove the effectiveness of automatic test equipment (ATE) for weapon systems. Since the test results from the unproven ATE is not reliable and its use is limited as objective data, it is essential to verify the test equipment in order to guarantee the quality level of the unit under test (UUT). Through the suggested methods, it is applied to the ATE of the tactical information communications network (TICN) system to confirm the verification results and to describe the validation results.

• 제어로봇시스템학회:학술대회논문집
• /
• 2004.08a
• /
• pp.358-362
• /
• 2004

Verification and testing are complementary techniques that are used to increase the level of confidence in the correct functioning of communication systems as prescribed by their specifications. This paper presents an experience of model checking for a formal railway signaling protocol specified in LTS (Labeled Transition System). This formal approach checks deadlock, livelock and reachability for the state and action to verify whether properties expressed in modal logic are true on specifications. We also propose a formal method for semi-automated test case generation for a railway signaling protocol described in I/O FSM (Input/Output Finite State Machine). This enables the generation of more complete and consistent test sequence for conformance testing. The above functions are implemented by C++ language and included within RSPVTE (Railway Signaling Protocol Verification and Testing Environment).

• Proceedings of the KSR Conference
• /
• 2007.05a
• /
• pp.1016-1022
• /
• 2007

It is demanded to produce the safety evidence documents in other to approval safety characteristic of railway signaling system which stands is included, it is demanding from IEC 62425 standards. Also it is express clearly that safety assessment if signaling system has to be verification of these safety evidence documents. This Safety Case has the results of safety activity through system life-cycle, such as hazard lists, hazard identification and analysis, risk assessment and countermeasure, verification and test results. Consequently, first of all, the analysis and verification of these Safety Case documents has to be accomplished to approval and acceptance of signaling system safety. And also if the safety assessor was want, it is able to be experimental test auditory which is, arbitrary faults injection test, to above described documents verification. In this paper, the contents and architecture of Safety Case are presented as first steps of safety assessment technology establishment for railway signaling system.

• MALSORI
• /
• no.67
• /
• pp.79-102
• /
• 2008

In this paper, we investigate the relation between Bayes factor and likelihood ratio test (LRT) approaches and apply the neighborhood information of Bayes factor to building an alternate hypothesis model of the LRT system. To consider the neighborhood approaches, we contemplate a distance measure between models and algorithms to be applied. We also evaluate several methods to improve performance of utterance verification using neighborhood information. Among these methods, the system which adopts anti-models built by collecting mixtures of neighborhood models obtains maximum error rate reduction of 17% compared to the baseline, linear and weighted combination of neighborhood models.

• Aerospace Engineering and Technology
• /
• v.9 no.2
• /
• pp.143-152
• /
• 2010

Development and verification of whole vibration test system was requested for developing a geostationary satellite. This satellite is enlarged significantly compared with fore-satellite in KARI. For vertical vibration test, new vertical vibration system was developed. For lateral vibration test, thermal equilibrium test was performed because of difference of thermal characteristics between test adapter and slip table. And lateral vibration system performance for overturning moment was verified by analysis and test. As the number of acquisition channels was increased, new shaker control and data acquisition system was installed. In this paper, verification process and techniques to improve test stability are introduced for the whole vibration test system.

• Journal of Korea Society of Industrial Information Systems
• /
• v.11 no.3
• /
• pp.59-68
• /
• 2006

Recently, introduction of Open Source Software into informatization of the government and public sector has been actively examined, however, Open Source Software is being rarely adopted due to the lack of verified and reliable data with regard to the criteria, process, performance and stability for introduction of Open Source Software. In this paper, the process, method and plan for performance verification for introduction of Open Source Software into mission critical systems of the government and public sector are suggested in order to solve the aforesaid problem Specially, a test system to judge whether or not to adopt Open Source Software in school affairs system of the NEIS(National Education Information System) of the Korean government was set up, and the method and process of performance verification by stage in addition to feasibility study were applied to the test system for verification. Based on the result of performance evaluation in the test system, the application of Linux to school affairs system of the NEIS is being successfully practiced. It is expected that this study will be a guideline to technical review process and performance verification method as necessary to introduce Open Source Software into the mission critical systems of government and public agencies.

• Proceedings of the IEEK Conference
• /
• 2002.06b
• /
• pp.93-96
• /
• 2002

It is said that the verification effort occupies about 50-70 percent of the total effort of a System-On-A-Chip. This paper aims to develop a test bench automation tool based on the abstraction of the interface protocols. This tool will allow designers to describe their test benches in a high level language such as C rather than VHDL or Verilog. It helps designers to save their verification time and effort.

• Proceedings of the KSR Conference
• /
• 2011.10a
• /
• pp.1562-1568
• /
• 2011

This paper is intended as an verification of moving load simulation techniques. The concern with dynamic problem of railway bridge caused by the moving train loads has been growing. Over the past few years, several studies have been made on dynamic stability of railway bridge analytically. But very few attempts have been made at experimental research. From the dynamic stability view point, the moving train loads simulation test is revolutionary idea. It can be replace restrictive filed test with new laboratory test. This study investigates minimum specifications of hardware and basic parameters. it is used 12m girder and high performance actuator for experimental verification.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.26 no.2
• /
• pp.267-274
• /
• 2002

Using a flexible rotating beam test bed, experimental verification of a flexible multibody dynamic simulations for a rotating beam model has been carried out. The test bed consists of a flexible arm, harmonic driver reducer, AC servo motor and DSP board with PC. The mechanical ports of the test bed has been designed using 3D CAD program. For the simulation model, mass and moment of inertia of each part of the flexible rotating beam test bed are also obtained from 3D CAD model. In the flexible multibody dynamic simulations, the substructuring model has been established to capture nonlinear effects of the flexible rotating beam. Through the experimental verification, substructuring model provides better results than those from the linear model in the high speed rotation.

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.2202-2203
• /
• 2011

AC substation of urban transit supplies a suitable AC power on electricity vehicles. AC 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 AC traction system are unprepared on pre-operation inspection, the general safety and performance verification of AC traction system are very insufficient. Therefore this paper analyze the test examples such as factory equipment tests, factory combined tests and railway tests for the safety and performance verification of AC traction system and present a suitable test items and test standard in domestic.