• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2004년도 춘계학술대회 논문집
• /
• pp.1452-1455
• /
• 2004

In this paper, we develope a protocol verification tool that verifies the correctness of rail signal control protocol type 2 specified in LTS(Labeled Transition System) by using model checking method. This tool automatically checks several properties for deadlock, livelock and reachability of states and actions on LTS. and removes many errors and ambiguities of an informal method used in the past, so saves down expenditures and times required in the protocol development. Therefore it is expected that there will be an increase in safety, reliability and efficiency in terms of the maintenance of the signaling system by using the developed verification tool.

• 전자공학회논문지A
• /
• 제33A권5호
• /
• pp.44-54
• /
• 1996

Various types of B-ISDN bearer connection can take place according to access types of endpoint equipments in call and number of connectio between endpoints. In this paper, performance of application signalling protocol on three basic facilities of B-ISDN CS-2 signalling system, such as connection of point-to-point, point-to-multipoint and multiconnection call, is evaluated and compared. For performacne evaluation, experimental model of B-ISDN application signalling protocol is implemented and respective message processing time of each process is measured. By applying message processing time to local exchange system, cal processing capacity of application signalling protocol on three basic connection types is evaluated by simulation method. In this paper, local exchange system is considered to have two ATM NNI links and four ATM UNI links.

• 대한전자공학회논문지TC
• /
• 제38권10호
• /
• pp.18-23
• /
• 2001

본 논문에서는 경쟁채널에서 시스템 부하가 큰 경우 수율이 불안정해지는 slotted ALOHA의 문제점을 해결하기 위해 실시간 및 비실시간 서비스 클래스의 특성을 기준으로 액세스 패킷 전송률을 조절하는 안정화된 매체접근제어 프로토콜을 제안한다. 수학적 모델 및 시뮬레이션 결과는 제안하는 프로토콜이 랜덤 액세스 절차에서의 안정적인 수율을 보장함을 보인다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제12권1호
• /
• pp.135-158
• /
• 2018

High-Speed vehicles can be considered as multiple mobile nodes that move together in a large-scale mobile network. High-speed makes the time allowed for a mobile node to complete a handover procedure shorter and more frequently. Hence, several protocols are used to manage the mobility of mobile nodes such as Network Mobility (NEMO). However, there are still some problems such as high handover latency and packet loss. So efficient handover management is needed to meet Quality of Service (QoS) requirements for real-time applications. This paper utilizes the cross-layer seamless handover technique for network mobility presented in cellular networks. It extends this technique to propose QoS-aware NEMO protocol which considers QoS requirements for real-time applications. A novel analytical framework is developed to compare the performance of the proposed protocol with basic NEMO using cost functions for realistic city mobility model. The numerical results show that QoS-aware NEMO protocol improves the performance in terms of handover latency, packet delivery cost, location update cost, and total cost.

• 전자공학회논문지S
• /
• 제34S권9호
• /
• pp.1-12
• /
• 1997

The performance of Carrier Sense Multiple Access/Collision Avoidance (CSMA/CA) protocol adopted as a draft standard of IEEE 802.11 wireless LAN, is analyzed by using mathematical method based on renewal theory. We introdude three kinds of CSMA/CA protocols basic, stop-and-wait and 4-Way handshake CSMA/CA with their mathematical analysis. First, a network of finite population is considered and then expand to infinite population. We model the CSMA/CA protocol as a hybrid protocol of 1-persistent CSMA and p-persistent CSMA protocol, and verify analaytical results by computer simulation. We have found that 4-Way Handshake CAMA/CA shows better performance than those of other two types of CSMA/CA in case of high traffic load.

• Journal of Advanced Marine Engineering and Technology
• /
• 제34권8호
• /
• pp.1159-1164
• /
• 2010

