ERTS 2026
Join AdaCore at the Embedded Real-Time Systems Congress to discuss your projects and challenges in high-integrity and embedded software.
Event Details
- [In-Person]
- February 5 - February 6, 2026
- Toulouse, France
- Pierre Baudis Convention Center
Meet us to discuss safety, security, verification, and modern language technologies for critical systems.
Agenda
Friday 6th February at 10:00
Middleware and Language
José Ruiz will chair this session
Friday 6th February at 16:00
Secure by Design Principles - Fuzzing in a Memory-Safe Verification Environment
In today’s interconnected world, the security of software systems is paramount. The increasing frequency and severity of cyberattacks underscore the need for a fundamental shift in software development. The Secure by Design paradigm emerges as a proactive strategy, advocating for integrating security considerations throughout the entire software development lifecycle, rather than as an afterthought. For the 2026 Embedded Real-Time Systems Conference (ERTS), AdaCore presents a research paper on Secure by Design Principles – Fuzzing in a Memory Safe Verification Environment, which combines CHERI ISA extensions, a security-enhanced Ada runtime, and on-target fuzz testing as means of compliance with Secure by Design principles. This paper introduces an innovative approach that utilizes a combination of memory-safe hardware and fuzz testing to enhance security verification in embedded real-time systems.