スケジューラビリティ解析法
スケジューラビリティとはスケジュール可能性のことであり,実時間システムにおける用語である。実時間システム内には複数の処理期限が決められた仕事(タスク)があり,それらを適切な順序で処理する必要がある。処理の順序は何らかの方針(例えば,重要な処理を優先する,最も期限が迫っている処理を優先するなど)に基づいて決められる。処理の順序を決定することを「スケジュールする」といい,スケジュール可能性を解析するとは,ある方法でタスクをスケジュールした場合,様々な制限(ディスクやCPUなどの資源の利用可能な量や期限など)を守ったうえで,すべてのタスクが処理期限内に完了するかどうかを解析することである。