Blog

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

Compiler Explorer is an extremely useful interactive web-site created by Matt Godbolt. You can paste in any C or C++ source code (or one of the other 19 supported languages), select a compiler from a long list of choices, run it and...

After a recent webinar, someone stayed online to talk more about compilers. They were surprised by the complexity and potential safety impact of the compiler - “To be honest, I thought it was just a translator.” As we have often...

What constitutes ‘the safety of a compiler’? This is a question that keeps us busy on a daily basis. The question however is not that easy to answer, because the safety of a compiler does not exist. Safety is an emergent property -...

More and more ADAS (Advanced Driver Assistance Systems) are added to cars, trucks and even trains. For those vehicles to function optimally, there has to be a lot of development in the field of Artificial Intelligence (AI), sensor...

You can only have real confidence in a compiler if you know it’s been rigorously tested. While testing a compiler against the relevant language specification is relatively straightforward, ensuring that it correctly exercises complex...