Embedded Computing Design

Quentin Ochem

May 26, 2026

Developing formally proven code is challenging. It is also extraordinarily valuable: it produces software with a level of robustness that is otherwise unreachable, and you can have very high confidence that your code will not fail over time. But there is no way around it: it’s hard work.

Ricardo Camacho , Igor Krilenko

May 14, 2026

Embedded software development faces many challenges. Teams are under pressure to build increasingly sophisticated systems in less time. Many of them involve more complex and less predictable behaviors thanks to the inclusion of features that harness machine learning and artificial intelligence (AI). But, unlike counterparts in enterprise software development, embedded systems need to meet stringent safety, security, and reliability requirements.

Mark Hermeling

May 4, 2026

The NSA and CISA published a cybersecurity information sheet in 2022 recommending that developers move to memory-safe languages. It was updated in 2023, then again in June 2025. These reports sparked extensive global discussion about the use of memory-safe languages in critical software. Other regulations, such as the European Cyber Resilience Act, do not explicitly mention technologies like memory safety but instead focus on higher-level concepts such as 'state-of-the-art' and 'secure-by-design'.