時間弱模倣関係と最悪応答時間に基づくリアルタイムソフトウェアの詳細化設計手法

摘要

リアルタイムソフトウェアはリアルタイムオペレーティングシステム上で動作して,時間制約や資源制約等の条件が厳しくて,品質保証が難しいソフトウェアである。 本論文では,最も一般的な固定優先度のプリエンプティブスケジューリングで動作するリアルタイムソフトウェアを対象として,時間オートマトンにより仕様記述して,時間弱模倣関係と最悪応答時間の保証に基づくリアルタイムソフトウェアの詳細化設計手法を提案する。