May 13, 2020 | Blog
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 mentioned before, a compiler is...
Apr 15, 2020 | Blog
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 – it all depends on how the...
Mar 25, 2020 | Blog
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 processing and image recognition....
Feb 17, 2020 | Blog
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 features of the target...
Jan 15, 2020 | Blog
We frequently discuss compiler qualification and its importance in making sure that your safety-critical components work properly and adhere to safety standards. But what actually is compiler qualification? How does it work? In essence, as far as most functional...
Nov 27, 2019 | Blog
It’s the end of another decade. One that saw supercomputer performance grow by a factor of 100, so Moore’s law is still going strong. Almost as old as Moore’s law, the C language and SuperTest are also alive and kicking. With the recent C18 and SuperTest Vermeer...
