Latest Blog Posts
Verification of floating-point accuracy is important
Floating-point values can look a lot like Real Arithmetic, but there are a lot of tricky details at the fringes. The accuracy of floating-point results is one of them, and so is its verification. The mathematically correct result of...
What are your options if you need to work with a qualified compiler?
You need a qualified compiler to comply with regulations as set out in ISO 26262 and other functional safety standards. Besides meeting this requirement, qualification also increases confidence in your compiler and decreases the...
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...