https://www.kiise.or.kr/academy/main/main.fa
PDF
ATM을 이용한 명세에 대한 스케줄링 가능성 분석은 명세된 실시간 시스템의 시간적 제약이 만족되는지를 검증하기 위해 필요한 작업이다. 본 논문에서는 ATM으로 작성된 명세에 스케줄링에 필요한 요소를 추가하여 머신의 형태나 자원의 형태에 따른 다양한 스케줄링 알고리즘을 적용함으로써 ATM 명세가 스케줄링 가능하게 하는 것을 보인다.