Course under development

Safety-Critical Rust

Let’s get straight to the point. In safety-critical systems, writing code that simply works isn’t enough.

Engineers in aerospace, automotive, and medical software face a very different reality from what most Rust tutorials cover. Success isn’t measured only by correct behavior. It depends on controlling failure modes, eliminating Undefined Behavior across language boundaries, and producing the evidence required to demonstrate that a system is safe.

Rust is an important part of that equation, but adopting Rust is ultimately an engineering challenge, not just a language migration. It requires a disciplined approach to C/C++ interoperability, software verification, and functional safety that fits within existing development processes.

I’m currently developing a professional course for engineers adopting Rust in safety-critical systems. From interoperability and verification to functional safety, it provides the engineering practices needed to integrate Rust into existing C/C++ systems with confidence.

The curriculum covers:

• Engineering safety-critical embedded systems with Rust

• Integrating Rust into existing C/C++ systems

• Verifying software using compiler diagnostics, static analysis, and testing

• Designing systems for functional safety, compliance, and traceability

Most learning resources focus on language features or isolated examples. They rarely address the realities of developing software under standards such as ISO 26262 (automotive), DO-178C (aerospace), or IEC 62304 (medical), where architecture, verification, traceability, and compliance are inseparable.

That is why I’m developing Safety-Critical Rust: a course that bridges modern Rust development with the engineering practices required for real-world safety-critical systems.

More details are coming soon. Keep an eye out for early chapter drafts, technical notes, and behind-the-scenes updates as the course takes shape.