• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2008년도 한국컴퓨터종합학술대회논문집 Vol.35 No.1 (B)
• /
• pp.500-503
• /
• 2008

분산 컴포넌트 시스템에서 여러 컴포넌트가 맞물려 서비스를 수행할 때 기준이 되는 시간이 필요하고 각 컴포넌트 별로 시간 오차가 발생하는 상황에서 시간 동기화 과정이 필요하다. 안정성이 중요시되고 실시간성을 보장하고자 하는 시스템에서 동기화된 시간의 정밀도는 중요한 이슈가 되고 있는데 현재까지 제안된 시간 동기화를 그대로 사용할 경우 발생할 수 있는 딜레이 요소들로 인해 동기화된 시간의 정밀도가 떨어진다. 따라서 본 논문에서는 실제 환경에 시간 동기화가 이루어질 때 오차를 발생시키는 요소들을 지적하고 보완할 수 있는 방법들은 제안함으로써 시간 동기화의 정확도를 높인다.

• 한국멀티미디어학회논문지
• /
• 제6권4호
• /
• pp.583-593
• /
• 2003

Engineering design applications require the support of long transactions in cooperative environments. The problem of the existing copy/update/merge approaches is that the partial effects of a committed transaction may be not part of the merged version. This paper introduces a new cooperative transaction model, which allows updates to be progressively notified or propagated into other transactions accessing the same object. To support incremental update propagation and notification, we use the term dynamic dependency to define the intertransaction dependency relationships among all the objects checked out from the public database. Consistency in multiple copies of the same object is achieved by a two-phase delta-merge protocol. Our model provides a synchronization of cooperative updates performed in several workspaces without using locking mechanisms.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 추계학술발표논문집 (하)
• /
• pp.1973-1976
• /
• 2002

본 논문에서는 유 무선 네트워크 환경에서의 자료 일치성 유지를 위한 동기화 프로토콜(SyncML1.1)을 검증한다. 프로토콜 검증에 관한 기존 연구에서는 약한 일관성을 갖는 동기화 프로토콜은 다루어지지 않았으며 정리 증명 혹은 모델 채킹에 대한 선택적 접근으로인해 증명 영역이 제한적이었다. 본 연구에서는 프로토콜의 의미를 정의하고 행위 및 시스템 구조, 메시지 패싱에 대한 개별적 모델을 단계적으로 설계하는 한편, 동기화 프로토콜에서의 안전성 및 상호 배제, 궁극성 속성은 시퀀트 계산법에서의 역방향 전략으로 증명되며, 모델 채킹 기술을 하나의 증명 규칙으로 사용했다. 본 연구는 두가지 부분에서 특징과 의미을 갖는다. 첫째, 정리증명과 모델 채킹이 혼합된 검증 방법을 사용했다. 둘째, 객체 제약 언어 및 정형 명세 언어의 사용을 통해 모델의 생성을 보다 단계적이고 정형적으로 유도했으며 이를 통해 검증의 신뢰성 및 품질을 높였다.

• 제어로봇시스템학회논문지
• /
• 제6권11호
• /
• pp.943-954
• /
• 2000

Fieldbus is the lowest level industrial network in the communication hierarchy of factory automation and distributed process control systems. Data generated from field devices are largely divided into three categories : time-critical, periodic and time-available data. Because these data share one fieldbus medium, it needs a method that allocates these data to the bandwidth-limited fieldbus medium. This paper introduces an implementation method of bandwidth allocation scheme on PROFIBUS. In order to implement bandwidth allocation scheme on PROFIBUS, the following functions need to be supplemented on the FDL(Fieldbus Datalink Layer) protocol: (i) separation of medium bandwidth into periodic and non-periodic intervals, (ii) synchronization of node timers over a local link. In order to examine the validity of bandwidth allocation scheme on PROFIBUS, this paper develops an experimental model of a network system. The results obtained from the experimental model show that the bandwidth allocation scheme satisfies the performance requirement of time-critical, periodic and time-available data.

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

현재 네트워크상에 사용자를 인증하는 부분은 시스템 보안상으로 아주 중요한 역할을 하고 있다. 공개된 네트워크에서는 개인의 중요한 프라이버시 정보를 보호하기 위해 인증 절차를 거치게 된다. 이러한 인증 방법에는 간단한 Identity/Password 인증부터 복잡한 생채 공학 인증까지 다양한 기술들이 존재 한다. 최근 금융보안업계가 주축이 되어 일회용패스워드(OTP : One Time Password) 인증 시스템을 활용하기 위한 기술적 시도 및 개발이 활발히 이루어지고 있다. 일회용 패스워드는 사용자가 인증 받고자 할 때 새로운 패스워드를 생성하고 사용 후 버린다는 구조를 가지고 있다. 이는 매번 같은 패스워드를 사용했을 때 발생하는 보안 문제점을 해결할 수 있다. 그러나 OTP 인증 방법에도 여러 가지 공격 방법에 취약한 문제점들이 노출되어 있다. 본 논문은 기존의 인증 프로토콜 문제점을 개선하고 크기가 작은 스트림 알고리즘을 이용하여 스마트카드에서 사용 가능한 새로운 인증 프로토콜을 제안한다.

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송공학회 2012년도 추계학술대회
• /
• pp.203-206
• /
• 2012

