SuperGuard: Comprehensive Testing for C++ Multi-Threading Primitives

Join Curtis Franklin, Editor in Chief of Circuit Cellar, and Marcel Beemster, CTO at Solid Sands, for a critical webinar, sponsored by Solid Sands. Multithreading is essential for modern, safety-critical systems like autonomous vehicles and robotics, yet it remains notoriously difficult to verify due to non-deterministic execution that makes errors hard to find. While the C++ standard library headers like , , and enable parallelism and resource coordination, they also create a critical validation gap, leaving many developers without a clear path to verify these primitives in complex software systems. In this webinar, we will introduce the SuperGuard Library Safety Qualification Suite, and then dive into the challenge of verifying the correct implementation of multithreading headers. We will demonstrate our new comprehensive testing capabilities, providing developers with the confidence needed to deploy these primitives in safety-critical environments. What you will learn:

• The Complexity of Parallelism: Understanding why multithreading requires seamless coordination across library and hardware levels.
• The Reality of Non-Determinism: Why multithreaded faults are hard to detect and isolate.
• The Portability Problem: Insights into how we structured our tests to be robust across different platforms.
• The Guidelines: How multithreading aligns with MISRA C++:2023.
• Workflow Integration: How to integrate SuperGuard into your existing development process.

The webinar will conclude with a live Q&A session.