 | |
 | |
 | |
 | |
 | |
 | |
 | |
 | |
 | |
 | |
 | |
 | |
Die Saarbrücker Informatik kooperiert in verschiedenen Forschungsprojekten mit großen IT-Firmen, den bundesdeutschen Automobilunternehmen, der Flugzeugindustrie und einigen mittelständischen Firmen. Die wichtigsten Projekte und ihre Partner werden im Folgenden vorgestellt: Echtzeit-Ray-Tracing Mit dem Echtzeit-Ray-Tracing werden heute übliche Visualisierungstechniken in der industriellen Entwicklung von einer neuen, leistungsfähigeren Hardware-/ Software-Architektur abgelöst. Die interaktive Graphiktechnologie ermöglicht es, 3D-Objekte darzustellen, zu bewegen und zu verändern. Sogar Schatten, Lichtbrechungen und Spiegelungen können realistisch dargestellt werden. In der Automobilindustrie, im Flugzeugbau und anderen industriellen Entwicklungen können dadurch Planungsfehler frühzeitig sichtbar gemacht und beseitigt werden. Die Volkswagen AG hat bereits rund 20 Millionen Euro in den Aufbau zweier Visualisierungszentren investiert, die auf der Ray-Tracing-Technologie basieren. Partner: VW, BMW, Daimler-Chrysler, Intel |
 |
Verisoft: Formale Verifikation von Computersystemen Verisoft ist ein langfristig angelegtes Forschungsprojekt, das vom Bundesministerium für Bildung und Forschung gefördert wird. Ziel ist die nachweislich korrekte Funktionsweise von Computersystemen. Professor Wolfgang Paul vom Institut für Rechnerarchitektur der Universität des Saarlandes erklärt Verisoft so: „Wenn Menschen Rechnersysteme bauen, verbringen sie rund 60 Prozent des Aufwandes mit Testen und mit Fehlersuche, das heißt mit der Suche nach der Nadel im Heuhaufen. Dass es keine Nadeln im Heuhaufen gibt, können sie nicht beweisen. Mit der neu entwickelten Technologie, die wir für Prozessoren beherrschen und die wir auf Gesamtsysteme ausdehnen wollen, kann die Abwesenheit der Nadel im Heuhafen bewiesen werden.“ Beteiligt sind unter anderem das Deutsche Forschungszentrum für Künstliche Intelligenz und das Max-Planck-Institut für Informatik in Saarbrücken, die Fachrichtung Informatik an der Universität des Saarlandes sowie Industriepartner aus dem Mittelstand (AbsInt GmbH) wie aus der Großindustrie (BMW, Infineon, T-Systems). Partner: BMW, Infineon, T-Systems, AbsInt GmbH Automatische Verifikation und Analyse komplexer Systeme (Sonderforschungsbereich AVACS) Fehler in sicherheitskritischen Computersystemen von Flugzeugen, Zügen oder Autos können Leben gefährden. Daher ist ihre Kontrolle besonders wichtig. Bisher können nur begrenzte Aspekte solcher Systeme überprüft und analysiert werden, zum Beispiel ihre Stabilität oder Kontinuität. Informatiker der Universitäten Freiburg, Oldenburg und Saarbrücken sowie des Max-Planck-Instituts für Informatik in Saarbrücken analysieren im Sonderforschungsbereich AVACS diese Systeme. Sie haben das Ziel, komplexe Systeme, wie etwa automatische Abstandskontrollen oder Bremsassistenten, umfassend und ganzheitlich zu überprüfen. Es soll auch die Vorhersage möglich werden, wie verlässlich ein System ist. Kontakt: Prof. Dr. Reinhard Wilhelm Advanced Real-Time Systems (Europäisches Exzellenznetzwerk ARTIST2) Das strategische Ziel des europäischen Exzellenz-Netzwerks ARTIST2 ist es, die europäische Forschung auf dem Gebiet der eingebetteten Systeme zu stärken und dieses multidisziplinäre Gebiet weiter zu entwickeln. ARTIST2 versammelt die besten europäischen Gruppen aus den betreffenden Teildisziplinen und fasst diese zu einer wissenschaftlichen Gesamtdisziplin zusammen. Die Teilnehmer kommen aus der Elektrotechnik, Regelungstechnik, angewandten Mathematik und Informatik. Der Saarbrücker Lehrstuhl für Übersetzerbau und das Spinoff-Unternehmen AbsInt Angewandte Informatik Saarbrücken ist unter anderem mit der Zeitanalyse von Echtzeitsystemen an dem Netzwerk beteiligt. Partner: viele akademische und industrielle Partner in Europa |
|
