idw – Informationsdienst Wissenschaft
Nachrichten, Termine, Experten
Nachrichten, Termine, Experten
Zu diesem Thema wird Prof. Dr. Wolfgang Reif, Universität Ulm, am
Dienstag, 13. Oktober 1998 von 16.00 Uhr bis ca. 18.00 Uhr
im Gebäude 33, Hörsaal 0231, der Universität der Bundeswehr München,
im Rahmen eines Informatik-Kolloquiums einen Vortrag halten.
Trotz der enormen Fortschritte der Softwaretechnik in den letzten 25 Jahren ist die Entwicklung fehlerfreier Software noch immer eine der großen Herausforderungen des Gebiets. Korrekte Software ist vor allem für sicherheitskritische Anwendungen mit höchsten Qualitätsanforderungen interessant. Beispiele hierfür sind Medizintechnik, Luft- und Raumfahrt, Automobiltechnik, Datensicherheit sowie die Kontrolle technischer Anlagen. Weitere Einsatzgebiete sind Software in Massenprodukten sowie zentrale Softwaredienste, über die sehr viele Anwendungen abgewickelt werden (Systemsoftware, Generatoren, Compiler etc.).
Den größtmöglichen Schutz vor Software-Fehlern bieten heute formale Spezifikations- und Verifikationsmethoden. Ihre Anwendung stellt hohe Anforderungen an die Benutzer und erfordert den Einsatz intelligenter Unterstützungswerkzeuge (z.B. Nachweis von Korrektheitseigenschaften).
In diesem Vortrag wird ein Ansatz sowie das zugehörige Werkzeug für die Entwicklung hochsicherer Software präsentiert. Neben Theorie und Methodik stehen vor allem die Fragen der Leistungsfähigkeit und Wirtschaftlichkeit im Vordergrund. Erfahrungen aus Pilotanwendungen runden den Vortrag ab.
Hierzu möchte ich Sie im Namen der Fakultät für Informatik herzlich einladen und um Berichterstattung bitten.
Mit freundlichen Grüßen
Norbert Hörpel
Oberstleutnant
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).