본 논문은 HTTP protocol을 이용한 미디어 Streaming 서비스 표준인 MPEG-DASH(Dynamic Adaptive Streaming over HTTP)를 기반으로 한 N-Screen 서비스 동기화 방안을 제시한다. N-Screen 서비스란 다수의 미디어 Device를 이용하여 하나의 콘텐츠들을 공유 및 전송하는 서비스를 뜻한다. 이는 MPEG-DASH 표준 기술을 활용함으로써 보다 효율적인 서비스 이용이 가능하다. DASH는 다수의 품질의 같은 영상들을 시간별로 분할하여 Server에서 보유하여 한 Device에게 네트워크 환경에 맞춰 가장 적합한 Segment들을 전달 및 전환함으로써 끊기지않는 Streaming 서비스가 가능하다. 하지만 현재 MPEG-DASH 표준기술에서는 N-Screen 서비스에 대한 활용방안 시나리오가 재정되어 있지 않아 다수의 Device에서 Segment를 끊김없는 Media Streaming 서비스를 지원하기 위한 방안이 필요하다. 이를 위해 본 논문에서는 한 Device가 다른 Device에게 N-screen을 위한 동기화 정보를 전송함으로써 특정 콘텐츠가 끊기지 않고 연이어 볼 수 있는 동기화를 이룰 수 있는 방안을 대한 서비스 시나리오를 제시한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (D)
• /
• pp.50-55
• /
• 2006

저전력 연산능력과 무선통신 기능을 포함한 경량의 센서노드들로 구성된 무선 센서네트워크는 자연 환경의 모니터링에서 군사적인 목적에 이르기까지 다양한 어플리케이션을 창출 할 수 있다. 그러나, 다수의 저가 무선 노드를 배치해야 하는 센서네트워크의 특성상 안정성이 높은 고가의 부품을 사용할 수 없어, 이에 대한 보완 방안에 대한 연구가 활발히 진행 중이다. 특히, 무선 노드들 간의 시간동기화는 가용 무선 대역폭이 적은 무선 센서 네트워크에서 TDMA 스케줄링등의 기술을 구현하기 위한 필수적인 기반기술로서 네트워크 특성을 고려한 새로운 동기화 기법을 요구하고 있다. 본 논문에서는, 무선센서노드의 특성을 파악하고 시간 동기화 수행 시 발생할 수 있는 오차요인을 분석하여, 넓은 지역에 산발적으로 분포되는 무선 센서네트워크의 특성을 보완할 수 있는 새로운 시간동기화 기법을 제안한다.

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송공학회 2011년도 추계학술대회
• /
• pp.356-359
• /
• 2011

최근 방송 시스템의 디지털화, 통신기술과 가전제품의 발전으로 스마트 TV 시대가 열리게 되었다. 이제 시청자들은 스마트 TV를 통해 기존의 디지털 방송과 IP(Internet Protocol) 통신이 융합한 하이브리드 방송 서비스가 가능해지면서 기존 방송망을 통한 실시간 콘텐츠 서비스와 더불어 IP망을 통한 VOD(Video on Demand) 서비스, 멀티뷰(Multi-view) 서비스의 이용이 가능하게 되었다. 그 중 멀티뷰 서비스는 시청자가 동일한 시간의 영상을 다양한 시점에서 동시에 볼 수 있는 서비스로서, 하이브리드 방송 환경 하에서 현 방송 규격인 MPEG-2 TS(Transport Stream) 콘텐츠와 IP망을 통해 전달되는 실시간/비실시간 콘텐츠가 멀티뷰 서비스가 이루어질 때 콘텐츠 간의 시간정보 규격이 서로 상이하여 동기화에 어려움이 있다. 따라서 본 논문에서 이종망을 기반으로 한 하이브리드 방송 환경내의 다시점 콘텐츠의 동기화 방안을 제안하고자 한다.

• 디지털콘텐츠학회 논문지
• /
• 제16권1호
• /
• pp.123-126
• /
• 2015

본 논문은 분산 멀티미디어에서의 결함 허용 시스템에 대해서 기술 하였다. 본 시스템은 분산 멀티미디어 공동 작업에 참여한 사용자들이 다른 참여자들에게 같은 뷰로써 동기화된 오류 객체들을 참조할 수 있도록 구축하였다. 분산 멀티미디어 환경은 IP-USN과 M2M에 기반을 두고 있다. 본 시스템은 축제를 여는 장소처럼 분산 멀티미디어 협동 작업 환경에서 소프트웨어 오류를 감지, 공유, 복구하기에 적합한 시스템이다. 이 시스템에 의해서 오류를 동기화 할 수 있다.

• Journal of Communications and Networks
• /
• 제15권3호
• /
• pp.321-328
• /
• 2013

In this paper, we present a technique for obtaining conflict-free schedules for real-time automation protocol for industrial Ethernet (RAPIEnet) switches. Mathematical model of the switch is obtained using graph theory. Initially network traffic entry and exit parts in a single RAPIEnet switch are identified, so that a bipartite conflict graph can be constructed. The obtained conflict graph is transformed to three kinds of matrices to be used as inputs for our simulation model, and selection of any of the matrix forms is application-specific. A greedy edge-coloring algorithm is used to schedule the network traffic and to solve the minimum coloring problem. After scheduling, empty slots are identified for forwarding the non real-time traffic of asynchronous devices. Finally, an algorithm for synchronizing the schedules of adjacent switches is proposed using edge-contraction and minors. All simulations were carried out using Matlab.