Safety-Critical Software with Rust and C++

Hi, I’m Marcos Borges.
For over 15 years, I have engineered autonomous systems for the aerospace, automotive, and medical sectors. Today, I apply that experience to the design and development of safety-critical software using Rust and C++.

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 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.