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, verification, and practical decision-making.

• Toolchain
  Improving reliability through compiler diagnostics and custom static analysis, supported by modern IDEs that reduce cognitive load and surface rule violations early.

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