日本製RTOSだとほぼT-Kernel一択だな。
実際にロケット及び宇宙機で採用されていて、実績や信頼性に関しては問題ない。
センサーや搭載兵装をほぼ国産で賄うつもりなら、それらの制御コードも全部自前で書く事になるので、
インテグレーションで問題になる事も無い。