|
|
IAR Functional safety tools overview
Building applications with ensured functional safety can be both challenging and time consuming. We are here to guide you!
Our tools are certified according to ten different standards for functional safety. Combined with our dedicated team and long-term safety support services, we are ready to help you succeed with your next safety-critical application.
Functional safety in embedded sy ... |
| |
 |
|
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. ... |
| |
