Boeingの参加やAMD、ルネサスなどの主導により、Xen Projectが安全性重視の構成へと舵を切りました。ロボットの脳を分離・制御するためのフォーマルな標準化対応を進めています。