The Dynamic Priority in Statcharts for Real-Time System

실시간 시스템을 위한 Statechart에서의 동적 우선순위 기법

Statechart는 기존 상태추이도를 확장한 것으로서, 반응시스템을 명세하기 위해 제안된 가시적 정형기법이다. 그러나 statechart에서의 비결정성은 실시간 시스템에서의 예측가능성에 심각한 문제를 유발할 수 있다. 또한, 이를 해결하기 위한 기존의 우선순위 표현방법은 statechart의 비결정성을 완전히 해결하지 못하고 있을 뿐 아니라 실시간 시스템에서 요구하는 다양하고 동적인 우선순위 변화를 표현하기에 부적합하다. 이와 같은 문제점을 해결하기 위하여 본 논문에서는 미리 예측가능하고 동적으로 우선순위 변화에 표현하기에 부적합하다. 이와 같은 문제점을 해결하기 위하여 본 논문에서는 미리 예측가능하고 동적 우선순위를 변화시킬 수 있는 동적 우선순위 개념을 제안한다.