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

The chrono header from the C++ standard library provides applications with various types to abstract clocks, points in time and operations thereon. However,...

Compilers and libraries play a critical role in any software development process. That is why functional safety standards such as ISO 26262, IEC...

Are you looking for a solution to qualify standard libraries? The most important thing is getting the right software tool to ensure you remain...

Choosing a C or C++ compiler for safety-critical application development can be challenging. You may be torn between a compiler that is already...