Science Park 1
66123 Saarbrücken
(0681) 38 36 00
absint.de
Kontaktperson: Dr.-Ing. Daniel Kästner
AbsInt GmbH 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 die Firma 36 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.
Für die Entwicklung des statischen 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, Continental, Siemens, Infineon und Bosch.
Nymphenburger Straße 20a
80335 München
(089) 99 01 30
onespin-solutions.com
Kontaktperson: Dominik Straßer
Die OneSpin Solutions GmbH mit Sitz in München ist 2005 als Ausgründung der Formalen-Verifikations-Aktivitäten (CVE) von Infineon entstanden. Das OSS-Team gilt als eines der innovativsten und erfahrensten FuE-Zentren der industriellen EDA-Forschung. Ein Forschungsvorlauf von 25 Jahren und Erfahrungswissen aus Verifikationsprojekten von über 350 Personenjahren wurden durch die Ausgründung auf dem Markt verfügbar – mit dem Vorteil kurzer Wege für die deutschen Anwender.
Durch gezielte und effektive Vergrößerung des Entwickler- und Anwenderteams und Aufbau einer Vertriebsorganisation wurde eine verlässliche, kommerzielle Perspektive für die große Kundenbasis bei Infineon, Bosch, NokiaSiemensNetworks und weiteren deutschen Elektronikherstellern geschaffen.
Das Leistungsangebot von OSS umfaßt formale Lösungen für wichtige Verifikationsaufgaben auf Architektur-, Design- und Implementierungsebene, Kombinationen dieser Lösungen zu einem Fluß und Verifikationsexpertise für den Property-Checking- und Equivalence-Checking-Markt.
Gottlieb-Daimler-Straße, Gebäude 47
67663 Kaiserslautern
(0631) 20 50
uni-kl.de
Kontaktperson: Prof. Dr.-Ing. Wolfgang Kunz
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. Dr.-Ing. Wolfgang Kunz ist seit langem in der Hardwareverifikation/-synthese tätig, insbesondere mit Arbeiten zum formalen Äquivalenzvergleich, zur Erreichbarkeitsanalyse sowie zur Verifikation von Arithmetik. Zurzeit entstehen Abstraktionen für die formale Analyse von Hardware/Software.