Для такой техники обычно пишут на безопасном подмножестве С++ с автовалидацией строже, чем borrow checker у Rust.C++ сам по себе более опасен, чем фронт на веб. Однако консервативное отношение к технике и страх перед новшествами было всегда. Сейчас ведь никого не пугает факт того что авиалайнер управляют джойстиком не имеющим никакой физической связи с обьектом управления.