Safety-Critical Software with C, C++, and Rust

Hi, I’m Marcos Borges.

For over 15 years, I have engineered autonomous systems for the aerospace, automotive, and medical sectors. Today, I write about how engineers choose and justify C, C++, and Rust in safety-critical embedded systems.

Technical Focus

• Architecture
  Designing safety-critical software aligned with ISO 26262, IEC 62304, and DO-178C, with emphasis on traceability and verification.

• Toolchain
  Improving reliability through compiler diagnostics and static analysis, using modern IDEs to reduce cognitive load and catch rule violations early.

• Perception
  Implementing deterministic algorithms for sensor fusion and object tracking under mission-critical constraints.