Sichere Softwaresysteme

Informatiker aus 29 Ländern treffen sich vom 6. - 17. August 2008 zur 29. Sommerschule Marktoberdorf zu Themen der Sicherheit und Zuverlässigkeit in der Softwareentwicklung. Die Fakultät für Informatik der Technischen Universität München veranstaltet diesen Kongress seit 1970. Die Sommerschule wird vor allem durch die NATO (Science for Peace and Security Programme) und den DAAD finanziell unterstützt.

Die Beschleunigung, die Abbremsung und der Haltevorgang – das kontrolliert beim französischen Hochgeschwindigkeitszug TGV ein Signalsystem. Bei Geschwindigkeiten von 300 km pro Stunde und einer Frequenz von 3 Minuten Abstand zum nächsten Zug, kann eine Störung dieses Signalsystems katastrophale Folgen haben. Deshalb haben die Softwareentwickler des Signalsystems ihre fertig gestellte Software nach möglichen Fehlern überprüft und mittels mathematischer Verfahren nachgewiesen, dass die Software funktionstüchtig und korrekt arbeitet. Eine solche konsequente Verifikation ist in der Praxis heute noch nicht selbstverständlich.

Heutzutage wird Software oft nach herkömmlichen Methoden entworfen: Der Kunde beschreibt schriftlich die Anforderungen an die gewünschte Software und danach wird die Software programmiert. Softwareentwicklung ist sehr komplex und mit diesem Verfahren treten Fehler auf. Die Referenten der Sommerschule setzen auf rigorose, formale Methoden: Die Anforderungen des Kunden werden mit mathematischen Mitteln beschrieben, in Modelle transferiert. Auf dieser Grundlage kann der Programmcode teilweise automatisch generiert werden. Dieses Verfahren schafft Sicherheit, und die Software kann leichter geprüft werden. „In 15 bis 20 Jahren werden sich diese formalen Methoden in der industriellen Softwareentwicklung durchsetzen“, ist der Informatikprofessor der TU München Manfred Broy überzeugt. Er ist einer der Direktoren der Sommerschule Marktoberdorf.

Die Teilnehmer der Sommerschule nutzen die Sommerschule Marktoberdorf – neben den wissenschaftlichen Diskussionen – zum Aufbau von Kontakten für die zukünftige Karriere. Die Organisatoren fördern das: Im gemeinsamen Miteinander bei Veranstaltungen und Ausflügen lernen sich die Jungwissenschaftler besser kennen. So wandern sie in den Allgäuer Bergen und messen sich im traditionellen Fußballspiel mit den „Alten Herren“ des TSV Marktoberdorf.

Erreichbarkeit während der Sommerschule:
Katharina Spies
Tel. 08342/966412 (ab dem 6.8.08)