I work in a project in the Rail Industry, where it was decided to use a qualified compiler to meet the safety standard (SIL2) according to EN50657.
In this project the compiler optimization plays a very important role, because time critical functions will run on the ARM core (Cortex-A9) and many DSP functions will be embedded on the same ARM core ( It has been planned to use NEON SIMD engine to optimize the DSP functions)
My question is whether the compiler certification also implies that the compiler optimizer is equally qualified, or whether some limitations apply (e.g. only certain optimization levels can be enabled).
I have done a few online researches but could not find a conclusive answer, somehow these details are not public?
Background to this question:
Any feedback is very appreciated. Thank you in advance.
The Arm Compiler verification and validation tests are performed at all optimization levels. However the nature of the process of highly optimizing code increases the risk of translation faults by the compiler. This is discussed in detail in the safety manual documentation supplied with the qualified compiler.
Please feel free to DM me if you would like to discuss privately in more detail (I am a Solutions Architect at Arm), there is limited information I can share in a public forum.
Thank you very much for the quick reply.I will send you a private message to discuss further details.
View all questions in Arm Compilers forum