Latest Blog Posts
Library code coverage – be aware of the challenges
Achieving a high level of code coverage through testing is one of the requirements of functional safety standards such as ISO 26262. Standard libraries are loaded into your safety-critical device like any other piece of code, so...
Addressing the need to qualify C/C++ compilers & libraries for use in a safety-critical context
The systems used in modern automotive, rail, industrial control, medical and aerospace applications are, of course, incredibly complex and intricate. Given their safety-critical nature, ongoing reliable operation needs to be assured...
Wait! Is this really already blog #50?
Let's take a moment to recap. What have we written about over the last four years? If you’ve read all 49 of our blogs, well done! Of course, you have to find the time to read them and make sure you don't get distracted. Are you...
The caveats of standard library qualification
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...
After compiler qualification comes the Application Hazard Scanner
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...
Using libraries safely is your responsibility
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...
Not all test suites are created equal
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 risks of invalid error messaging
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...
Qualify the compiler and get assembler and linker qualification for free
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...
Library code is part of your safety critical application
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...