• 제목/요약/키워드: 분산 명세

검색결과 122건 처리시간 0.024초

실시간 CORBA의 우선순위 모델 구현 (An Implementation of Priority Model of Real-Time CORBA)

  • 박순례;정선태
    • 전자공학회논문지CI
    • /
    • 제38권4호
    • /
    • pp.59-71
    • /
    • 2001
  • 현재의 CORBA는 처음부터 비즈니스 환경의 클라이언트/서버 분산 컴퓨팅 환경 구축을 염두에 두고 주로 개발되어 왔기 때문에, 실시간성 지원이 필요한 분산 제어 시스템 등의 분산 실시간 시스템 구축에 사용되기에는 부족한 점이 많다. CORBA의 실시간성 개선을 위한 많은 연구가 진행되어 왔으며, 이러한 연구에 힘입어 최근 OMG에서는 실시간 CORBA 사양을 발표하였다. 실시간 CORBA는 기존 CORBA의 확장으로 명세되고 있으며, ‘종단간 예측성’을 지원하는 CORBA ORB 구현을 위한 표준을 제공하고자 한다. 종단간 예측성 지원을 위해, 실시간 CORBA는 우선순위 모델, 통신 프로토콜 구성, 쓰레드 관리 등을 지원하는 명세를 표준화하고 있는데, 이중 가장 중요한 요소는 클라이언트 요청처리에 우선순위를 부여하여 처리할 수 있도록 지원한 ‘우선순위 모델’ 명세의 지원이다. 본 논문은 실시간 CORBA의 우선순위 모델을 설계하고 구현한 결과를 제시한다. 구현은 오픈소스인 비실시간 ORB 인 omniORB2 (v. 3.0.0)을 기반으로 확장한 형태로 이루어 졌다. 구현된 우선순위 모델의 실시간성 개신 결과의 분석은 지연시간과 지터의 측정으로 성능과 예측성을 각각 비실시간 ORB와 비교하였다. 실험결과, 구현된 실시간 CORBA 우선순위 모델 구현의 실시간성 개선을 확인할 수 있었다.

  • PDF

공간 프로세스 대수를 이용한 정형 명세와 분석에서의 시간속성의 시각화 (Visual Representation of Temporal Properties in Formal Specification and Analysis using a Spatial Process Algebra)

  • 온진호;최정란;이문근
    • 정보처리학회논문지D
    • /
    • 제16D권3호
    • /
    • pp.339-352
    • /
    • 2009
  • 유비쿼터스 컴퓨팅 환경에서 분산된 실시간 시스템의 행위와 공간, 시간 속성을 분석하고, 검증하기 위한 다양한 정형기법들이 존재한다. 그러나 대부분의 경우 공간과 행위를 같이 표현하는 구조적, 근본적 한계가 존재한다. 게다가 시간 속성이 포함되는 경우는 더욱 복잡해지게 된다. 이러한 한계를 해결하기 위하여 본 논문은 Timed Calculus of Abstract Real-Time Distribution, Mobility and Interaction(t-CARDMI)라는 새로운 정형기법을 제안한다. t-CARDMI는 행위의 표현으로부터 공간정보의 표현을 분리시켜 복잡도를 단순화 시키며, 시간 속성에 대해서 오직 행위적 표현에서만 허용하여 복잡한 명세를 덜 복잡하게 표현한다. t-CARDMI는 대기기간, 실행시작 만족시간, 실행시간, 실행완료 만족시간 등의 특유의 시간속성을 이동과 통신의 행위에서 모두 포함하는 특징을 갖는다. 새롭게 제안된 Timed Action Graph(TAG)는 공간과 시간을 포함하는 시스템의 명세를 분석하고 검증하기 위해서 공간과 시간속성을 2차원의 다이어그램으로 표현하며 그 안에서 이동과 통신의 정보를 분산된 그림정보로 표현하는 그래프로 t-CARDMI를 좀더 효율적으로 명세하고 분석할 수 있는 방법을 제공한다. t-CARDMI는 유비쿼터스 컴퓨팅에서의 분산된 실시간 시스템의 공간적, 행위적, 시간적 속성에 대한 명세, 분석 및 검증에 매우 효율적이고 효과적인 혁신적인 정형기법의 하나로 고려될 수 있다. 본 논문은 t-CARDMI의 문법과 의미, TAG 그리고 Specification, Analysis, Verification, and Evaluation (SAVE)로 명명된 툴을 제안하고 유비쿼터스 헬스케어 시스템 예제를 통해 효율성을 분석한다.

