Dr. Dietmar Lange | Iccon International Consulting Co. GmbH

Verlässlichkeit von Software – Grand Challenge der Informatik… (Session)

Software kommt überall zum Einsatz: von Unterhaltungs- elektronik bis zur Luft- und Raumfahrt und sicherheitskriti- schen Bereichen. Verlässlichkeit bedeutet nicht nur, dass die funktionalen Anforderungen erfüllt werden. Schnelles Erken- nen von Fehlfunktionen sowie Datenschutz und Datensicher- heit nehmen an Bedeutung zu. Können wir mit automatisier- ter Verifikation und selbstheilenden Mechanismen das Ver- trauen der Nutzer (wieder) gewinnen?