Cなんてのはちょっと高級なアセンブラて感じの認識しか無いなぁ。
実時間処理が必要なハードウエア制御のプログラムは
どんな処理にどれだけ時間がかかるか把握してないといけないし
ハードのブラックボックス化にも自ずと限界があるのでは。