분산 멀티미디어 응용을 위한 실시간 동기화 메카니즘 (A Real-Time Synchronization Mechanism for Distributed Multimedia Applications)

  • 박영숙;이승원;정기동
    • 한국정보처리학회논문지
    • /
    • 제7권12호
    • /
    • pp.3785-3793
    • /
    • 2000
  • 분산 멀티미디어 시스템에서는 미디어들 간에 존재하는 시간 관계성을 정확하게 표현하면서 네트워크의 가변적인 지연으로 인해 유발되는 비동기 문제를 해결할 수 있는 동기화 메카니즘이 필요하다. 본 논문에서는 실시간 분산 환경의 멀티미디어 응용을 지원하기 위해 Petri Net에 기반한 RTPN(Real-Time Petri Net) 동기화 명세 모델을 제안한다. 제한하는 모델은 미디어의 지연관계나 중요도에 의해 주요 키 미디어와 상대 키 미디어를 정의하여 다양한 미디어 객체간의 시간 관계를 유연하게 명세 한다. 그리고 점화 규칙은 비동기 허용율에 기반한 점화 함수에 의해 즉시 발생 되어 미디어 내 및 미디어간 실시간 동기화를 지원한다. 한편 프리젠테이션 레벨의 재동기를 위한 비동기 제어 알고리즘은 보다 효율적인 QoS 보장이 가능하다.

  • PDF

OMG MAF 명세를 지원하는 이동 에이전트시스템의 개발 (A Mobile Agent System supporting OMG MAF Specification)

  • 유양우;김진홍;안건태;문남두;박양수;이명준
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (3)
    • /
    • pp.715-717
    • /
    • 1999
  • 인터넷 환경에서 분산 애플리케이션을 개발하는데 있어서 다양한 기술과 방법이 사용되고 있다. 그 중 이동에이전트를 이용하는 기술은 서버의 인터페이스를 바꾸지 않고 클라이언트의 다양한 요구를 융통성 있게 서비스할 수 있고, 네트웍 트래픽(traffic)을 줄이는 패러다임 특성 때문에 현재 널리 각광받고 있다. 하지만, 대부분의 이동 에이전트 시스템들은 그 구조와 구현이 매우 상이하여, 이동 에이전트들이 이종의 시스템에서 실행이 되지 않고 있다. 이러한 문제를 해결하기 위하여 OMB(Object Management Group, Inc)는 이질적인 에이전트시스템간의 상호운용성(interoperability)과 이식성을 증진시킬 목적으로 MAF(Mobile Agent Facilities) 명세를 제안하였다. 본 논문에서는 OMG MAF 명세를 만족하는 이동 에이전트시스템을 Java 프로그래밍 언어를 이용하여 개발하였다.

  • PDF

Apache와 PostgreSQL을 이용한 WebDAV 서버의 설계 (Design of a WebDAV Sewer using Apache and PostgreSQL)

  • 정혜영;안건태;박희종;문남두;이명준
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (A)
    • /
    • pp.397-399
    • /
    • 2004
  • 분산된 작업 공간의 사용자가 인터넷을 통하여 협업을 할 수 있도록 하기 위하여 WebDAV 명세가 W3C의 IETF의 작업 그룹에 의해서 1992년 2월에 발표되었다. WebDAV는 HTTP/1.1을 확장한 웹 통신프로토콜로서, 인터넷을 통하여 광범위하고 다양한 콘텐츠의 비동기적인 협업을 지원하기 위한 표준 하부 구조를 제공한다. 이러한 명세를 지원하는 WebDAV 서버의 주요 기능은 HTTP/1.1의 기본적인 웹 서버의 기능을 제공하면서 확장된 WebDAV 명세의 기능을 제공하는 것이다. 본 논문에서 설계한 WebDAV 서버는 WebDAV를 지원하고 있는 공개 소프트웨어인 아파치 웹 서버의 mod_dav 모듈을 확장한 것으로 WebDAV의 자원과 속성 및 잠금 정보를 기존의 파일 시스템의 파일 형태로 관리하고 있는 것을 자원의 속성과 잠금 정보 부분을 PostgreSQL 데이터베이스에서 관리하도록 하였다. WebDAV 자원의 속성과 잠금 정보를 파일로 관리함으로 인한 성능 저하와 확장성의 문제를 해결할 수 있다.

  • PDF

