Science Park 1
66123 Saarbrücken
(0681) 38 36 00
absint.de
AbsInt bietet Software zur Analyse, Optimierung und Verifikation von eingebetteten Systemen und sicherheitskritischen Softwareprogrammen an. Gegründet wurde die Firma im Februar 1998 von Prof. Dr. Dr. h.c. mult. Reinhard Wilhelm und Mitarbeitern seines Lehrstuhls für Programmiersprachen und Übersetzerbau an der Universität des Saarlandes. Derzeit beschäftigt AbsInt 40 Mitarbeiter.
Der Firmenname ist ein Kurzwort für „Abstrakte Interpretation“ – eine Methode zur statischen Analyse von Software, die 1977 von Prof. Patrick Cousot von der École Normale Supérieure in Paris formell begründet wurde. Durch Umsetzung dieser Methode in die Praxis konnte AbsInt innovative und erfolgreiche Softwareprodukte entwickeln. Dazu gehören Werkzeuge zur Laufzeitanalyse, Stackverbrauchanalyse und zum Nachweis der Abwesenheit von Laufzeitfehlern.
Für die Entwicklung des Laufzeitanalysators aiT wurde AbsInt mit dem Europäischen IST-Preis 2004 ausgezeichnet, dem bedeutendsten Technologiepreis der EU. Zu AbsInts Kunden zählen unter anderem Airbus, EADS, Daimler, Audi, BMW, Continental, Siemens, Infineon und Bosch.
Gottlieb-Daimler-Straße, Gebäude 47
67663 Kaiserslautern
(0631) 20 50
uni-kl.de
Die TU Kaiserslautern ist eine der führenden europäischen Universitäten im Bereich der eingebetteten Systeme. Sie bietet den europaweit einmaligen Masterstudiengang „European Master in Embedded Computing Systems“, der im Rahmen des europäischen Exzellenzprogramms „Erasmus Mundus“ gemeinsam mit zwei weiteren europäischen Universitäten durchgeführt und von der EU gefördert wird.
Die Universität beteiligt sich an vielen gemeinsamen Forschungsaktivitäten mit mittelständischen Unternehmen, die wichtiger Motor für Innovationen im Bereich der eingebetteten Systeme sind. Durch die Intensivierung der Forschung und gleichzeitige Gewinnung von exzellenten Nachwuchskräften durch das Exzellenzprogramm trägt die TU Kaiserslautern zu nachhaltigen Innovationen bei.
Die Arbeitsgruppe um Prof. Wolfgang Kunz und apl. Prof. Dr. Dominik Stoffel mit derzeit acht Doktoranden ist seit langem in der Hardwareverifikation und -synthese mit Arbeiten insbesondere zum formalen Äquivalenzvergleich, zur Erreichbarkeitsanalyse sowie zur Verifikation von Arithmetik tätig. In der jüngeren Vergangenheit standen insbesondere Arbeiten zu Abstraktionstechniken von System-on-Chip-Modulen sowie die formale Analyse von Hardware und Software im Vordergrund.
Am Fallturm 1
28359 Bremen
(0421) 57 20 40
verified.de
Verified Systems besteht seit 1998 und ist spezialisiert auf Verifikationsdienstleistungen sowie die Entwicklung von Testsystemen. Gegründet wurde das Unternehmen von Prof. Dr. Jan Peleska und Dr. Cornelia Zahlten. Im Rahmen der langfristigen Unternehmensstragie wurden Dr. Jörg Brauer und Dr. Oliver Meyer 2016 in den Kreis der Gesellschafter aufgenommen, sodaß das Unternehmen weiterhin eigentümergeführt ist. Derzeit beschäftigt Verified Systems 27 Mitarbeiter.
Zu den Produkten der Firma gehören dedizierte Testbenches für Echtzeitanforderungen sowie die Testlösung RT-Tester. Auf Basis von RT-Tester bietet Verified Systems zahlreiche Werkzeugerweiterungen an, wie etwa das Test-Management-System für größere Teams oder RTT-MBT für modellbasierte Tests.
2016 wurde Verified Systems mit der Runner-Up-Trophy des EU Innovation Prize ausgezeichnet. Zu den Kunden der Firma zählen Unternehmen wie Airbus, Siemens, Rheinmetall und Hella, die Unterstützung beim Test und bei der Verifikation sicherheitskritischer Systeme erhalten.