Subscribe to our monthly blog
Expert perspectives and opinions from our team
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...
In avionics and aerospace software development, trust alone is not enough. Compilers are sophisticated tools, but because even the smallest defect in generated...
The <threads.h> header, introduced in the C11 standard, provides the necessary programming interfaces to develop multi-threaded C code. Multi-threading breaks strict sequential execution...
Staying on top of state-of-the-art software testing methods is important for our work on functional safety. Therefore, innovation is one of the four...
Home / Blog