>>317
> 信頼性はわかるが速いってのがわからん
> Ada のような高級言語では
> そもそも書いたコードがどのぐらいの実行コスト（CPU時間、メモリ）を
> 消費するのか予測が困難だし、

Adaの場合、C++などのオブジェクト指向言語よりもずっと予測しやすいんだよ
その理由は、ソースコード上に明示されてないのに実行用コードや実行時のデータ構造の中に
ポインタでリンクされた構造とかをコンパイラが勝手に作り出すケースが極めて少ない言語仕様から
少し慣れた（ハッカーというほどではない）並みのプログラマならば、自分の書いたAdaに対して
最適化しないコンパイラが出す素直な実行コードがどのようなものかは大まかには把握できる

C++のようなオブジェクト指向で継承とか仮想メソッドとかを使うと実行時のデータ構造の中に大量のポインタでリンクされた構造が生成され
さらにソースコード上には明示されていない実行時の判定や検索の操作が行われるのでメモリ・時間の両面で実行コストを予測するのは
とても難しい

> リアルタイム処理で必要とされるような
> サブセコンドオーダの反応速度を確保しようとしたら

これはもちろん難しい、それはどんな言語を使ってもね
だからシミュレータとかで十分に実行時間の実測や評価を行って確認してから実機に搭載ということになるだろうね（すまんが具体的には知らん）