Modul 39-Inf-SYS1 System-Safety und -Security I: Why-Because Analysis

Achtung: Auf dieser Seite wird ein eingestelltes Modulangebot angezeigt.

Fakultät

Modulverantwortliche*r

Turnus (Beginn)

Wird nicht mehr angeboten

Leistungspunkte und Dauer

5 Leistungspunkte

Die Angaben zur Moduldauer finden Sie bei den Studiengängen, in denen das Modul verwendet wird.

Kompetenzen

Verständnis der Grundlagen der Kritischen-Fehler-Analyse komplexer heterogener Systeme und die Fähigkeit mit Hilfe der Tools solche Analysen erfolgreich durchzuführen.

Lehrinhalte

Grundlegende Begrifflichkeit und Ontologie zur Beschriebung der Safety-Eigenschaften komplexer heterogener Systeme; Kausalität und ihre formale Semantik. Why-Because-Analyse (WBA) zu Fehlern, Versagen und System-Angriffen. Die Anwendung von WBA zu den Beispielen im Workbook durch die praktische Anwendung der Tools zur Analyse (z.B., VWBT, YBT2, IQualizeIT, CE4WBA).

Literatur:

  • Ladkin, Causal Analysis of Systems;
  • Ladkin et al., The WBA Workbook

Empfohlene Vorkenntnisse

39-Inf-6 - Grundlagen Theoretischer Informatik

39-Inf-1 - Algorithmen und Datenstrukturen oder alternativ
39-Inf-3 - Entwicklung und Gestaltung Internet-basierter Anwendungen

Notwendige Voraussetzungen

—

Erläuterung zu den Modulelementen

Die Modul(teil)prüfung kann in einigen Studiengängen nach Wahl der Studierenden auch "unbenotet" erbracht werden. Vor Erbringung ist eine entsprechende Festlegung vorzunehmen, eine nachträgliche Änderung (benotet - unbenotet) ist ausgeschlossen. Wird diese Option gewählt, ist es nicht möglich, dieses Modul zu verwenden, um es in einen Studiengang einzubringen, in dem dieses Modul bei der Gesamtnotenberechnung berücksichtigt wird.

Modulstruktur: 0-1 bPr, 0-1 uPr 1

Veranstaltungen

Begleitlabor: System Safety and Security I: Why-Because Analysis
Art Übung mit Praktikum
Turnus WiSe
Workload5 30 h (10 + 20)
LP 1
RVS-Labor I
Art Angeleitetes Selbststudium
Turnus WiSe
Workload5 60 h (10 + 50)
LP 2

Die ausgegebenen Laborübungen (s. Modulprüfung) werden mit Hilfestellung bearbeitet.

System Safety and Security I: Why-Because Analysis
Art Vorlesung
Turnus WiSe
Workload5 60 h (30 + 30)
LP 2

Prüfungen

Bericht
Zuordnung Prüfende Modulverantwortliche*r prüft oder bestimmt Prüfer*in
Gewichtung unbenotet
Workload -
LP2 -

In einigen Studiengängen der Technischen Fakultät kann die Modulprüfung nach Wahl der Studierenden auch "unbenotet" erbracht werden (s. Erläuterungen zu den Modulelementen und die jeweilige FsB). Wird die unbenotete Option gewählt, ist es nicht möglich, dieses Modul zu verwenden, um es in einen Studiengang einzubringen, in dem dieses Modul bei der Gesamtnotenberechnung berücksichtigt wird.
Erläuterungen zu dieser Prüfung siehe unten (benotete Prüfungsvariante).

Bericht
Zuordnung Prüfende Modulverantwortliche*r prüft oder bestimmt Prüfer*in
Gewichtung 1
Workload -
LP2 -

Bericht im Umfang von 25 - 30 Seiten über die Bearbeitung der praktischen Übungsaufgaben, die begleitend zum Begleitlabor ausgegeben werden.
Der Modulbeauftragte legt fest, wer die Modulprüfung abnimmt.

Weitere Hinweise

Bei diesem Modul handelt es sich um ein eingestelltes Angebot. Ein entsprechendes Angebot, um dieses Modul abzuschließen, wurde bis zum Wintersemester 2015/16 vorgehalten.
Bisheriger Angebotsturnus war jedes Wintersemester.

In diesen Studiengängen wird das Modul verwendet:

