(Alter Titel: Sicherheit und Zuverlässigkeit softwaregesteuerter Systeme)
Softwaregesteuerte, eingebettete Systeme sind allgegenwärtig. Dort, wo deren Verhalten und Interaktion mit Menschen, Gütern oder der physikalischen Umgebung zu gefährlichen Situationen führen kann, haben diese Systeme noch dazu sicherheitskritische Aspekte. Beispiele für solche Systeme sind Servolenkungen, elektronische Stabilitätsprogramme (engl.: Electronic stability programs (ESP)), Bremssysteme von Zügen, medizinische Geräte und Flugregelsysteme.
Es existieren zahlreiche Beispiele, wo falsches oder unerwartetes Verhalten von Software Menschenleben gefährdet. Laut dem Bundesinstitut für Arzneimittel und Medizinprodukte waren in den Jahren 2005-06 Fehler in der Software für mehr Risikomeldungen verantwortlich (22 %) als jede andere Ursache wie Fehler im Design, physische Fehler, Kompatibilitätsprobleme etc.
Diese Vorlesung bietet eine Einführung in die Zuverlässigkeitstheorie und in Methoden, die in der Forschung und Industrie genutzt werden, um funktionale Sicherheit und Zuverlässigkeit von softwaregesteuerten Systemen sicherzustellen, zu verbessern und zu beurteilen:
Die Vorlesung wird auf Englisch gehalten.
Die erste Vorlesung dieses Semesters findet am Donnerstag, den 14. April 2016, statt.
Ankündigungen, Folien, Videos und alle anderen Materialien können auf der L2P Seite des Kurses gefunden werden.
Die Campus Seite von dieser Veranstaltung ist unter folgendem Link zu finden https://www.campus.rwth-aachen.de/rwth/all/event.asp?gguid=0x257EE07F102F8E46901538B38BEE0E61&tguid=0xBEF068CB23A0D94688F03AE6E97A7855.