Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2002.10d
  • /
  • Pages.31-33
  • /
  • 2002
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Transition Rules of DATM movements for Analysis of Mobile Distributed Real-Time System

이동 분산 실시간 시스템을 분석하기 위한 DATM 이동 전이 규칙

  • 이정희 (전북대학교 컴퓨터과학과) ;
  • 박지연 (전북대학교 컴퓨터과학과) ;
  • 박주호 (전북대학교 컴퓨터과학과) ;
  • 이문근 (전북대학교 전자정보공학부)
  • Published : 2002.10.01
Download PDF
⟨ Previous Next ⟩

Abstract

이동 분산 실시간 시스템(MDRTS:Mobile Distributed Real-Time System)은 특정 시간 내에 분산 네트워크를 통한 정보 교환 및 요구된 동작을 실행한다. 그리고 경로, 시간 및 속력에 관한 제약사항에 따라 머신이 이동하는 시스템이다. 본 논문은 MDRTS에서 발생되는 머신의 이동을 분석하기 위해, PATM[1]에 위치 공간 개념을 추가하여 확장한 DATM(Distributed Abstract Timed Machine)을 정의한다. 머신의 이동과 이동을 제약하는 사항들, 경로, 시간 및 속력 등을 나타내는 표현법을 정의하며, 각 제약 사항에 따른 이동에 관한 규칙을 기술한다.

Keywords