Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)

  • 2003.05b
  • /
  • Pages.811-814
  • /
  • 2003
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지

A Study on the Trace Tree of an EMFG

EMFG의 추적트리에 관한 연구

  • Kim, Jung-Soo (Dept. of Computer Science, PuKyong National University) ;
  • Lee, Tai-Hoon (Dept. of Computer Science, PuKyong National University) ;
  • Yeo, Jeong-Mo (Division of Electronics, Computer and Telecommunication Engineering, PuKyong National University)
  • 김정수 (부경대학교 전자계산학과) ;
  • 이태훈 (부경대학교 전자계산학과) ;
  • 여정모 (부경대학교 전자컴퓨터정보통신공학부)
  • Published : 2003.05.16
Download PDF
⟨ Previous Next ⟩

Abstract

이산 시스템을 모델링 한 EMFG의 동작, 즉 마크 흐름을 분석한다는 것은 시스템의 동작을 파악하는 것이다. 본 연구에서는 EMFG의 과거동작을 파악할 수 있으며 시스템의 과거 이력을 판다할 수 있는 추적트리를 도입하고, 추적트리를 구할 수 있는 추적트리 알고리듬을 제안한다. 추적트리 알고리듬은 EMFG로 모릴링된 이산 시스템의 과거동작을 파악할 수 있게 하여 이산시스템의 고장진단이나 Deadlock과 같은 문제를 해결하는데 도움을 줄 것으로 기대된다.

Keywords