한국정보처리학회:학술대회논문집 (Proceedings of the Korea Information Processing Society Conference)
- 한국정보처리학회 2003년도 춘계학술발표논문집 (중)
- /
- Pages.807-810
- /
- 2003
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
추이적 행렬을 이용한 EMFG의 마크흐름 분석
Analyze Method of Mark Flow in EMFG Using the Transitive Matrix
- 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)
- 발행 : 2003.05.16
초록
EMFG(Extended Mark Flow Graph)는 이산시스템을 개념설계하거나 상세설계할 수 있는 좋은 도구이다. 시스템을 설계함에 있어서 마크흐름을 분석하는 것은 시스템의 성능향상과 직결되므로 상당히 중요한 작업이다. 본 논문에서는 EMFG의 각 박스들간의 상태변화를 박스추이가중행렬을 통하여 확인, 분석하는 기법을 제안하고자 한다. EMFG로 설계한 시스템의 상태변화를 쉽게 분석함으로써 시스템의 설계 및 분석이 쉬워지므로 자동화된 시스템 개발시 유용하게 사용될 것으로 기대된다.
키워드