Unsere Partner

Symtavision (Luxoft)

Symtavision entwickelt fortschrittliche Methoden und Werkzeuge zur Timinganalyse von eingebetteten Controllern, Netzwerken, und verteilten Echtzeit­sys­temen. Die Produkte sind mittels eines XML-Interfaces mit AbsInts aiT-Analysatoren integriert.

dSPACE

Weltweit führender Anbieter von Werkzeugen für die Entwicklung und den Test mechatronischer Regelungs­systeme. Der Production-Code-Generator TargetLink bietet eine Schnittstelle zu AbsInts Tools zur statischen Timing-, Stack-, und Laufzeitfehleranalyse.

Esterel Technologies (Ansys)

Ein führender Anbieter von Software­entwicklungs­werkzeugen für sicher­heits­kritische industrielle Anwendungen. Esterels Enwicklungsumgebung SCADE Suite ist der Marktführer bei der Ent­wicklung sicherheits­kritischer eingebetteter Software. Sie beinhaltet mehrere AbsInt-Tools unter den Namen Timing and Stack Verifiers und Timing and Stack Optimizer.

Green Hills Software

Green Hills ist der größte unabhändige Anbieter von Entwicklungs­lösun­gen für eingebettete Systeme und die einzige Firma mit einem Be­triebs­system, das nach den Standards EAL6+ High Robustness, DO-178B Level A, IEC 61508 SIL3 und FDA Class III zertifiziert und eingesetzt wird. Green-Hills-Lösungen richten sich an tief eingebettete, sicherheits­kri­ti­sche An­wendungen in den Bereichen Militär, Luftfahrt, Medizintechnik, Auto­motive und Networking, sowie sonstige Märkte, die Bedarf nach zerti­fizier­baren industriellen Lösungen haben.

HighTec

HighTec EDV Systeme ist der weltweit größte Anbieter für kommerzielle Open-Source-Compiler. Der HighTec-Compiler ist portabel und immer vor der  all­gemeinen Veröffentlichung für die neuesten Revisionen der unter­stützten Architek­turen verfügbar. Das zerti­fizierte Mikro-Kernel-Echtzeit­betriebssystem PXROS bietet die höchste Sicherheit hinsichtlich Daten­austausch, Funktions­sicherheit und Robust­heit. HighTec bietet auch komp­lette Entwicklung- und Beratungs­dienstleistungen in den Bereichen Performance-Optimierung, funktionale Sicherheit und Portierung von Single-Core auf Multicore und in die AUTOSAR-Umgebung.

iSYSTEM

iSYSTEM bietet Hardware und Software, die einen Einblick in außerordentlich komplexe Anwendungen ermöglichen, insbesondere in AUTOSAR- oder RTOS-basierte sicherheits­kritische Multicore-Systeme. Zusammen mit seinen Partnern unterstützt iSYSTEM das Best-Trace-Format (BTF) zum Importieren echter Anwendungsinteraktionen in hochentwickelte Tools zur Timing-Analyse, darunter AbsInts TimeWeaver.

TASKING

Führender Anbieter von C-Compiler-Toolchains für TriCore, RH850, Power Architecture, ARM und C166. Die weltweit größten Automobil­hersteller und -zulieferer setzen TASKING-Tools ein, um sicherheitskritische Power-Train- und Body-Control-Anwendungen zu programmieren. Die Tools ent­sprechen den neuesten Industrie­standards, darunter ELF/DWARF 2 und DWARF 3, ISO/IEC 9899:1999(E), 14882:1998(E) und 14882:2011, ANSI-C X3.159-1989 und CERT C. Sie unter­stützen darüber­hinaus Pro­gram­mier­standards wie MISRA C und CERT C und bieten vollständige In­tegration in Eclipse.

Wind River

Wind River ist ein führender Anbieter von Software für intelligente vernetzte Systeme. Das Unternehmen zählt seit 1981 zu den Pionieren von Computersystemen in eingebetteten Geräten. Technologie von Wind River findet sich in fast zwei Milliarden Produkten. Wind River bietet das branchenweit umfassendste Embedded-Software-Portfolio, unterstützt durch erstklassige, weltweite professionelle Dienstleistungen und Support und ein großes Partner-Ökosystem. Wind River liefert die Technologie und Expertise für die Innovation und für den Einsatz von zuverlässigen, intelligenten sowie sicheren Systemen.