|
|
|
|
Safety Certified Compilers
 |
|
IAR Safety Certified Toolsuite for ARM & Cortex IAR's leading Embedded Workbench toolsuite for ARM & Cortex has passed the IEC-61508 and ISO-26262 safety certifications and is in use for many systems that have already passed certifications upto SIL-3.
A good example of a Cortex-based safety critical MCU is TI's Hercules family. At INDES we have both experience and in-house hard- and software platform for this advanced lock-ste ... |
|
 |
|
CompCert - formally verified optimizing C compiler What is CompCert?
CompCert is a formally verified optimizing C compiler. Its intended use is compiling safety-critical and mission-critical software written in C and meeting high levels of assurance. It accepts most of the ISO C 99 language, with some exceptions and a few extensions. It produces machine code for ARM, PowerPC, x86, and RISC-V architectures.
What sets CompCert apart?
... |
|
 |
|
Diab Compilers for PowerPC For the PowerPC family of MPCu's we offer the Diab Data C/C++ cross-compiler family. These cross-compiler suites are suitable for use in Safety critical systems. ... |
|
|
|
|
|