Latest Blog Posts

Flying Beyond the “Black Box” of Trust

Flying Beyond the “Black Box” of Trust

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 part of a certified toolchain. This “black box” approach works well...

read more
Avionics and the compiler trust issue

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...

read more
Fighting the Multi-Threaded Dragon

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...

read more
The atomic journey

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...

read more
Floating-Point Pitfalls in the Chrono Header

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:...

read more