기존 해상의 데이터통신은 주로 위성과 라디오에 의존적이나 전송률과 비용 측면에서 제약을 가진다. 향후의 수요에 대비하여 육상의 통신체제와 유사하게 저렴하고 비교적 높은 전송률을 제공하는 새로운 해상통신체제가 필요하다. 이 논문에서는 선박간의 데이터통신을 위해 새롭게 설계된 해상통신망 모델을 보이고, 선박에서 이용할 수 있는 여러 무선매체 가운데 응용의 특성과 통신제약조건에 최적인 매체를 선택하여 경로를 배정하는 MWR 라우팅 프로토콜을 제안한다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 1999년도 추계종합학술대회
• /
• pp.312-321
• /
• 1999

인터넷의 급속한 보급과 더불어, 인터넷의 응용분야가 다양화됨에 따라 정보통신관련 S/W 들의 규모와 성능면에서 복잡하고 고도화된 시스템 및 소프트웨어를 요구하고 있다. 따라서 사용자의 요구사항을 충족하는 신뢰성 있는 통신 프로토콜 소프트웨어를 개발하는 방법에 대한 중요성이 커지고 있다. 본 고에서는 이용자의 요구사항에 대한 설계단계의 검증을 위하여, SDL을 위한 정형기법 지원도구 중 명세 상에서 행위 부분에 대한 동적 특성을 검증하는 검증기 개발과 SDL Editor 기능과 관련된 도구들과 통합하여 사용자들이 쉽고 편하게 쓸 수 있도록 통합환경 구현을 기술한다.

• 디지털산업정보학회논문지
• /
• 제4권3호
• /
• pp.9-18
• /
• 2008

Mobile devices do not need the fixed network infrastructure in ad-hoc network, these devices communicate each other through the distributed control. Accordingly, mobile devices can discover several services using dynamic searching method and provide safely public ownership of these services. Ad-hoc network needs the distributed control and topology of dynamic network because the limited power for processing and network communication. This paper is devoted to provide the secure protocol that provides efficient services discovery using SDP(Service Discovery Protocol) and considers the security requirements. Proposed protocol provides the distributed control based on PKI without central server, the discovery of trusted service, secure telecommunication, the identification among mobile devices, and service access control by user authority.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 1999년도 추계학술대회논문집
• /
• pp.163-175
• /
• 1999

As the size and complexity of network increase, Distributed Systems Management (DSM) will be significant issue within information network in order to increase the high reliability and to improve the flexibility of network management. The OSI management model has several problems. The key problems are that it does not fully address the problems of how to develop communication protocol in support of DSM, and how to classify the management connection criteria. In this paper, to solve first problem described above, this paper propose the connectionless CMIP(Common Management Information Protocol) to accomplish for effectively managing the distributed management system, and indicate its efficiency; this protocol is available to negotiate among the managing systems, handle the dynamic information. To work out second problem, we introduce the connection criteria in the hierarchy of management systems, and finally evaluate the efficiency of a suggested protocol during cooperative negotiation among the managing systems.

• 한국멀티미디어학회논문지
• /
• 제4권5호
• /
• pp.455-464
• /
• 2001

미래의 멀티미디어 서비스들을 가입자망에서 수용하기 위한 중요한 이슈 중의 하나는 액세스 망을 구축하는 것이다. 액세스 망과 서비스 노드 사이의 VB5.2 인터페이스는 ATM 자원의 동적인 할당 및 해제 기능을 수행한다. ITU-T의 SG 13에서는 VB5.2 인터페이스에 대하여 서비스 노드에서 신호 프로토콜들과 순차적으로 연동하는 B-BCC 프로토콜을 표준화하고 있다. 본 논문에서는 순차형 연동 모델의 연결 설정 지연을 최소화하기 위하여 VB5.2 연결 제어 프로토콜과 신호 프로토콜들이 병렬로 진행할 수 있는 병렬형 연동 모델을 제안하였으며, 연결 설정 지연과 완료비 면에서 순차형 연동 모델과 병렬형 연동 모델에 대한 시뮬레이션을 수행하였다. 시뮬레이션 결과 두 모델의 연결 설정 완료비는 거의 일치하였으며, 연결 설정 지연 면에 있어서는 병렬형 연동 모델에서의 지연이 순차형 연동 모델의 약 7/10로 개선되었음을 알 수 있었다.