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.

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.

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.

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.