自動運転系をやっている人がこのMISRAを満たすのが大変と言っていました。MISRAの中身の基準は全くわかっていませんが、セキュリティ・堅牢性を高めるための基準だと思うので、普通にプログラミングするだけで前述の基準が満たされるというのは良いなぁと思います。Rustはコンパイルを通すのが大変らしいですが...