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

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

Analyze Method of Mark Flow in EMFG Using the Transitive Matrix

추이적 행렬을 이용한 EMFG의 마크흐름 분석

  • Jung, Myung-Hee (Dept. of Computer and Information, PuKyong National University) ;
  • 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(Extended Mark Flow Graph)는 이산시스템을 개념설계하거나 상세설계할 수 있는 좋은 도구이다. 시스템을 설계함에 있어서 마크흐름을 분석하는 것은 시스템의 성능향상과 직결되므로 상당히 중요한 작업이다. 본 논문에서는 EMFG의 각 박스들간의 상태변화를 박스추이가중행렬을 통하여 확인, 분석하는 기법을 제안하고자 한다. EMFG로 설계한 시스템의 상태변화를 쉽게 분석함으로써 시스템의 설계 및 분석이 쉬워지므로 자동화된 시스템 개발시 유용하게 사용될 것으로 기대된다.

Keywords