idw – Informationsdienst Wissenschaft
Nachrichten, Termine, Experten
Nachrichten, Termine, Experten
Internationales Seminar an der Saar-Uni zu EU-Projekt Daedalus mit Präsentation der Ergebnisse
27. September 2002, 10 bis 17 Uhr, Geb. 45, Campus Saarbrücken
Internationale Experten des EU-Projekts Daedalus treffen sich am 27. September unter Leitung von Professor Dr. Reinhard Wilhelm (Informatik) auf dem Saarbrücker Campus, um die Ergebnisse ihrer langjährigen Arbeit zu diskutieren. Im Fokus der Forscher stehen dabei die vor allem Testmethoden für Software.
Bei dem Airbus A 380, der derzeit entwickelt wird, werden voraussichtlich etwa die Hälfte des Entwicklungsaufwands in die Entwicklung der Software gehen. Deshalb brauchen die Entwickler alle verfügbaren und ausgereiften Technologien zur Softwareentwicklung. Im zu Ende gehenden EU-Projekt Daedalus wurden von den Projektpartnern vor allem die Technologien weiterentwickelt und teilweise zur Produktreife gebraucht, die Fehler in der Software finden bzw. ihre Entstehung verhindern sollen. Die zentrale Technologie ist dabei die statische Analyse von Softwaresystemen. Sie wird eingesetzt, um Sicherheitseigenschaften von Programmen festzustellen. Das Softwarehaus PolySpace aus Grenoble hat ein Softwarewerkzeug entwickelt, welches mögliche Ausführungsfehler entdeckt. Der Lehrstuhl für Übersetzerbau an der Universität des Saarlandes hat zusammen mit seiner SpinOff-Firma AbsInt Angewandte Informatik das weltweit erste Werkzeug für die Berechnung der Echtzeitfähigkeit von Software entwickelt, welche auf komplexen modernen Prozessoren wie dem Motorola PowerPC läuft. Die Arbeitsgruppe von Dr. Mooly Sagiv von der Tel Aviv-Universität hat Analysen entwickelt, die Programme auf illegale Speicherzugriffe untersucht. Solche "Schlupflöcher" werden z.B. häufig von Hackern benutzt, um sich unerlaubten Zugriff auf fremde Rechner zu verschaffen. Die Gruppe um Professor Seidl an der Universität Trier bietet einen Analysator an, der nebenläufige Programme auf Synchronisationsfehler untersucht.
Ansprechpartner:
Professor Dr. Reinhard Wilhelm
Tel.: 0681-302-3434
Merkmale dieser Pressemitteilung:
Informationstechnik, Maschinenbau, Mathematik, Physik / Astronomie, Werkstoffwissenschaften, Wirtschaft
regional
Buntes aus der Wissenschaft, Forschungsergebnisse, Wissenschaftliche Tagungen
Deutsch
Sie können Suchbegriffe mit und, oder und / oder nicht verknüpfen, z. B. Philo nicht logie.
Verknüpfungen können Sie mit Klammern voneinander trennen, z. B. (Philo nicht logie) oder (Psycho und logie).
Zusammenhängende Worte werden als Wortgruppe gesucht, wenn Sie sie in Anführungsstriche setzen, z. B. „Bundesrepublik Deutschland“.
Die Erweiterte Suche können Sie auch nutzen, ohne Suchbegriffe einzugeben. Sie orientiert sich dann an den Kriterien, die Sie ausgewählt haben (z. B. nach dem Land oder dem Sachgebiet).
Haben Sie in einer Kategorie kein Kriterium ausgewählt, wird die gesamte Kategorie durchsucht (z.B. alle Sachgebiete oder alle Länder).
