>>59
たぶんINTEGRITYになるよ。
これF-35でも使ってるRTOS。

https://www.ghs.com/customers/lockheedf35.html

X-2もこれで飛んでいるという噂がある。