Safety-Critical Software with C, C++, and Rust
Hi, I’m Marcos Borges.
For over 15 years, I have engineered autonomous systems for the medical, aerospace, and defense sectors. Today, I write about mastering C, C++, and Rust for safety-critical embedded systems.
Technical Focus
Embedded Software
Hardening C, C++, and Rust for functional safety via compiler diagnostics, static analysis, and dynamic verification.
Robotics & Perception
Architecting deterministic algorithms for real-time sensor fusion, state estimation, and object tracking under mission-critical constraints.
Functional Safety
Developing safety-critical software under ISO 26262, IEC 62304, and DO-178C requirements.
