Validating Timing Constraints in Heterogoneous Real-Time Distributed Systems

이종 실시간 분산시스템에서의 시간 제한요건 검증

본 논문에서는 이종 실시간 분산시스템에서는 임의의 시간 제한요건과 수행시간을 가지며 우선순위 구동방식으로 동적으로 스케줄되는 작업들의 수행종료시각을 결정하기 위한 효율적인 알고리즘과 최악 경우 바운드를 제시한다. 우선순위 구동방식에 기반한 시스템들이 유지 관리 및 수정이 용이함에도 불구하고 우선순위 구동방식은 최근까지 실시간 시스템에서는 쓰이지 못해왔다. 우선순위 구동방식에 기반한 시스템에서 작업들의 수행시간과 릴리즈시각이 가변일때에 테스트와 시뮬레이션을 통해 작업들의 시간 제한요건 검증을 위한 효율적이고 분석적인 방법들의 개발이 필요하다. 본 논문에서의 이종 실시간 분산시스템은 여러 종류의 프로세서들을 포함하며 어떤 작업들은 특정 종류의 트로세서에서만 수행되고 다른 종류의 프로세서에서는 수행되지 못한다. 다른 종류의 프로세서들은 서로 다른 속도를 가질수 있다. 본 논문에서 제시되는 바운드와 알고리즘은 비전이성, 비선점성과 여러 종류의 전이성을 고려한다.