Enhancing the Stochastic Analysis of Periodic Real-Time Systems Using the Hyperperiod compression

하이퍼주기 압축을 이용한 주기적 실시간 시스템의 확률적 분석 방법의 개선

본 논문은 우선순위 스케줄링을 사용하는 주기적 실시간 시스템을 위해 제안된 확률적 분석 방법의 개선 방안을 제안한다. 기제안된 확률적 분석 방법은 (1) 시스템 적체 분석, (2) 작업별 적체 분석, (3) 작업별 간섭 분석을 거쳐서 각 태스크의 응답 시간 분포를 얻어냄으로써 태스크들의 종료시한 위반확률 (deadline miss probability)을 계산한다. 본 논문은 기제안된 확률적 분석 방법에 대해 주어진 태스크 집합의 하이퍼주기(hyperperiod)를 압축하여 시스템 적체 분석을 개선시킬 수 있음을 보인다. 하이퍼주기 압축 기법은 시스템 적체 분석에 요구되는 계산 시간을 단축시키고, 계산된 각 태스크의 종료시한 위반확률이 항상 원래 확률값의 상한(upper bound)이 된다는 장점이 있다. 실험 결과. 하이퍼주기 압축 기법이 정확도의 손실을 최소화하면서 상당한 계산 시간 단축을 가져올 수 있음을 확인하였다.