Die Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Verwaltung des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Mathematik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Universität Bremen
Zeige Systems Engineering-Format Pdf_icon Informatik-Format Pdf_icon Wirtschaftsinformatik-Format Pdf_icon Digitale Medien-Format Pdf_icon

Digitale Medien-Ansicht

Modulnummer
Modulbezeichnung
Safety Critical Systems
Titel (englisch)
Safety Critical Systems
Pflicht/Wahl
Pflicht
Erklärung
CP
6
Berechnung des Workloads
Turnus
i. d. R. angeboten alle 2 Jahre
Dauer
ein Semester
Form
2 SWS L, 2 SWS T
Prüfung
i.d.R. Bearbeitung von Übungsaufgaben und Fachgespräch oder mündliche Prüfung
Anforderungen
Technische Informatik 2
Lernziele
  • Über ein fundiertes Sicherheitsbewusstsein (“Safety Awareness”) für Computer-gestützte Steuerungssysteme verfügen

  • Einfache Sicherheitsmechanismen umfassend prüfen können

  • Einfache Sicherheitsmechanismen selbstständig entwerfen können

  • Über Spezialkenntnisse in Bezug auf Sicherheit in den Domänen Bahnsteuerung, Luftfahrt und Automobilbereich verfügen

  • Verständnis für Methoden des Sicherheitsnachweises erwerben. Kenntnis der einschlägigen Normen und Zertifizierungsanforderungen haben

  • Verständnis für die gesellschaftlichen und wirtschaftspolitischen Rahmenbedingungen, die zur Bildung von Regeln, Normen und Gesetzen für den Einsatz sicherheits-relevanter Systeme führen

Lerninhalte
  1. Der Begriff der Zuverlässigkeit (Dependability)

  2. Standards und Vorgehensmodelle für sicherheits-relevante Systeme

  3. Modellierung sicherheits-relevanter Systeme

  4. Hazard-Analyse und Risiko-Abschätzung

  5. Entwurfskriterien für sicherheits-relevanter Systeme

  6. Validation, Verifikation und Test sicherheits-relevanter Systeme

  7. Entwicklung von Sicherheitsnachweisen (“Safety Cases”)

  8. Spezialthemen aus den Gebieten

    • Zertifizierung von Avionik-Systemen
    • Modellprüfung von Bahnsteuerungen
    • Spezifikationsformalismen für sicherheits-relevante Systeme
Quellen
  • J. C. Laprie (ed.): Dependability: Basic Concepts and Terminology. Springer 1992.

  • Nancy G. Leveson: SAFEWARE: SYSTEM SAFETY AND COMPUTERS. Addison-Wesley ISBN: 0-201-11972-2.

  • Nancy G. Leveson: A Systems-Theoretic Approach to Safety in Software-Intensive Systems.. IEEE Trans. on Dependable and Secure Computing, January 2005.

  • N. Storey: Safety-Critical Computer Systems. Addison Wesley Longman 1996.

  • M. R. Lyu: Software Reliability Engineering. McGraw-Hill 1995.

  • Jens Braband: Risikoanalysen in der Eisenbahn-Automatisierung. Edition Signal+Draht, EurailPress, Hamburg, 2005.

Sprache
Deutsch/Englisch
Bemerkung
Zuletzt geändert
2017-11-24 13:22:56 UTC
Zurück

Zeige Systems Engineering-Format Pdf_icon Informatik-Format Pdf_icon Wirtschaftsinformatik-Format Pdf_icon Digitale Medien-Format Pdf_icon