• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.43 no.1 s.343
• /
• pp.71-78
• /
• 2006

MANET routing protocols must support not only wireless networking without any relaying on network infrastructure, but also dynamic management of routing information caused by node mobility. Hence, they are one of important routing protocols for USN. Recently DYMO is regarded as a promising routing protocol for UMT because it is simple and easy to extend as well as it requires less networking load than others. In this paper, we design and implement DYMO routing protocol into various operation systems. Also, we develop a DYMO conformance test tool to evaluate our implementations.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.18 no.34
• /
• pp.155-159
• /
• 1995

For the relationship between conformance cost and the individual elements of non-conformance, an analysis was made of the relationship between inspection cost and training cost and scrap cost. As a result it was explained that there was all a positive correlation between training cost and scrap cost, and between inspection cost and scrap cost. Like this, training and inspection cost and scrap cost have a positive correlation. Judging from the fact that the coefficient of inspection cost is lower than that of training cost in the comparison of the coefficient of each cost, it can be analyzed that the change in scrap cost is influenced by the change in training cost more greatly than the change in inspection cost. If doing so, it can be interpreted that scrap cost and rework cost do not still decrease in spite of increasing in education and training cost and prevention cost. This result may represent the problem as to whether education and training cost is effectively expended for prevention activity. Accordingly, to cope with this situation, it is thought that scrap cost should be cut by establishing the effective prevention measure for causing the increase of scrap cost.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.14 no.12
• /
• pp.2691-2697
• /
• 2010

Shader instructions and Compiler are designed for supporting 3D graphic shader 3.0 API. Variable-length instructions are proposed to reduce the size of hardware of graphic processor in SIMD structure by shortening the length of instructions. The designed shader compiler supports variable and two phased structured instructions, and can be programmable at ESSL level. Conformance Test proposed by Khronos group is accomplished to verify the design result of instructions and complier. The test result shows overall average 37% performance improvement at the 16 functions of basic GL shader.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.2 no.2
• /
• pp.113-117
• /
• 2007

Recently B2B electronic transactions which go through an Internet being diffused, according to support the Internet business of the form which is various the techniques for are appearing. B2B electronic transaction systems respect B2B transactions consequently to control the system of selfish bell environmnet and various information, must exchange. But currently the tentative tool for the verification of BPSS is the condition which is wholly lacking with the domestic foreign enemy. In this paper the suitability ebMS standard verification entry written in conjunction with ebXML BPSS document the suitability of the case, depending on the item to evaluate whether the BPSS model, suggesting that fitness will be verified.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05a
• /
• pp.741-744
• /
• 2003

지난 2001년 7월 제정된 한국전자책문서표준 EBKS(Electronic Book of Korea Standard) 1.0은 지난 2002년 7월 한국산업기술표준원의 산업표준심의를 거쳐 한국전자처 표준문서형 정의 규격번호 $KS{\times}6100$으로 제정되었다. 따라서 $KS{\times}6100$을 사용하는 전자책 문서들은 표준의 목적과 명세에 대한 부합 여부를 판별하기 위한 적합성 검사 및 이에 기반 한 인증 절차가 요구된다. 본 논문에서는 이러한 적합성 검사의 기준이 되는 적합성 조항(Conformance Clause)의 정의와 이에 따른 전자책 표준 스키마를 정의하였다. 따라서 본 논문에서 정의된 조항들을 통하여 전자책 저작자들은 전자책표준의 목적과 명세에 보다 적합한 전자책 문서들을 제작할 수 있으며, 서비스 제공자들은 적합성 검사 기법을 통한 자동화된 적합성 표준 스키마를 사용하여 효율적인 적합성 검사가 가능하다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2004.05b
• /
• pp.800-803
• /
• 2004

