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
Criteria of this press release:
Economics / business administration, Information technology, Materials sciences, Mathematics, Mechanical engineering, Physics / astronomy
regional
Miscellaneous scientific news/publications, Research results, Scientific conferences
German
You can combine search terms with and, or and/or not, e.g. Philo not logy.
You can use brackets to separate combinations from each other, e.g. (Philo not logy) or (Psycho and logy).
Coherent groups of words will be located as complete phrases if you put them into quotation marks, e.g. “Federal Republic of Germany”.
You can also use the advanced search without entering search terms. It will then follow the criteria you have selected (e.g. country or subject area).
If you have not selected any criteria in a given category, the entire category will be searched (e.g. all subject areas or all countries).
