스테이트 플로우의 제어 흐름 전개를 통한 정적 단일 배정 알고리즘
Static Single Assignment Algorithm for Stateflow through Unfolding FlowGraph
- 발행기관 아주대학교
- 지도교수 박승규,최경희
- 발행년도 2013
- 학위수여년월 2013. 2
- 학위명 석사
- 학과 및 전공 일반대학원 컴퓨터공학과
- 실제URI http://www.dcollection.net/handler/ajou/000000013465
- 본문언어 한국어
- 저작권 아주대학교 논문은 저작권에 의해 보호받습니다.
초록/요약
본 논문에서는 시뮬링크로 설계된 모델의 데이터 흐름을 분석 하기 위한 방법에 대하여 논한다. 모델의 데이터 흐름을 분석하기 위해 각 변수에 고유한 이름을 부여하는 Static Single Assignment 알고리즘을 적용하고, SSA를 적용하기 위해 시뮬링크 모델에 존재하는 Back Tracking을 제거 하여 제어 흐름의 파악을 용이하게 만드는 State flow 제어 흐름 그래프 전개 알고리즘을 제안한다. 이전에 발표되었던 전개 알고리즘을 개선하여 문제점으로 지적되었던 불필요한 Sub-tree의 복사를 줄여 복잡한 Stateflow를 효과적으로 전개하고, Back Tracking이 제거된 전개 그래프를 바탕으로 각 변수에 고유의 이름을 부여하기 위한 Numbering Static Single Assignment 알고리즘에 대해 소개한다. 이 두 가지 알고리즘을 예제를 통해 알아보고 전개 알고리즘과 NSSA 알고리즘으로 기대되는 향후 방향에 대하여 이야기하려 한다.
more목차
제 1 장 서 론 9
제 2 장 관련 연구 11
제 1 절 STATE FLOW 11
제 2 절 정적 단일 배정 형태 15
제 3 장 전개 알고리즘 18
제 1 절 기존 제어 흐름 전개 알고리즘 18
제 2 절 개선된 제어 흐름 그래프 전개 알고리즘 21
제 3 절 예제 29
제 4 장 NSSA 값 구하기 35
제 1 절 자료구조 35
제 2 절 STATE NSSA 36
제 3 절 NSSA 알고리즘 44
제 4 절 예제 47
제 5 장 결 론 56
