Software in sicherheitsrelevanten Systemen
Vorlesung: 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):
| Donnerstag 08:00 - 09:30 |
|---|
| |
| Do, 07.05.08 |
|
| Do, 14.05.09 |
|
| Do, 28.05.09 |
|
|
|
|
Blockveranstaltung Exkursionswoche
|
|
|
|
02. - 05.06.2009
|
| Do, 11.06.09 |
|
| Do, 25.06.09 |
|
| Do, 02.07.09 |
|
| Do, 09.07.09 |
|
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: