飛行推進統合制御対応航空エンジン制御装置の研究
https://www.jstage.jst.go.jp/article/jjsass/56/649/56_649_80/_pdf/-char/ja

これを読むに、XF9-1のFADECはAdaとCで記述されている可能性が高い
制御に使うRTOSについては謎

まあ組み込みシステムだから言語やOSが何であろうと仕様を満たして動くのなら何でもいいけど
CPUですら古くたって要求性能を満たせばそれでいい