Software in sicherheitsrelevanten SystemenVorlesung: Do. 08:00 - 9:30 UhrÜbung: Blockveranstaltung in der Exkursionswoche (02. - 05.06.2009) Raum: IZ 161 Dozent: Dr. R. Pinger Übung: Esterel Technologies feat. R. Pinger SCADE-Schulung: Zeit: Di - Fr, jeweils von 9:00 Uhr - 17:00 Uhr Ort: Siemens AG, Ackerstraße 22, Gebäude 37, Raum 37235 bitte melden beim Eingang Ost, der Raum ist im Erdgeschoss rechts den Gang hinunter und dann auf der linken Seite LV-Nr Vorlesung: INF-PRS-043 LV-Nr Übung: INF-PRS-044 Art der Veranstaltung: Vorlesung Stundenzahl: 2+1 Leistungspunkte: 4 Hörerkreis: Studenten und Studentinnen der Informatik, Wirtschaftsinformatik und Informationssystemtechnik im Master, oder fortgeschrittenen Bachelorstudium Voraussetzungen: grundlegende Kenntnisse in Informatik Scheinerwerb: nach Absprache Inhalt: Software, die in sicherheitsrelevanten Systemen eingesetzt wird, unterliegt besonderen Qualitätsanforderungen, die in unterschiedlichen Normen beschrieben sind. Daher gibt es in den Normen – z. B. CENELEC für die Eisenbahnautomatisierung – festgelegte Maßnahmen, die zu einer qualitativ hochwertigen Software führen sollen. Im Rahmen der Vorlesung werden zunächst die Begriffe Sicherheit und sicherheitsrelevante Software erläutert; Beispiele aus der Praxis machen die Tragweite von fehlerhaftem Verhalten sicherheitsrelevanter Systeme deutlich. Anschließend werden anhand der CENELEC-Normen die Maßnahmen diskutiert, die zur Erreichung der hohen Qualität der Software beitragen. Hier wird insbesondere auf Werkzeuge zur Analyse und zur Qualitätssicherung einge-gangen. Darüber hinaus behandelt die Vorlesung auch Anforderungen an Entwicklungswerkzeuge, die für die Pflege und Wartung von Produkten mit Produktlebenszyklen von mehr als 30 Jahren eine notwendige Voraussetzung für den industriellen Einsatz sind. Analog zur den Qualitätsmaßstäben für sicherheitsrelevante Applikationen werden Qualitätsmaßstäbe für Entwicklungswerkzeuge erläutert. Die Vorlesung gibt anhand von Beispielen aus der Praxis Einblicke in die industrielle Entwicklung sicherheitsrelevanter Software sowie dem Umgang mit langlebigen Produkten. In den Übungen zur Vorlesung steht die praktische Anwendung des Entwicklungswerkzeugs SCADE im Mittelpunkt. Besonderheiten: Ein Teil der VL wird in der Exkursionswoche gehalten. In der Exkursionswoche findet eine Schulung zum Entwicklungswerkzeug SCADE statt. Die Schulung umfasst einen Einführung in die Sprache und das Werkzeug von SCADE. Darüber hinaus runden zahlreiche Übungsbeispiele die praktische Erfahrung im Umgang mit SCADE ab. Terminplanung (vorläufig):
Download: Vorlesungsfolien 27.05.2009 Last modified: Wed May 27 11:31:06 W. Europe Standard Time 2009 Lassen Sie sich von uns regelmäßig über neue Lehrveranstaltungen und Studien-/Diplomarbeiten informieren: | |||||||||||||||||||||||||