"信頼は速度ではなく、確定性から生まれる。"

リアルタイムシステムの本質とは、「速さ」ではなく「約束されたタイミング」である。
Adaは、この**“いつ動くか”を設計できる言語**であり、リアルタイム制御の信頼を設計に組み込む。

CやC++がリアルタイムを「努力と規律」で実現しようとする一方で、
Adaは構文と言語仕様の中に、確定性を構造として持っている。

時間は変数ではない：RT設計の前提

リアルタイム制御において、プログラムは単に「動く」だけでは足りない。
「いつ、どのくらいで、何をするか」が予測可能でなければならない。

Adaはこの設計思想に従い、リアルタイム対応として以下を提供している：

例：タイミング制御の構文的保証

task body Heartbeat is
begin
   loop
      Send_Pulse;
      delay until Clock + 0.001; -- 毎ミリ秒ごとに制御
   end loop;
end Heartbeat;

この delay until は、単なる「待機」ではない。
システム時刻との明示的な関係性を定義し、実行タイミングを確定させる。

Adaは、リアルタイムOSとの連携を前提とした設計が可能。
pragma を通じて、タスクの優先順位を明示的に定義できる。

pragma Priority (System.Default_Priority'Last); -- 最優先に設定

これにより、スケジューラとの対話が言語構文に昇華される。

航空・宇宙・鉄道・防衛。
Adaがこれほどまでにリアルタイム領域で採用されてきた理由は、**「設計を裏切らない言語構造」**にある。

ハードウェア依存の挙動を排し、予測可能なソフトウェアの骨格を作る。

信頼性とは、スピードではない。
それは、「次に何が起きるかを設計者自身が説明できる」ことであり、Adaはその要求に真正面から応える。

"リアルタイム設計とは、未来の一秒を制御することである。"