>>115
1. 日本の組み込み系は殆どがTRON

2. 自動車組み込み系もTOPPERS( μITron / μT-Kernel )

3. JAXA が標準化しているのも、TOPPERS に宇宙系の信頼性を加えて安全性を高めた TOPPERS/HRP

多分、はやぶさ2もこれで仕事をしてるはず。

4.  μITron  / μT-Kernel は、IEEE で認められ世界標準となってる。