Latest Blog Posts
Avionics and the compiler trust issue
In avionics and aerospace software development, trust alone is not enough. Compilers are sophisticated tools, but because even the smallest defect in generated code could compromise safety, engineers are understandably reluctant to...
Fighting the Multi-Threaded Dragon
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 into a more parallel and dynamically...
The atomic journey
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 core values at Solid Sands. We achieve this by continuously delivering improvements...
Floating-Point Pitfalls in the Chrono Header
The <chrono> header from the C++ standard library provides applications with various types to abstract clocks, points in time and operations thereon. However, there are dangers lurking beneath some of its convenient features:...
Full control over your software development from day one
Compilers and libraries play a critical role in any software development process. That is why functional safety standards such as ISO 26262, IEC 61508, EN 50128, and IEC 62304 require that compilers and libraries are qualified. If...
A Step-by-Step Approach to Qualifying Standard Libraries with a Suitable Software Tool
Remain flexible and in control Are you looking for a solution to qualify standard libraries? The most important thing is getting the right software tool to ensure you remain flexible and in control. Why Library Qualification is...
The Advantages of Open-Source Compilers in Safety-Critical Systems
Choosing a C or C++ compiler for safety-critical application development can be challenging. You may be torn between a compiler that is already qualified or an open-source compiler that still needs to be qualified. While already...
Let’s talk about the tuple header: Construction and Conversion Complexities
The tuple is one of the most versatile and powerful data structures in C++, allowing you to combine related data without declaring a full-blown class – for example, x-y coordinates, name-address records, or the properties of a...
Support the latest chip designs with a compiler of the highest quality
With the emergence of new and customizable instruction set architectures like RISC-V, compiler developers face the challenge of keeping up with the latest chip designs by developing new compiler backends with code generators that...
Black box or white box? That is the question.
During our most recent webinar, SuperTest Live Demo, one of the audience members asked whether SuperTest and SuperGuard are suitable for ‘white-box’ testing in addition to their typical role as ‘black-box’ testing platforms for C and...