A compiler is more than ‘just a translator’

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

The Emergent Safety of a Piece of String

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

Efficient computing for AI and autonomous cars

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

How does compiler qualification actually work?

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

Two things you can depend on: the C language and SuperTest

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