Your problem is that you need to replicate the DO-178B certification in Rust: "I’m going to write tests to bring SQLite up to the quality of 100% MCDC, and tha

Your problem is that you need to replicate the DO-178B certification in Rust: "I’m going to write tests to bring SQLite up to the quality of 100% MCDC, and that took a year of 60 hour weeks. That was hard, hard work." Whatever comes out of Rust will be much worse until compliance is achieved. That's going to take substantial time.