Ansys
Ein führender Anbieter von Softwareentwicklungswerkzeugen für sicherheitskritische industrielle Anwendungen. Ansys’ Entwicklungsumgebung SCADE Suite ist der Marktführer bei der Entwicklung sicherheitskritischer 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 Regelungssysteme. 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 Entwicklungswerkzeugen für die anwendergesteuerte automatisierte Softwareparallelisierung 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 Entwicklungslösungen für eingebettete Systeme und die einzige Firma mit einem Betriebssystem, 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, sicherheitskritische Anwendungen in den Bereichen Militär, Luftfahrt, Medizintechnik, Automotive und Networking, sowie sonstige Märkte, die Bedarf nach zertifizierbaren 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 allgemeinen Veröffentlichung für die neuesten Revisionen der unterstützten Architekturen verfügbar. Das zertifizierte Mikro-Kernel-Echtzeitbetriebssystem PXROS bietet die höchste Sicherheit hinsichtlich Datenaustausch, Funktionssicherheit und Robustheit. HighTec bietet auch komplette Entwicklung- und Beratungsdienstleistungen 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 sicherheitskritische 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 Sotfwareentwicklungsprozesse 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 sicherheitsorientierten Tools zur Entwicklung von eingebetteter Software für Multi-Core-Architekturen. Die Entwicklungstools von TASKING werden von Automobilherstellern 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 Softwareentwicklungsprozeß. 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.
