Unsere Partner

Ansys

Ein führender Anbieter von Software­entwicklungs­werkzeugen für sicher­heits­kritische industrielle Anwendungen. Ansys’ Entwicklungsumgebung 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“.

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.

emmtrix

emmtrix Technologies GmbH ist ein führender Anbieter von Entwicklungs­werkzeugen für die anwender­gesteuerte automati­sierte Software­parallelisierung im Bereich heterogener eingebetteter Multicore-Systeme. Kunden aus den Branchen Automobil, Luftfahrt und Automatisierung können mit den Produkt- und Supportlösungen von emmtrix Technologies neue Prozeß­architekturen effizient und fehlerfrei einsetzen.

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.

McObject

In Vorbereitung auf die Veröffentlichung des ersten MISRA-konformen eingebetteten Datenbank-Systems integrierte McObject unseren RuleChecker in seine Sotfware­entwicklungs­prozesse und steigerte damit umgehend die Qualität und Stabilität seines Codes.

QA Systems

Seit über 25 Jahren unterstützt QA Systems Unternehmen dabei, qualitativ hochwertige und standardkonforme Software für eingebettete Systeme im sicherheits- und geschäftskritischen Bereich zu entwickeln. Die Tools von QA Systems automatisieren Unit-Tests, Codeabdeckung, Integrationstests sowie Source-Code-Analysen unter Einhaltung aller üblichen sicherheitsrelevanten Softwarestandards (MISRA, AUTOSAR, CERT, CWE, ISO 26262 u. a.). Mit internationalen Standorten ist QA Systems weltweit direkt als auch über ein globales Reseller-Netzwerk tätig. Über 350 der größten Unternehmen stehen auf der Kundenliste von QA Systems. Als Kompetenzzentrum für bessere Software ist die QA Systems Akademie die Nahtstelle für den Know-How-Transfer zu Softwareingenieuren weltweit.

Solid Sands

Führender Anbieter von Technologien fürs Testen und Qualifizieren von Compilern und Bibliotheken in Nordamerika, Europa und Asien. SuperTest ist die bestmögliche Test- und Validierungs-Suite für C- und C++-Compiler, die Kunden hilft, ihre Softwarequalität und -sicherheit zu steigern. Und mit SuperGuard bietet Solid Sands eine anforderungsbasierte Test-Suite für die C-Standardbibliothek, mit klar nachvollziehbarem Bezug zwischen den einzelnen Tests und den aus der ISO-C-Definition abgeleiteten Anforderungen.

TASKING

Mit Hauptsitz in München ist TASKING ein führender Anbieter von leistungsstarken, qualitativ hochwertigen und sicherheits­orientierten Tools zur Entwicklung von eingebetteter Software für Multi-Core-Architekturen. Die Entwicklungstools von TASKING werden von Automobil­herstellern und -zulieferern sowie in angrenzenden Märkten auf der ganzen Welt eingesetzt, um leistungsstarke Anwendungen in sicherheitskritischen Bereichen zu realisieren. Die TASKING-Embedded-Software-Development-Lösungen bieten ein branchenführendes Ökosystem für Ihren gesamten Software­entwicklungsprozeß. Jeder TASKING-Compiler ist für eine bestimmte Architektur konzipiert und erfüllt die spezifischen Anforderungen Ihrer Branche, einschließlich Automotive, Industrie, Telekommunikation und Datacom.

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.