idw – Informationsdienst Wissenschaft

Nachrichten, Termine, Experten

Grafik: idw-Logo
Grafik: idw-Logo

idw - Informationsdienst
Wissenschaft

Science Video Project
idw-Abo

idw-News App:

AppStore

Google Play Store



Instanz:
Teilen: 
05.10.1998 00:00

Software-Sicherheit mit formalen Methoden

Oberstleutnant Norbert Hoerpel Präsidialbereich/Pressestelle
Universität der Bundeswehr München

    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


    Bilder

    Merkmale dieser Pressemitteilung:
    Informationstechnik
    überregional
    Buntes aus der Wissenschaft
    Deutsch


     

    Hilfe

    Die Suche / Erweiterte Suche im idw-Archiv
    Verknüpfungen

    Sie können Suchbegriffe mit und, oder und / oder nicht verknüpfen, z. B. Philo nicht logie.

    Klammern

    Verknüpfungen können Sie mit Klammern voneinander trennen, z. B. (Philo nicht logie) oder (Psycho und logie).

    Wortgruppen

    Zusammenhängende Worte werden als Wortgruppe gesucht, wenn Sie sie in Anführungsstriche setzen, z. B. „Bundesrepublik Deutschland“.

    Auswahlkriterien

    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).