• Journal of Advanced Marine Engineering and Technology
• /
• v.34 no.1
• /
• pp.147-153
• /
• 2010

MiTS Communication Protocol is a standard for the integrated processing and exchange of information on shipboard. It is specified in the form of state transitions as normal communication protocols. The design and implementation of such communication protocol require huge amount effort and time. To alleviate such burden, some systematic methodologies need to be devised. The design pattern may be the most adoptable one. This paper describes an object-oriented design and C++ implementation of MiTS Communication Protocol by adopting such methodology.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2016.05a
• /
• pp.739-740
• /
• 2016

본 연구는 2륜자동차용 가스분석기 벤치보드와 "교통안전공단" 서버와의 데이터를 전송할 수 있는 중간 미들웨어와 통신 프로토콜 분석에 관하여 연구하였다. "교통안전공단" 서버로의 데이터 전송은 향후에 구축된 2륜자동차 관리 서버와의 통신과 벤치보드와의 통신 내용을 관리할 수 있는 브릿지를 설계하여 벤치보드와 "교통안전공단" 서버와의 데이터 정송 결함 유무를 모니터링 할 수 있는 시스템에 관하여 연구하였다. 또한, 2륜자동차용 배출가스 검사기의 내부 데이터를 원격에서 관리할 수 있도록 이더넷(TCP/IP) 기반의 데이터 통신 프로토콜도 분석하고 설계하였다. 본 연구를 통하여 설계된 가스분석기 통신 프로토콜을 통하여 2륜자동차 검사소에서 계측된 데이터와 "교통안전공단" 서버와의 데이터의 무결점을 제공하기 위한 통신 프로토콜에 대한 데이터 모니터링 기능과 간단한 표시기능을 제공하는 모듈을 제시하고자 한다.

• Journal of KIISE:Information Networking
• /
• v.33 no.1
• /
• pp.1-8
• /
• 2006

Security protocols have usually been developed using informal design and verification techniques. However, many security protocols thought to be secure was found to be vulnerable later. Thus, the importance of formal specification and verification for analyzing the safely of protocols is increasing. With the rise of mobile communication networks, various mobile security protocols have been proposed. In this paper, we identify the security weakness of the ASK mobile Protocol using formal verification technique. In addition, we propose a new ASK protocol modifying its vulnerability and verify its robustness.

• The Journal of the Korea Contents Association
• /
• v.6 no.12
• /
• pp.59-70
• /
• 2006

Since communication systems software is very large and complex, it requires component based architecture for software reusability, hardware transparency, high performance, and easy software reconstruction in different applications. In order to meet these requirements, we analyze performance and inter-process communication techniques of existing CORBA IIOP, and designed a shared memory-based CORBA inter-ORB protocol that would best fit for communication systems software. The designed protocol supports the same interface and can minimize the message transfer overhead in the same host environment. The test results of our protocol compared with other protocols show that the performance is increased by about 15%-200%. We are thus assumed that our protocol can be used in developing CORBA-based component software architecture for communication systems.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10b
• /
• pp.1181-1184
• /
• 2000

정보통신 분야의 급격한 발달은 다양한 프로토콜을 지원하는 통신 시스템의 개발 주기를 더욱 빠르게 하고 있으며, 통신 프로토콜의 체계적인 분석과 재사용성 및 확장성을 고려한 시스템의 모델링 방법에 대한 필요성을 증가시키고 있다. 본 논문에서는 이에 대한 방안으로 객체지향 방법을 이용한 프로토콜의 시스템 모델링 및 설계 방안을 제시하였다. 이를 위해 WAP(Wireless Application Protocol)의 WTP를 객체지향 모델링 언어인 UML과 통신 시스템의 명세서를 작성하고 설계하는 표준화된 언어인 SDL을 이용하여 분석하고 설계하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.442-444
• /
• 2001

프로토콜은 서로 다른 원격 시스템간의 정보 교환을 원활하게 하기 위한 통신 규약이다. 일반적으로 프로토콜은 그 역할상 기능적 정확성이 절대적으로 필요한 대상이지만, 프로토콜 규격은 비형식적 텍스트 서술에 의존하기 때문에 소프트웨어의 설계에서 풀어야할 프로토콜 행위의 모호성과 불완전성을 낳게된다. 따라서, 프로토콜이 구현되기 이전에 프로토콜 규격에 대한 정확성, 완전성, 일관성 등을 조사, 분석하는 프로토콜 검증이 반드시 수반되어야 한다. 본 논문에서는 Telelogic사의 통신 시스템 통합 개발 도구인 SDT를 이용하여 현재 3GPP 진영에서 개발중인 IMT-2000/비동기식 무선 인터페이스 중 RRC 프로토콜을 SDL로 설계하고 정확성을 검증한다.

• Proceedings of the Korean Institute of Communication Sciences Conference
• /
• 1991.10a
• /
• pp.196-198
• /
• 1991

분산 시스팀 환경하에서 여러 다양한 구성요소사이의 상호작용과 통신을 관장하는 규칙들인 프로토콜을 설계하는데 있어서 컴퓨터 과학 및 공학 영역의 형식방법과 소프트웨어 공학기법이 적용되고 있다. 그 결과로서 새로운 영역인 프로토콜 공학(Protocol Engineering)의 중요성이 점차 대두되고 있다. 본 연구에서는 프로토콜 공학 사이클(프로토콜과 서비스 명세, 프로토콜 검정과 검증, 프로토콜 종합, 프로토콜 변환, 성능 평가, 자동 구현, 그리고 적합성 시험) 중에서 적합성시섬 즉, 적합성 시험언어인 TTCN(Tree and Tabular Combined Notation) 특성, 시험시나리오, 그리고 추상적 시험 시나리오를 수행하는 시험언어 번역기(TTCN2C)에 관해서 논하였다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.16 no.9
• /
• pp.850-861
• /
• 1991

본 논문은 생산에서 판매, 경영에 이르는 모든 과정을 통합하여 효율적인 생산체제의 구축을 위한 CIM에 대한 네트워크 프로토콜에 관한 연구로써, 생산자동화를 위한 통신프로토콜인 MAP 규격에 의거, 실시간 응용이 가능한 Mini-MAP을 스테이션 토대별로 하여 LLC및 응용계층 프로토콜인 MMS를 설계하였다.

• Proceedings of the Korean Institute of Communication Sciences Conference
• /
• 1992.10a
• /
• pp.77-81
• /
• 1992

• Proceedings of the Korea Multimedia Society Conference
• /
• 2000.11a
• /
• pp.327-330
• /
• 2000

최근 이동 전화 단말기를 이용한 무선 통신 인구가 급증하고 있고, 이들은 무선 통신을 이용한 다양한 서비스를 요구하고 있다. 이런 서비스들 중 기존의 월드 와이드 웹과의 연결을 통한 서비스들도 요구되고 있다 이러한 서비스들을 제공하기 위해 여러 업체들이 포럼을 구성하여 무선 통신 망과 기존의 인터넷망을 연결하는 프로토콜인 Wireless Application Protocol(WAP)을 만들었다. 이 프로토콜을 이용하여 서비스를 제공하는 WAP 서버와 무선통신 단말기와의 연결하는데 있어 이를 담당하는 게이트웨이가 필요하다. 본 논문에서 WAP 프로토콜을 이용하여 이동 통신망과 인터넷망을 이용한 WAP 서버 사이에 브릿지 역할을 하는 게이트웨이를 설계하고 구현했다