HKSAT 사용법

PART 1. 소프트웨어 설치 및 설정
PART 2. 프로젝트 생성 및 모듈 추가
PART 3. 소프트웨어 정적 분석 (SSAT)
PART 4. 최장수행시간 분석(WCET)
PART 5. 스케쥴 가능성 분석
PART 9. 정적 스택 사용량 분석(SSUA)
PART 11. HKSAT 프로젝트 관리
PART 12. 보고서 생성
PART 13. 기타