OSEK OS and Rust

I work for an automotive company and we are discussing alot about RUST and the safety it brings. But one big question that i have is that if learning RUST is enough. Because ultimately we work with AUTOSAR stack and write code that will be scheculed by OSEK OS which I believe will not be compatible with RUST code. So there is alot of work if we want to change OSEK to something that will go with RUST. So we are never getting rid of C , May be C++ but RUST seems to be alot to change. Hence may be training developers to not write unsafe code is more productive. Also the compilers for safety applications need to be certified and i am not sure if RUST has any such certification. Looking forward for opinions from others

Regarding certification, look in to the sealed rust effort. Ferrocene