自動車 船舶 航空宇宙のプログラムで求められる安全性ってRustは保証しないの？