이동 프로세스 대수에서 행위의 의미 분석을 위한 정형기법 (Formal Method for Meaning Analysis of Behavior on Mobile Process Algebra)

  • 우수정;온진호;이문근
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2010년도 한국컴퓨터종합학술대회논문집 Vol.37 No.1(B)
    • /
    • pp.16-21
    • /
    • 2010
  • 분산 이동 실시간 시스템의 명세, 개발 및 검증을 위해 ${\pi}$-calculus, bigraph, Mobile Ambient, CARDMI 등의 정형기법이 존재한다. 이러한 정형기법은 이동하는 에이전트 혹은 프로세스에 대한 명세 및 시스템의 안전성과 검증에 대한 분석을 지원하지만, 행위의 의미적 관점에서 분석 및 검증 방법을 제시하고 있지 않다. 본 논문에서는 정형기법으로 명세 된 시스템의 실행 데이터인 원시 데이터를 행위의 의미적 관점에서 시스템을 분석 및 검증이 가능한 Prism Analyzer를 제안한다. 제안된 Prism Analyzer는 특정 시스템에 대해 발생할 수 있는 다양한 행위를 온톨로지와 속성문법으로 정규화한 다양한 행위모델을 지닌다. 이러한 Prism Analyzer는 원시 데이터를 행위의 의미적 측면에서 개별적, 연속적, 복합적으로 분석 및 검증이 가능하고, Prism Analyzer에 정의된 다양한 행위 모델을 바탕으로 동일한 원시 데이터에 대해 행위 모델에 따른 다양한 분석 결과를 도출해 낼 수 있다.

  • PDF

UDDI 복제 명세를 지원하는 그룹통신 기반의 UDDI 레지스트리의 설계 (Design of a Group Communication-based UDDI Registry Supporting the UDDI Replication Specification)

  • 문남두;김진홍;이명준
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (C)
    • /
    • pp.151-153
    • /
    • 2003
  • UDDI는 웹 서비스를 위한 웹 기반 분산 레지스트리의 표준이며, 또한 비즈니스들이 제공하는 웹 서비스에 대한 정보를 등록하고 다른 비즈니스들이 이를 검색하고 이용할 수 있도록 구현한 시스템이다. OASIS(Organization for the Advancement of Structured Information Standards)는 UDDI 서비스에 참여하는 개별 노드들의 레지스트리 변경을 모든 노드에서 인지하고. 노드간의 레지스트리 상태를 일관성 있게 유지시킬 목적으로 UDDI 복제 명세를 제안하였다. 본 논문에서는 OA51S UDDI 복제 명세를 만족하는 그룹통신 기반의 UDDI 레지스트리 설계에 관하여 기술한다. 제안된 시스템은 신뢰성 있는 그룹통신 시스템을 이용하여 일시적인 네트워크 단절이나 프로세스의 실패가 일어나는 상황에서도 UDDI 서비스에 참여하는 개별 노드들의 레지스트리 상태를 일관성 있게 유지할 수 있다.

  • PDF

