• Industrial Engineering and Management Systems
• /
• 제8권1호
• /
• pp.54-65
• /
• 2009

The existence of Internet revolutionized the computer and communications world. With the rising demand for accessing the Internet, the mobile technology has incorporated the use of Internet in mobile phones. Wireless Application Protocol (WAP) has combined two of the widest utilized technology today: mobile phones and Internet. This study aims to assess the existing WAP pages offered by the top service providers in the Philippines through usability testing experiments. The paper also aims to identify existing problems in WAP interface by focusing on the errors committed by the users. From the usability study, it was found out that common usability problems are wrong selection of links, unclear grouping of categories, wrong feedback, and redundant links. The type of service provider used is significant in determining the performance of users while experience in accessing WAP is insignificant.

• 한국도로학회논문집
• /
• 제12권4호
• /
• pp.39-46
• /
• 2010

2007년부터 아이오와 주 교통국에서는 고속도로와 국도에서 FWD 장비를 이용하여 네트워크 레벨에 필요한 조사를 실시하였고 처짐 자료와 포장 구조분석 결과를 데이터베이스로 구축하는 작업을 시작하였다. 축적된 데이터베이스에 정보는 포장에 구조적 문제점을 발견하고 포장에 잔류 공용수명을 예측하여 포장에 유지보수 시점을 결정하는데 사용한다. 현재 아이오와 주 교통국에서 사용하고 있는 FWD 네트워크 레벨 조사 프로토콜은 포장 표면에 3번에 하중을 각각 재하하여 8개에 지오폰으로부터 측정한 처짐량을 이용, 역 계산을 통해 포장구조 해석을 수행하고 있으며 조사지점 수는 조사하는 도로의 구간 길이에 따라 결정하고 있다. 그러나, 현재 사용하고 있은 FWD 네트워크 레벨 조사 프로토콜은 1년 동안 아이오와 주 전체 도로 네트워크에 약 20%만을 조사할 수 있는 것으로 나타났다. 따라서, 해마다 아이오와 주 도로 네트워크에 20% 이상을 조사하기 위해서는 현재 사용하고 있는 FWD 네트워크 레벨 조사 프로토콜을 간소화해야 할 필요가 있다. 본 연구에 목적은 현재 사용하고 있는 FWD 네트워크 레벨 조사 프로토콜에서 FWD 측정 데이터에 영향을 미치지 않는 범위내에서 최소 하중 재하 수와 조사지점 수를 결정하기 위한 것이다. 83개에 합성포장 구간을 대상으로 측정한 FWD 네트워크 레벨 조사에서는 FWD 네트워크 레벨 조사 프로토콜에서 하중 재하 수와 조사지점 수를 줄여도 포장 구조해석 결과에는 크게 영향을 미치지 않는 것으로 나타났다. 간소화된 FWD 네트워크 레벨 조사 프로토콜은 FWD 측정 결과에 영향을 미치지 않으면서 측정 조사율을 높일 수 있을 뿐만 아니라 교통 통제로 인한 간접비용도 절감시킬 수 있을 것으로 기대하고 있다.

• 전자공학회논문지CI
• /
• 제39권3호
• /
• pp.1-17
• /
• 2002

본 논문은 심볼릭 모델 체커 SMV(Symbolic Model Verifier)를 이용하여, 한국전자통신연구원 (Electronics and Communications Research Institute)에서 개발한 캐쉬 일관성 프로토콜인 RACE(Remote Access Cache coherency Enforcement) 프로토콜의 몇 가지 특성(property)들을 검증함으로써, RACE 프로토콜이 중요 요구사항(requirement)들을 만족함을 보인다. 본 검증에서는 RACE 프로토콜의 모델을 SMV 입력 언어로 명세하며, 검증할 특성들을 CTL(Computational Tree Logic)을 이용하여 나타낸다. 본 검증을 통해서 RACE 프로토콜은 4개의 노드로 구성된 시스템에서 비정상적인 state/input 조합이 발생하지 않으며, liveness와 safety를 만족한다는 것을 검증하였다. 또한, 프로토콜 개발자들이 예상하지 못한 명세서 상의 모호성(ambiguity) 및 기아현상(starvation)을 발견하였으며, 본 검증 사례를 통하여 모델 체킹 기법이 하드웨어 프로토콜 검증에 효과적으로 이용될 수 있다는 것을 제안한다. 그리고, 검증시에 구현된 모델을 이용하여 시뮬레이션 및 테스팅에 유용하게 사용될 수 있는 테스트 케이스를 자동적으로 생성할 수 있는 새로운 방법을 제안한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2001년도 하계학술대회 논문집 D
• /
• pp.2219-2221
• /
• 2001

