Science Park 1
66123 Saarbrücken
(0681) 38 36 00
www.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 der aiT WCET Analyzer 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.
Gottlieb-Daimler-Straße, Gebäude 47
67663 Kaiserslautern
(0631) 20 50
www.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 mit derzeit acht Doktoranden und einem Postdoktoranden 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.