Studieninformation
Hintergrundbild
Hintergrundbild
Hintergrundbild
Druckversion  Sprachumschaltung
 

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

Titel Art Turnus Workload (Kontaktzeit + Selbststudium) LP2
Begleitlabor: System Safety and Security I: Why-Because Analysis Übung mit Praktikum WiSe 30h (10 + 20) 1
RVS-Labor I

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

Angeleitetes Selbststudium WiSe 60h (10 + 50) 2
System Safety and Security I: Why-Because Analysis Vorlesung WiSe 60h (30 + 30) 2

Prüfungen

Organisatorische Zuordnung Art Gewichtung Workload LP2
Veranstaltungsübergreifend

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 unbenotet - -
Diese Leistung kann gemeldet und verbucht werden.
Veranstaltungsübergreifend

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.

Bericht 1 - -
Diese Leistung kann gemeldet und verbucht werden.

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 Ä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 rechtes Menü).
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.
Diese Leistung kann gemeldet und verbucht werden.