AbsInt Angewandte Informatik GmbH

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 Veri­fikation von einge­betteten Systemen und sicher­heits­kritischen Software­programmen an. Gegründet wurde die Firma im Februar 1998 von Prof. Dr. Dr. h.c. mult. Reinhard Wilhelm und Mitarbeitern seines Lehrstuhls für Programmier­sprachen und Übersetzer­bau an der Univer­sitä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 erfolg­reiche Software­produkte entwickeln.

Für die Entwicklung des statischen Laufzeitanalysators aiT wurde AbsInt mit dem Europäischen IST-Preis 2004 ausgezeichnet, dem bedeutendsten Technologie­preis der EU. Zu AbsInts Kunden zählen unter anderem Airbus, EADS, Daimler, Continental, Siemens, Infineon und Bosch.

OneSpin Solutions

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.

Technische Universität Kaiserslautern

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 Master­studiengang „European Master in Embedded Computing Systems“, der im Rahmen des europäischen Exzellenzprogramms „Erasmus Mundus“ gemeinsam mit zwei weiteren europäischen Universi­täten durchgeführt und von der EU gefördert wird.

Die Universität beteiligt sich an vielen gemeinsamen Forschungsaktivitäten mit mittel­ständischen Unternehmen, die wichtiger Motor für Innovationen im Bereich der Einge­betteten Systeme sind. Durch die Intensi­vierung der Forschung und gleich­zeitige Gewinnung von exzellenten Nachwuchs­kräften durch das Exzellenz­programm trägt die TU Kaiserslautern zu nachhaltigen Innova­tionen bei.

Die Arbeitsgruppe um Prof. Dr.-Ing. Wolfgang Kunz ist seit langem in der Hardwareverifikation/-synthese tätig, insbesondere mit Arbeiten zum formalen Äquivalenz­vergleich, zur Erreichbarkeits­analyse sowie zur Verifi­kation von Arithmetik. Zurzeit entstehen Abstrak­tionen für die formale Analyse von Hardware/Software.