Which Compiler for Safety Application?

[awiernie]

We develop a measuring device which should be capable of SIL 2. It would be possible to fall back to SIL 1 only. STM32F4 MCU is used with STL-Safety-Library.

Has anybody qualified the gcc for that? Or did you replace the compiler by already qualified products from Keil, IAR?

If you have qualified the gcc, have you done it yourself or used commercial tools?

[Petr Sladecek]

Hello,

the ST STL is compiled by safety certified IAR compiler as noted at the STL documentation. Selection of the compiler for application is fully in end user hands. Applying any certified compiler is an advantage, it depends on application complexity as well. For sure, I suggest to consult this with your certification authority in advance. Anyway, STL can be combined with any standard C-compiler. End user should  respect some aspects discussed at CPU_SM_2 and RAM_SM_2 descriptions at family safety manuals at least. I'm afraid that GCC doesn't feature any safety certified version and, by my opinion, applying any certification for a compiler itself without strong support of the compiler provider is mission impossible for any standard user.

Best regards,

Petr