Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein:

Prof. Dr.-Ing. Stefan Kowalewski, Lehrstuhl für Informatik 11, RWTH Aachen: Ansätze zum Entwurf sicherer und zuverlässiger software-gesteuerter Systeme

Beginn: 07.02.2008, 13:30 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 2. OG, Raum 252 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2008-02-07-kowalewski.html Kontakt: Prof. Dr. Ursula Goltz

Sicherheit und Zuverlässigkeit sind zwei wesentliche Anforderungen, die bei der Entwicklung und dem Betrieb von technischen Systemen schon seit Beginn der Industrialisierung eine Rolle spielen. Aus diesem Grund existiert im Ingenieurbereich ein bewährtes Begriffs- und Methodenfundament. Mit der wachsenden Bedeutung von Software in technischen Systemen müssen die vorhandenen Methoden aber angepasst werden. Wie die zurzeit in Vorbereitung befindliche Einführung einer Norm für die Funktionale Sicherheit im Automobilbereich zeigt, ist das ein mühsamer Prozess. Der Vortrag geht ausgehend von Grundbegriffen und -konzepten auf Spezifika der Sicherheit und Zuverlässigkeit von software-gesteuerten Systemen ein und zeigt Beispiele für methodische Ansätze zur Analyse und Verbesserung dieser Eigenschaften.