PC 그리드 컴퓨팅 환경에서 오픈 자원 명세 아카이브 구축 (Construction of Open Resource Description Archive in PC Grid Computing Environments)

  • 윤준원;최장원;박찬열;이필우
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2007년도 가을 학술발표논문집 Vol.34 No.2 (B)
    • /
    • pp.477-481
    • /
    • 2007
  • PC 그리드 컴퓨팅 환경은 수많은 사용자들이 인터넷을 통해 사용하고 있는 데스크톱 PC의 유휴 자원을 제공함으로써, 고성능 컴퓨팅 파워를 창출하고자 하는 분산 컴퓨팅 패러다임이다. 이렇게 창출된 고성능 자원을 이용하여 대용량 응용 계산을 수행함으로서 고가의 슈퍼컴퓨터에서 수행하던 응용을 대체할 수 있는 새로운 수단으로 연구되어지고 있다. 본 논문에서는 인터넷을 통해 PC의 유휴 자원을 제공하는 기판, 단체, 팀과 같은 자원제공자 그룹들이 제공할 수 있는 자원에 대한 명세를 오픈 아카이브에 저장함으로써 응용수행자가 쉽게 수행하고자 하는 응용에 맞는 자원을 선택할 수 있는 오픈 자원 명세 아카이브(ORDA:Open Resource Description Archive)를 제안한다. 이는 응용수행자로 하여금 응용수행자가 수행하고자 하는 응용에 맞는 자원을 능동적인 선택할 수 있는 PC 그리드 컴퓨팅 환경을 제공한다.

  • PDF

분산된 공간 데이터베이스의 변경을 위한 미들웨어 컴포넌트의 설계 (The Design of Middleware Components for Updata of Distributed Spatial Databases)

  • 정민규;조대수;홍봉희
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (B)
    • /
    • pp.9-11
    • /
    • 2000
  • 본 논문에서는 공간 데이터가 여러 서버에 분산 저장되어 있을 때, 여러 클라이언트에서 동시에 변경 작업을 수행하기 위한 미들웨어 컴포넌트를 설계한다. OpenGIS 구현 명세에는 변경을 위한 미들웨어 인터페이스가 정의되어 있지 않다. OLE DB 데이터 제공자의 변경 인터페이스 사용을 고려 할 수 있으나, 공간 관련성을 가지는 공간 객체의 특징을 반영하고 협동 작업을 통한 동시성 지원을 위해서는 새로운 인터페이스의 설계가 필요하다. 왜냐하면, 기존의 프로토콜을 이용한 인터페이스 구현으로는 클라이언트가 미들웨어를 통해서 분산된 공간 데이터에 대한 변경 작업 수행이 어렵기 때문이다. 본 논문은 분산된 공간 데이터 변경을 위한 인터페이스를 가진 서비스 제공가작 미들웨어를 통한 분산 공간 데이터 변경 프로토콜을 설계하는 것을 목적으로 한다. 즉, 분산된 공간 데이터의 확장 잠금 기법을 통한 일관성 제어와 협동 변경 트랜잭션에 대한 인터페이스를 정의하고, 분산 환경을 고려한 변경 프로토콜을 설계한다.

  • PDF

실시간 분산 객체에 기반한 시뮬레이션 모델의 설계 및 구현 (Design and Implmentation of a Simulation Model Based on Real-Time Distributed Object)

  • 오영배;김강호;정연대
    • 정보기술과데이타베이스저널
    • /
    • 제4권1호
    • /
    • pp.81-92
    • /
    • 1997
  • 실시간 분산 시뮬레이션 응용을 개발할 때 시뮬레이션 대상의 시간적 행동 및 분산 노드간 상호작용의 복잡성 때문에 모델 개발에 어려움이 있다. 그러나 실시간 분산 객체(RTO)를 기반으로 하여 시뮬레이션 모델을 설계할 때 모델의 시간적 행동의 표현이 자연스러워지고 설계의 명확성을 가져다준다. 본 연구에서는 RTO 모델을 이용하여 압연공정 제어시스템 실시간 시뮬레이션 모델을 설계 구현하였다. 구현 과정에서 RTO 접근방법이 설계의 자연스러움, 설계 명세의 단순 명확화, 시간적 행동 표현의 복잡성 제거, 객체의 노드분산 용이성 등 많은 장점을 가지고 있음을 확인하였다. 이 방법은 보다 복잡하고 규모가 큰 실시갈 분산 시뮬레이션에 효과적으로 적용할 수 있다.

  • PDF