 |
AbsInt Angewandte Informatik GmbH (Projektkoordinator) |
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. Reinhard Wilhelm und Mitarbeitern seines Lehrstuhls für Programmiersprachen und Übersetzerbau an der Universität des Saarlandes — Christian Ferdinand, Florian Martin, Stephan Thesing, Marc Langenbach und Daniel Kästner. 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. Dr.-Ing. Christian Ferdinand studierte 1985–1990 Informatik und Elektrotechnik an der Universität des Saarlandes. Von 1991 bis 1998 war er wissenschaftlicher Mitarbeiter am Lehrstuhl für Programmiersprachen und Übersetzerbau der Universität des Saarlandes. In dieser Zeit nahm er an den ESPRIT-Projekten PROSPECTRA („Programming by Specification and Transformation“) und COMPARE („Compiler Generation for Parallel Machines“) teil und war Mitglied des Sonderforschungsbereichs 124 („VLSI und Parallelität“). 1997 promovierte er über das Thema „Cache Behaviour Prediction for Real-Time Systems“. Seit Februar 1998 ist er Geschäftsführer der AbsInt GmbH, die von ihm mitbegründet wurde. Er arbeitet hauptsächlich im Bereich der Codegenerierung für digitale Signalprozessoren und der Zeitanalyse für Realzeitsysteme. Im Rahmen des SuReal-Projekts ist AbsInt an den folgenden Arbeitspaketen beteiligt: |
