• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.16 no.9
• /
• pp.5802-5809
• /
• 2015

Railway signaling system is the vital control system in charge of the core for safely train operation, its functional safety must be checked through sufficient verification. Until now, to verify the interoperability of developed railway signaling system, the on-site testing approaches have been applied after testing in laboratory with simulator. This approaches are some limited range of interoperable verification, so more systematic verification interoperability is required. In this paper, the three phases of interoperability verification for railway signaling system was proposed, and methodology for each phases are represented. And also The interoperability validation methodology and supported testing tool for railway signaling system is represented in this paper

• Journal of KIISE:Information Networking
• /
• v.28 no.3
• /
• pp.297-308
• /
• 2001

In this paper, we design, validate and implement WTP(Wireless Transaction Protocol) using SDT(SDL Design Tool). We do modeling WTP protocol by SDL(Specification and Description Language), design and implement the environment function for the interface between the SDL system and the UDP platform and design APIs(Application Programming Interface). And we do conformance testing for WTP protocol software using ITEX(Interactive TTCN Editor and eXecutor). We write ATS(Abstract Test Suite) by TTCN(Tree and Tabular Combined Notation) and make ETS(Executable Test Suite) by the TTCN compiler supplied by ITEX.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.8
• /
• pp.1975-1986
• /
• 1997

Recent evolution of communication networks has led toward increasingly a complex, large-scale protocol. Protocol conformance tests therefore, which consider only control flow, have many problems on testing data flow, transition condition, delay and so on. We propose, design, and implement the tool to solve these problems. The tool, which solves nondeterminism, generates test suites from an integrated flow graph and excludes infeasible path with reachable tree. The presented tool reduces the length of UIO sequence and is efficient partially to test the path that error rate is high. Our automatic test suite generator provides basis of protocol testing environment and high production.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.15 no.6
• /
• pp.786-801
• /
• 2012

The most essential ROC(requirement operational capability) in order to assure the effectiveness of the C4I Systems in NCW Environments is the seamless and stable interoperability between systems. The U.S. Armed Forces that perceived the importance of interoperability, prepared the framework to apply from the proposal of requirement to every step of acquisition process. The Korea Joint Chiefs of Staff is also developing a similar system in order to assure the interoperability between command control(C4I) systems. In the paper, we specify the needs of standardization of test systems and international trends on the technology, and propose an interoperability test & evaluation system based on a standardization conformity method to improve the interoperability test & evaluation for the C4I systems in NCW environments. Finally we show an example of the implementation of the test system and its application to C4I systems to verify the proposed test system.

• International Journal of Reliability and Applications
• /
• v.7 no.1
• /
• pp.27-39
• /
• 2006

Many real world cases in material failure analysis do not follow perfectly the normal distribution. Forcing of the normality assumption may lead to inaccurate predictions and poor product quality. We examine the failure process of the internal bond (IB or tensile strength) of medium density fiberboard (MDF). We propose a forced censoring technique that closer fits the lower tails of strength distributions and better estimates extremely smaller percentiles, which may be valuable to continuous quality improvement initiatives. Further analyses are performed to build an accelerated common-shaped Weibull model for different product types using the $JMP^{(R)}$ Survival and Reliability platform. In this paper, a forced censoring technique is implemented for the first time as a software module, using $JMP^{(R)}$ Scripting Language (JSL) to expedite data processing, which is crucial for real-time manufacturing settings. Also, we use JSL to automate the task of fitting an accelerated Weibull model and testing model homogeneity in the shape parameter. Finally, a package script is written to readily provide field engineers customized reporting for model visualization, parameter estimation, and percentile forecasting. Our approach may be more accurate for product conformance evaluation, plus help reduce the cost of destructive testing and data management due to reduced frequency of testing. It may also be valuable for preventing field failure and improved product safety even when destructive testing is not reduced by yielding higher precision intervals at the same confidence level.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.8 no.6
• /
• pp.470-477
• /
• 2015

