Latest Blog Posts

The big advantage of the standard library is that most library functions are independent of the other functions in the library, both in their specification and implementation. This lowers software complexity and simplifies...

Our Compiler Qualification Service is a fast and efficient way to get your compiler qualified. On completion, you receive a compiler qualification report compliant with the functional safety standard that you specify. Yet, no...

Functional Safety standards require that the user of the library takes responsibility for the library, even if it comes from a third party. Library code becomes part of your safety-critical target device, so it has to be verified as...

We are often asked what differentiates SuperTest from the GCC and LLVM test suites. If you are using the LLVM or GCC test suite, why would you use SuperTest as well? Apart from the obvious answer "more testing, preferably using tests...

The fundamental measure of any compiler is its ability to generate high-quality, functionally correct, executable code. But equally important is its ability to generate valid, well annotated, error messages when the source code it...

As the saying goes, ‘a chain is only as strong as its weakest link’, and it’s as true in software development as it is in any other walk of life. A lot happens between source code and your target processor, so making sure your C or...

Writing code for your safety-critical application requires a great deal of care and attention. But above all it requires highly effective verification. That not only applies to the code you write. It also applies to any standard...

In this blog, we promote the joint webinar we are running with BUGSENG. The webinar topic is: “Language Subsetting and Compiler Qualification in the Development of Software for Safety-Critical Systems”. It will run on Thursday, 17...

Writing code is hard. Reimplementing common tasks is prone to error. That’s why software developers rely heavily on the functions in the standard library. It makes the job easier for developers, and the generated code more reliable....

The standard library is a fundamental part of most embedded systems and their software; embedded systems would not run without it. However, functions in the standard library are usually taken for granted and are not tested properly....