Studiengang Variante Empf. Beginn 3 Dauer Bindung 4
Bioinformatik und Genomforschung / Bachelor of Science [FsB vom 31.08.2012 mit Berichtigung vom 04.11.2013 und Änderungen vom 15.04.2013, 01.04.2014, 15.10.2014, 02.03.2015 und 01.12.2015] 1-Fach (fw) 5. ein Semes­ter Wahl­pflicht
Bioinformatik und Genomforschung / Master of Science [FsB vom 17.12.2012 mit Änderungen vom 15.04.2013, 15.10.2014, 02.03.2015, 17.08.2015 und Berichtigungen vom 17.11.2014 und 01.12.2015] 1. ein Semes­ter Wahl­pflicht
Informatik / Bachelor [FsB vom 31.08.2012 mit Berichtigung vom 04.11.2013 und Änderungen vom 15.04.2013, 01.04.2014, 15.10.2014, 02.03.2015 und 01.12.2015] Nebenfach (fw) 5. ein Semes­ter Wahl­pflicht
Intelligente Systeme / Master of Science [FsB vom 17.12.2012 mit Änderungen vom 15.04.2013, 01.04.2014, 15.10.2014, 02.03.2015 und Berichtigung vom 17.11.2014] 1. ein Semes­ter Wahl­pflicht
Kognitive Informatik / Bachelor of Science [FsB vom 31.08.2012 mit Änderungen vom 15.04.2013, 01.04.2014, 15.10.2014, 02.03.2015, 17.08.2015 und Berichtigung vom 01.12.2015] 1-Fach (fw) 5. ein Semes­ter Wahl­pflicht
Medieninformatik und Gestaltung / Bachelor of Arts | Bachelor of Science [FsB vom 31.08.2012 mit Änderungen vom 15.04.2013, 01.04.2014, 15.10.2014, 02.03.2015 und 01.12.2015] 1-Fach (fw) 3. o. 5. ein Semes­ter Wahl­pflicht
Naturwissenschaftliche Informatik / Master of Science [FsB vom 17.12.2012 mit Änderungen vom 15.04.2013, 01.04.2014, 15.10.2014, 02.03.2015, 01.12.2015 und Berichtigungen vom 01.04.2014, 17.11.2014 und 12.07.2017] 1. ein Semes­ter Wahl­pflicht

Automatische Vollständigkeitsprüfung

In diesem Modul kann eine automatische Vollständigkeitsprüfung vom System durchgeführt werden.

Legende

1
Die Modulstruktur beschreibt die zur Erbringung des Moduls notwendigen Prüfungen und Studienleistungen.
2
LP ist die Abkürzung für Leistungspunkte.
3
Die Zahlen in dieser Spalte sind die Fachsemester, in denen der Beginn des Moduls empfohlen wird. Je nach individueller Studienplanung sind gänzlich andere Studienverläufe möglich und sinnvoll.
4
Erläuterungen zur Bindung: "Pflicht" bedeutet: Dieses Modul muss im Laufe des Studiums verpflichtend absolviert werden; "Wahlpflicht" bedeutet: Dieses Modul gehört einer Anzahl von Modulen an, aus denen unter bestimmten Bedingungen ausgewählt werden kann. Genaueres regeln die "Fächerspezifischen Bestimmungen" (siehe Navigation).
5
Workload (Kontaktzeit + Selbststudium)
SL
Studienleistung
Pr
Prüfung
bPr
Anzahl benotete Modul(teil)prüfungen
uPr
Anzahl unbenotete Modul(teil)prüfungen
Diese Leistung kann gemeldet und verbucht werden.

Seitenleiste

Modulelemente

Veranstaltungen

Prüfungen

Lehrangebot im eKVV

Lehrangebot im eKVV

Modullisten zeigen

Bioinformatik und Genomforschung / Bachelor of Science: 1-Fach (fw) [FsB vom 31.08.2012 mit Berichtigung vom 04.11.2013 und Änderungen vom 15.04.2013, 01.04.2014, 15.10.2014, 02.03.2015 und 01.12.2015]

Bioinformatik und Genomforschung / Master of Science [FsB vom 17.12.2012 mit Änderungen vom 15.04.2013, 15.10.2014, 02.03.2015, 17.08.2015 und Berichtigungen vom 17.11.2014 und 01.12.2015]

Informatik / Bachelor: Nebenfach (fw) [FsB vom 31.08.2012 mit Berichtigung vom 04.11.2013 und Änderungen vom 15.04.2013, 01.04.2014, 15.10.2014, 02.03.2015 und 01.12.2015]

Intelligente Systeme / Master of Science [FsB vom 17.12.2012 mit Änderungen vom 15.04.2013, 01.04.2014, 15.10.2014, 02.03.2015 und Berichtigung vom 17.11.2014]

Kognitive Informatik / Bachelor of Science: 1-Fach (fw) [FsB vom 31.08.2012 mit Änderungen vom 15.04.2013, 01.04.2014, 15.10.2014, 02.03.2015, 17.08.2015 und Berichtigung vom 01.12.2015]

Medieninformatik und Gestaltung / Bachelor of Arts | Bachelor of Science: 1-Fach (fw) [FsB vom 31.08.2012 mit Änderungen vom 15.04.2013, 01.04.2014, 15.10.2014, 02.03.2015 und 01.12.2015]

Naturwissenschaftliche Informatik / Master of Science [FsB vom 17.12.2012 mit Änderungen vom 15.04.2013, 01.04.2014, 15.10.2014, 02.03.2015, 01.12.2015 und Berichtigungen vom 01.04.2014, 17.11.2014 und 12.07.2017]