Subscribe to our monthly blog
Expert perspectives and opinions from our team
If you use a compiler in a safety-critical domain, the compiler and its configuration might be frozen in time. Once it is certified,...
Let’s assume you are a software or safety manager, your C/C++ project is mission-critical or safety-critical, and your program development must adhere to...
In most cases, it is better to use an existing tool than to build your own from scratch. “Don’t reinvent the wheel” is...
Modern embedded processors rarely perform just one task anymore. We want to process sensor data, communicate with other systems, perform AI inference, and...
The day-to-day life of a Solid Sands engineer working on our SuperGuard C/C++ standard library test suite looks vaguely like this: Take a...
We are entering a new era of robotics in which machines are breaking out from behind their factory fences. They work alongside people,...
Qualification evidence depends on stable assumptions. Yet, modern robotics platforms are anything but stable. Toolchains used in autonomous systems frequently change: AI frameworks...
Humanoid robots, collaborative robots and autonomous mobile systems are fundamentally different from traditional industrial machinery. They continuously process large volumes of sensor data...
Recently, a company told us, “We don’t need to use Functional Safety standards, we use STPA.” This had us puzzled: are these methods...
Continuous Qualification means treating compiler and library qualification as an ongoing engineering process. But what exactly needs qualifying in a library? Certainly not...
Continuous Qualification of the toolchain is the idea that compiler and library qualification is an ongoing engineering process. Its goal is to ensure...
In safety-critical software development, qualification is never a one-time event. Yet in practice, compiler and library qualification is often treated as a one-time...
Advanced Driver Assistance Systems (ADAS) bring increasingly sophisticated software into vehicles, but much of what makes these systems work is hidden from view....
There are no intrinsic barriers to using open-source compilers in safety-critical domains. With the right process, any high-quality compiler can become a trusted...
In safety-critical software development, trust is earned, not assumed, and must be built on evidence. Open-source compilers such as GCC and Clang are widely...
Home / Blog