Наши партнёры

АНСИС (бывший Эстерель)

A leading provider of critical systems and software development solutions for the aerospace, defense, rail transportation, nuclear, and industrial domains. ANSYS’s SCADE Suite is the market-leading mission and safety-critical embedded software development environment. It integrates several of AbsInt’s tools under the names “Timing and Stack Verifiers” and “Timing and Stack Optimizer”.

Винд Ривер

Wind River is a global leader in delivering software for the Internet of Things. The company has been pioneering computing inside embedded devices since 1981, and its technology is found in more than 2 billion products. Wind River offers a comprehensive portfolio of solutions for addressing the system-level challenges and oppor­tuni­ties of IoT that is backed by world-class global professional services, award-winning customer support, and a broad partner ecosystem. Wind River delivers the software and expertise that enable the innovation and deployment of safe, secure, and reliable intelligent systems.


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 (avi­onics), IEC 61508 SIL3 (industrial) and FDA Class III (medical). Green Hills’ open architecture integrated development solutions address deeply em­bedded, absolute security and high-reliability applications for the mi­li­tary/avionics, medical, industrial, automotive, networking, consumer and other markets that demand industry-certified solutions.


A leading producer of engineering tools for developing and testing mecha­tronic control systems. dSPACE’s production code generator TargetLink integrates with AbsInt’s tools for timing, stack, and run­time error analysis.

Солид Сендс

The one-stop shop for C and C++ compiler and library testing, validation and safety services. With SuperTest, it offers the largest test and validation suite with a unique level of compiler and library test coverage. SuperTest starts where other suites end, enabling its users to achieve the software quality level required by ISO standards.


A leading supplier of C compiler toolchains for the TriCore, RH850, Power Architecture, ARM and C166 microprocessors. The world’s largest auto­mo­tive Tier-1 suppliers and carmakers use TASKING tools to program micro­controller-based power-train, body-control and safety-related appli­cations. 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 program­ming 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 tool­chains include a pin mapper interface that dynamically generates initia­lization code for mapping general purpose on-chip IO pins to the desired physical output pins.


HighTec is the world’s largest commercial open-source compiler vendor. The HighTec compiler is portable and always available for the latest re­visions 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 devel­op­ment and consulting services in the areas of performance optimization, functional safety, and porting from single-core to multicore systems and to the AutoSAR environment.


emmtrix Technologies is a leading provider of development tools for user-controlled, automated software parallelization in the area of embedded multicore systems. Customers from industries such as automotive, aviation and automation can use new process architectures efficiently and error-free with the emmtrix software tools and services.