Tel. +31­ 345 545535
 
Embedded
Products
 
Solutions
Coming soon...
 
Partners
Who we work with
 
News
What's going on
 
Media
Something to read
 
About
Who we are
 
Contact
Where we are
You are on the following page: Products > Safety Critical & Certified Systems > Safety Certified Compilers English | Nederlands
 
 

Safety Certified Compilers

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 ac­cepts 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. ...
 
   

 
 

INDES-IDS BV offers solutions for Embedded Software Development as well as for the Telecommunication NEMS and Service Providers. In these markets we offer products of either the market leader or the innovation leaders. Our goal is to assist you to get to the market sooner by offering a combination of products, knowledge and services.