This paper describes the design and implementation of the T=1 protocol based on lava Card. The T=1 protocol implemented in this paper complies with ISO/IEC 7816 standard. Also, JCOS(Java Card Operating Systems) including the contactless card protocol conforms to Java Card 2.2.1 specification and is running on 32-bit ARM7/TDMI processor. The protocol stack proposed and implemented in this paper is easy to maintenance of protocol independently. To verify the T=1 protocol implemented in this paper we tested the T=1 protocol scenarios defined in ISO/IEC 7816-3 Annex A. And we tested using USIM(Universal Subscriber Identity Module) cards, which include the implemented T=1 protocol. The T=1 protocol was tested and passed all against the specification 3GPP TS 31.122, which was the Conformance Test Specification for USIM cards including the test suites of both transmission protocols.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.7
• /
• pp.1821-1841
• /
• 1997

This paper presents an automated protocol conformance test sequence generation based on formal methods for LOTOS specification by using and applying many existing related algorithms and technique, such as the testing framework, Rural Chinese Postman tour concepts. We use the state-transition graphs obtained from LOTOS specifications by means of the CAESAR tool. This tool compiles a specification written in LOTOS into an extended Petri net, from which a transition graph of a event finite-state machine(EvFSM) including data is generated. A new characterizing sequence(CS), called Unique Event sequence(UE sequence) is defined. An UE sequence for a state is a sequence of accepted gate events that is unique for this state. Some experiences about UE sequence, partial UE sequence and signature are also explained. These sequences are combined with the concept of the Rural Chinese Postman Tour to obtain an optimal test sequence which is a minimum cost tour of the reference transition graph of the EvFSM. This paper also presents a fault coverage estimation experience of an automated method for optimized test sequences generation and the translation of the test sequence obtained by using our tool to TTCN notation are also given. A prototype of the proposed framework has been built with special attention to real application in order to generated the executable test cases in an automatic way. This formal method on conformance testing can be applied to the protocols related to IN, PCS and ATM for the purpose of verifying the correctness of implementation with respect to the given specification.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10a
• /
• pp.594-596
• /
• 1998

지금까지 적합성운용시험이란 용어는 서로 다른 유형의 광의 적합성시험을 구별없이 일컫는 방법으로 사용되어왔으며, 상호운용시험이란 용어도 다양한 가능한 시험구조레 대하여 무차별적으로 사용되어왔다. 본 연구는 적합성시험을 접속적합성시험과 개체적합성시험으로 구분하여, 상호운용성시험구조의 시험능력이 달라짐에 따라 상호운용성시험이 이들 적합성시험과 어떻게 연결 지워질 수 있는지를 탐구한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10a
• /
• pp.591-593
• /
• 1998

DSM-CC U-U(User-to-User) 인터페이스는 다양한 광대역 멀티미디어 서비스 환경에서 멀티미디어 응용들을 제공하기 위하야 요구되는 동작들을 정의한 개방형 프로토콜이다. 본 연구에서는 DSM-CC U-U 인터페이스를 시험하기 위한 적합성 시험방법을 제시하고, 선택된 적합성 시험구조를 위한 접합성 추상시험항목들(Abstract Test Cases)을 도출한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.253-255
• /
• 2002

무선 자원 제어 프로토콜에서는 각 기지국 영역을 벗어나 다른 기지국으로 이동할 때 통화의 단절 없이 계속 유지하는 핸드오버 기능이 필수적이다. 핸드오버는 이동 통신 네트웍에서 필수적인 하나의 수단으로 현재 서비스 중인 연결의 협상된 서비스의 질을 유지하면서 단말기의 이동성 보장을 목표로 한다. 본 논문에서는 Telelogic 사의 통신 시스템 통한 개발 도구인 SDT와 ITEX를 이용하여 현재 3GPP 진영에서 개발중인 IMT-2000/비동기방식 무선 인터페이스 중 무선 자원 제어 프로토콜의 핸드오버 절차를 SDL로 명세하고, 정확성을 검증한다. 그리고 검증된 핸드오버 절차의 적합성 시험을 수행한다.