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“.
Der weltweit führende Anbieter von Werkzeugen für die Entwicklung und den Test mechatronischer Regelungssysteme. Der Produktionscodeerzeuger TargetLink bietet eine Schnittstelle zu AbsInts Tools zur statischen Timing-, Stack-, und Laufzeitfehleranalyse.
Ein führender Anbieter von Entwicklungswerkzeugen für die anwendergesteuerte automatisierte Softwareparallelisierung im Bereich heterogener eingebetteter Multicoresysteme. Kunden aus den Branchen Automobil, Luftfahrt und Automatisierung können mit den Produkt- und Supportlösungen von emmtrix neue Prozeßarchitekturen effizient und fehlerfrei einsetzen.
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 EDV Systeme ist der weltweit größte Anbieter für kommerzielle Open-Source-Compiler. Der HighTec-Compiler ist portabel und stets für die neuesten Revisionen der unterstützten Architekturen bereits im Vorfeld derer allgemeinen Veröffentlichung verfügbar. Das zertifizierte Mikro-Kernel-Echtzeitbetriebssystem PXROS bietet die höchste Sicherheit hinsichtlich Datenaustausch, Funktionssicherheit und Robustheit. HighTec bietet auch komplette Entwicklungs- und Beratungsdienstleistungen in den Bereichen Performance-Optimierung, funktionale Sicherheit und Portierung von Single-Core auf Multicore und in die AUTOSAR-Umgebung.
iSYSTEM bietet Hardware und Software, die einen Einblick in außerordentlich komplexe Anwendungen ermöglichen, insbesondere in AUTOSAR- oder RTOS-basierte sicherheitskritische Multicore-Systeme. Hardware-Traces im iSYSTEM-Format erlauben den Import echter Anwendungsinteraktionen in hochentwickelte Tools zur Timing-Analyse, darunter AbsInts TimeWeaver.
In Vorbereitung auf die Veröffentlichung des ersten MISRA-konformen eingebetteten Datenbanksystems integrierte McObject unseren RuleChecker in seine Sotfwareentwicklungsprozesse und steigerte damit umgehend die Qualität und Stabilität seines Codes.
Ein Zulieferer für Kontrollsysteme im Fahr- und Flugzeugbau, Verkehr und Verteidigung. New Eagle bietet Lösungen zur Hardwaresteuerung, mechatronische und elektronische Systeme für Elektrofahrzeuge, sowie eigene Tools zur Softwareentwicklung.
Seit über 25 Jahren unterstützt QA Systems Unternehmen dabei, qualitativ hochwertige und standardkonforme Software für sicherheits- und geschäftskritische eingebettete Systeme zu entwickeln. Die Tools von QA Systems automatisieren Unit-Tests, Codeabdeckung, Integrationstests sowie Source-Code-Analysen unter Einhaltung aller üblichen sicherheitsrelevanten Softwarestandards wie MISRA, AUTOSAR, CERT, CWE, ISO 26262 u. a. Mit eigenen internationalen Standorten und einem globalen Reseller-Netzwerk ist QA Systems weltweit tätig. Mehr als 350 der größten Unternehmen stehen auf der Kundenliste von QA Systems. Als Kompetenzzentrum für bessere Software ist die QA-Systems-Akademie die Anlaufstelle für den Know-How-Transfer zwischen Softwareingenieuren aus aller Welt.
Ein 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.
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.
Ein führender Anbieter von Software für intelligente vernetzte Systeme. Das Unternehmen zählt seit 1981 zu den Wegbereitern für Computersysteme 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 Dienstleistungen und Support und ein großes Ökosystem aus Partnern. Wind River liefert die Technologie und Expertise für die Innovation und den Einsatz von zuverlässigen, intelligenten und sicheren Systemen.
In den letzten 25 Jahren waren wir an vielen deutschen, europäischen und internationalen Forschungsprojekten beteiligt und haben dabei mit Hunderten von Firmen und akademischen Einrichtungen aus mehr als 20 Ländern zusammengearbeitet.
