idw – Informationsdienst Wissenschaft
Nachrichten, Termine, Experten
Nachrichten, Termine, Experten
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
Criteria of this press release:
Information technology
transregional, national
Miscellaneous scientific news/publications
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).