A communication protocol for automatic meter reading is designed for electronic power meter. Communicational functions and data structures are standardized and data reading software is developed according to the developed protocol. The communication protocol is designed with reference specifications, IEC 62056-31 and Distributed Network Protocol(DNP). For design, communicational functions and specifications of the industrial meters were analyzed for the purpose of developing a new one for KEPCO meters. The protocol is designed with 3 layer model, physical layers, data link layer and application layer. A documentation was completed with data gathering, data classification, authentication, error detection. An emulator system was made for testing the protocol. A meter reading software was developed using the protocol. Many different protocols and meter reading softwares are integrated into one with the developed protocol and software as KEPCO's standard.

• 한국정보처리학회논문지
• /
• 제4권4호
• /
• pp.1046-1058
• /
• 1997

WWW은 미래의 쇼핑수단으로 자리를 잡아가고 있다. 하지만, 현재 사용되고 있는 지불형태는 구매자와 신용카드 정보가 평문으로 네트워크를 통해 전상되는 보안상의 문제점을 가지고 있다. 이러한 문제점들은 개인정보에 대한 침해 뿐만 아니라 경제 범죄 등의 사회적 문제를 야기시킬 수 있다. 이러한 문제점을 해결하기 위해 본 논문 에서는 전자우편을 위한 보안도구로 개발된 PGP를 WWW에 접목시켜 WWW 암호통신을 구현 하는 방법을 제시하고, 이 방법을 이용하여 새로운 전자지불 프로토콜인 SCCP를 설계, 제안한다. 제안하는 SCCP의 적합성을 확인하기 위해 IBM에서 제시한 기준에 따라 검 증한, 결과, 본 논문에서 제시하는 방법은 안전한 전자지불 프로토콜로 판단된다.

• 한국정보과학회논문지:정보통신
• /
• 제28권3호
• /
• pp.297-308
• /
• 2001

본 논문에서는 SDT를 이용하여, WAP 포럼에서 제안한 WTP 프로토콜을 설계, 검증 및 구현하였다. 이를 위하여 무선 트랜잭션 프로토콜을 형식 명세 언어인 SDL로 모델링하였으며, UDP 플랫폼상에서 동작하는 무선 트랜잭션 프로토콜 소프트웨어를 생성하기 위한 환경함수를 설계 및 구현하였다. 또한, 무선 트랜잭션 프로토콜 서비스를 사용하여 통신 응용 프로그램을 작성할 수 있도록 개발 환경을 제공하기 위해 응용프로그래밍 인터페이스를 설계하였다. 그리고 시험 도구인 ITEX를 이용하여 구현된 프로토콜이 규격에 일치하여 동작하는지 검사하는 적합성 시험을 수행하였다. 이를 위하여 시험 언어인 TTCN으로 추상적 시험 스위트를 작성하였고 시험 언어 컴파일러를 이용하여 실행 가능한 시험 스위트를 생성하였다.

• 전기학회논문지P
• /
• 제65권4호
• /
• pp.326-334
• /
• 2016

In this paper for developing and implementing the realtime HD level video streaming transmitter which is operated on the multi-platform in all network and client environment compared to the exist video live streaming transmitter. We design the realtime HD level video streaming transmitter supporting the multi-platform using the TMS320DM386 video processor of T.I company and then porting the Linux kernel 2.6.29 and implementing the RTSP(Real Time Streaming Protocol)/RTP(Real Time Transport Protocol), HLS(Http Live Streaming), RTMP(Real Time Messaging Protocol) that can support the multi-platform of video stream protocol of the received equipments (smart phone, tablet PC, notebook etc.). For proving the performance of developed video streaming transmitter, we make the testing environment for testing the performance of streaming transmitter using the notebook, iPad, android Phone, and then analysis the received video in the client displayer. In this paper, we suggest the developed the Realtime HD(High Definition) level Video Streaming transmitter performance data values higher than the exist products.