This paper presents a new technique for generating an optimum synchronizable test sequence that can be applied in the distributed test architecture where both external synchronization and input/output operation costs are taken into consideration. The method defines a set of phases that constructs a tester-related digraph from a given finite state machine representation of a protocol specification such that a minimum cost tour of the digraph with intrinsically synchronizable transfer sequences can be used to generate an optimum synchronizable test sequence using synchronizable state identification sequences as the state recognition sequence for each state of the given finite state machine. This hybrid approach with a heuristic and optimization technique provides a simple and elegant solution to the synchronization problem that arises during the application of a predetermined test sequence in some protocol test architectures that utilize remote testers.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.19 no.11
• /
• pp.2255-2263
• /
• 1994

Protocol conformance testing consists of procedures to observe an output and to check a transition state of the Implementation Under Test considered as a black box by applying an input. There are several methods to check the transition state such as Unique Input/Output(UIO) sequence. Distinguishing Sequence(DS) and Characterization Set(CS). Particularly, as a test method for a state having no UIO sequence, Partial UIO sequence method can be considered. In this paper, three properties which can be found among Partial UIO sequence and a modified algorithm using these properties are suggested.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2002.11a
• /
• pp.621-624
• /
• 2002

최근 급속도로 발전하고 있는 생체인식 분야는 상업적인 활성화와 이에 따른 사용자의 신뢰성 확보를 위해 서로 다른 생체인식 제품들의 상호호환성과 상호연동성을 고려한 표준화된 생체인식 데이터 및 API에 대한 기술 개발을 하고 있으며, 이러한 생체 인식 기술의 표준화는 제품들의 호환성 측면에서 매우 중요하므로 생체 정보를 이용하는 모든 제품에 대하여 시스템과 소프트웨어에 대한 표준적합성 시험이 요구될 것이다. 이에 따라 본 연구에서는 생체인식시스템 응용 인터페이스 표준 규격인 BioAPI에 대하여 표준 적합성 시험도구를 개발하기 위하여 우선적으로 BioAPI 표준규격에서 명시하는 필수함수에 대한 표준적합성시험을 수행하였다.

• Proceedings of the KIEE Conference
• /
• 2008.04a
• /
• pp.41-42
• /
• 2008

무선방식으로 원격에서의 인식으로 정보교환을 가능하게 하는 RFID(Radio Frequency IDentification) 시스템은 태그 내의 배터리 유무에 따라 수동형과 능동형으로 구분된다. 수동형 태그는 판독기로부터 받은 RF 신호를 에너지로 이용하기 때문에 인식거리가 짧으며, 가격이 싸고 반영구적으로 사용할 수 있는 장점이 있다. 반면에, 능동형 태그는 금속재질에 취약한 수동형의 단점을 극복하는 동시에 인식거리가 길고, 인식률이 좋은 장점이 있다. 따라서 항만물류나 국방 분야에서 능동형 RFID 시스템에 대한 개발이 점차 확대되고 있다. 하지만 동일한 표준으로 개발된 제품의 서로 간에 인식이 불가능한 사례가 보고되고 있으며, 국제적으로 정확한 평가방법 및 장치가 정립되지 않아 개발된 제품들 간의 상호 운용성 및 표준 적합성 평가에 대한 어려움이 존재한다. 본 논문에서는 능동형 RFID 시스템의 적합성 평가를 위한 에뮬레이터의 하드웨어 및 소프트웨어를 설계하고 제작하였다. 설계된 장치는 Matlab의 Simulink를 통한 시뮬레이션으로 성능을 분석하였고, 실제 능동형 RFID 태그의 표준적합성 평가를 통해 에뮬레이터의 적용 가능성을 검증하였다.

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.260-261
• /
• 2011

현재 한국전력공사 전력연구원은 IEC 61850 패킷 분석이 가능하고 IEC 61850 통신규격 제정기관인 UCA(Utility Communication Architecture)에서 발행된 클라이언트 적합성 시험절차서(Rev 1.1)에 대한 시험모델링이 가능한 클라이언트 전용의 시험시스템 개발을 완료하였다[1-5]. 본 논문은 IEC 61850 클라이언트 적합성 시험 중 변전자동화의 파일 전송시험과 타임서버관한 시험모델링과 사례를 다루고자 한다.