idw - Informationsdienst
Wissenschaft
Sommerschule Marktoberdorf: Beweisverfahren in der Softwareentwicklung
Manche Softwaresysteme erfordern eine hundertprozentige Zuverlässigkeit. So kann ein Fehlverhalten beispielsweise in der Flugzeugnavigation sogar Menschenleben fordern. Wie solche Softwaresysteme auf ihre Funktionstüchtigkeit überprüft werden können, das diskutieren Junginformatiker und Professoren aus vielen Kontinenten.
Die Sommerschule findet vom 30.7.2003 - 10.8.2003 in der Allgäuer Kreisstadt Marktoberdorf statt. Das Institut für Informatik der Technischen Universität München veranstaltet gemeinsam mit der Ludwig-Maximilians-Universität diesen Kongress zum 24. Mal mit finanzieller Unterstützung des NATO Science Committee.
Mit mathematischen Beweisverfahren kontrollieren Softwareentwickler ihre Modelle, die dahinter stehende Logik und das Verhalten des Systems mit dem Ziel, dass die Software im Betrieb auch das macht, wofür sie konzipiert ist. Diese mathematische Beweisführung ist gerade bei großen Softwaresystemen so komplex, dass man sie nicht mehr von Hand durchführen kann. Bei den so genannten Theorembeweisern übernehmen Computer die mathematischen Beweise. Die Methode steckt im kommerziellen Bereich noch in den Kinderschuhen. Anfänge sind gemacht bei der Verifikation von Software im Automobilbereich wie die Bremsassistenten oder bei Smart Cards für Banken. Auch Chiphersteller arbeiten mit Theorembeweisern. Hier geht es weniger um die Sicherheit, sondern um wirtschaftliche Interessen. Noch in der Designphase werden Chips verifiziert, um teure Fehlproduktionen zu vermeiden.
Die Sommerschule Marktoberdorf zieht Informatiker aus 25 Nationen an. 85 Teilnehmer arbeiten zehn Tage lang mit Referenten aus Industrie und Hochschule an den Beweisverfahren. Darüber hinaus vertiefen sie ihre Kontakte oder nutzen die Sommerschule als Karrieresprungbrett. Eine intensive Gesprächsatmosphäre kennzeichnet die Sommerschule und kommt auch dadurch zustande, dass die Referenten über den gesamten Zeitraum vor Ort sind und sich den Gesprächen stellen.
Kontakt
Technische Universität München
Institut für Informatik
Ursula Eschbach
Öffentlichkeitsarbeit
Während der Sommerschule vom 29.7.03 bis 10.8.03 in Marktoberdorf:
Tel. 08342/966426
eschbach@in.tum.de
Vor bzw. nach der Sommerschule:
Boltzmannstraße 3
85748 Garching
Tel. 089/289-17828
eschbach@in.tum.de
Merkmale dieser Pressemitteilung:
Informationstechnik
überregional
Buntes aus der Wissenschaft
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).