A leading provider of critical systems and software development solutions for the aerospace, defense, rail transportation, nuclear, and industrial domains. Esterel’s SCADE Suite is the market-leading mission and safety-critical embedded software development environment. It incorporates several of AbsInt’s tools under the names Timing and Stack Verifiers and Timing and Stack Optimizer.
HighTec is the world’s largest commercial open-source compiler vendor. The HighTec compiler is portable and always available for the latest revisions of supported architectures ahead of general release. The PXROS certified micro-kernel RTOS provides the highest level of data protection, functional safety, and robustness. HighTec also offers complete development and consulting services in the areas of performance optimization, functional safety, and porting from single-core to multicore systems and to the AutoSAR environment.
Green Hills is the largest independent vendor of embedded development solutions and is the only company with an operating system certified and deployed to EAL6+ High Robustness (security), DO-178B Level A (avionics), IEC 61508 SIL3 (industrial) and FDA Class III (medical). Green Hills’ open architecture integrated development solutions address deeply embedded, absolute security and high-reliability applications for the military/avionics, medical, industrial, automotive, networking, consumer and other markets that demand industry-certified solutions.
A leading supplier of C compiler toolchains for the TriCore, RH850, Power Architecture, ARM and C166 microprocessors. The world’s largest automotive Tier-1 suppliers and carmakers use TASKING tools to program microcontroller-based power-train, body-control and safety-related applications. The tools comply to relevant industry standards such as ISO/IEC 9899:1999(E), ANSI-C X3.159-1989, CERT C, ISO/IEC 14882:1998(E), ISO/IEC 14882:2011, ELF/DWARF 2, DWARF 3, and support programming standards such as MISRA C and CERT C. The tools are backed by an automotive ISO 26262 Support Program and are fully integrated into Eclipse. To support rapid development and reduce errors, select toolchains include a pin mapper interface that dynamically generates initialization code for mapping general purpose on-chip IO pins to the desired physical output pins.