• 한국통신학회논문지
• /
• 제18권9호
• /
• pp.1395-1403
• /
• 1993

프로토콜의 적합성시험은 컴퓨터 통신에서 상호운용성과 비용의 효율성을 높이기 위해서 매우 중요하다. 적합성 시험은 구현된 내용이 프로토콜 규격에 적합하게 구현되었는지를 검사하는 것으로, 그것의 효율성과 오류검출능력은 시험 항목의 생성방법에 의해서 결정된다. 프로토콜이 유한상태기계로 표현될때 한상태에 여러개의 UIO(Unique Input Output)순서들이 존재할 수 있으므로 이들중 가장 적합한 순서를 선정함으로서 시험 길이를 최소화 할 수 있다. 따라서 본 논문은 시험 길이를 최소화하기 위해서 여러개의 UIO순서들간에 존재하는 최대중복성을 찾기 위한 알고리즘을 깊이트리를 이용하여 구성하였고, 이 알고리즘을 이용하여 최소길이의 시험 순서를 생성하는 예를 보여주었다.

• 한국통신학회논문지
• /
• 제30권5B호
• /
• pp.247-252
• /
• 2005

현재 국외의 LDAP (Light-weight Directory Access Protocol) 상호운용성 시험을 위한 시험 도구가 있으나 이들은 소스가 개방 되어 있지 않아 시험 환경에 맞추기 위한 시험 항목의 수정이 어렵고, 차후 새로운 시험 항목의 추가 또한 힘든 상황이다. 그러므로 새로운 시험 도구에서는 개발 시간 단축과 시험 항목의 추가 및 변경의 용이성을 위해 객체지향 접근이 요구된다. 따라서 객체 지향 접근을 위해 객체 지향 언어인 자바를 이용해 시험도구를 구현하였다. 구현한 시험도구는 시험 항목 정보 중에서 이미 저장되어 있는 데이터에 알맞게 일부를 수정하여 시험이 가능하다. 또한 한번의 동일한 설정으로 최대 5개의 LDAP 서버를 동시에 시험 가능하다. 구현한 시험도구를 사용하여 두 대의 LDAP 서버를 대상으로 상호운용성 시험을 수행한 결과 정상적으로 동작됨을 확인하였으며, 시험 환경에 알맞도록 시험항목의 변경과 새로운 시험 항목의 추가가 용이함을 확인하여, 설계한 아키텍처의 유용성을 검증하였다.

• 전기전자학회논문지
• /
• 제14권3호
• /
• pp.210-218
• /
• 2010

TTCN-3(Testing & Test Control Notation Version 3)은 2001년 ETSI에서 표준화한 국제 표준 테스트 언어이다. TTCN-3은 프로토콜 적합성 시험에 일반적으로 사용하고, 특정 부분의 모듈이나, CORBA 기반의 플랫폼 및 API 시험 등에 적용이 가능하다. 또한 적합성 시험뿐만 아니라 연동 시험, 반복 시험, 플랫폼 시험 등의 다양한 시험에 적용이 가능하다. IEC61850 은 SCADA(Supervisory Control And Data Acquisition) 시스템에서 SAS(Substation Automation System)를 위해 제안된 프로토콜이다. 본 논문에서는 TTCN-3 적합성 시험 언어를 이용하여 IEC 61850 상호 연동성 시험기를 Windows 환경에서 구현하였다. SUT(System Under Test)로는 리눅스 운영체제 기반의 IEC61850 Server Simulator를 사용하였다. 본 논문에서 시험한 적합성 시험 항목은 "IEC61850 - Part10" 문서의 테스트 항목들 중 "Server, Logical device, Logical node, and data model"의 Positive test case_Srv5 항목을 시험하였다.