時間オートマトン．によるソフトリアルタイムシステムのスケジューリング解析

摘要

近年，ハードリアルタイムシステムの仕様記述言語としては，タイング制約が記述可能な時間オトマトンが定着しており，最近，時間オートマトン上でのハードリアルタイムシステムのスケジューラビリティ検証手法が開発された．本論文では，時間オートマトンのハードリアルタイムシステムのスケジューラビリティ検証手法を拡張して，ソフトリアルタイムシステムのスケジューリング解析手法を開発する．