Theorie sicherheitsgerichteter Rechnersysteme

Lernziele:
Modellierung von Rechnersystemen. Theoretische Aufbereitung der Wertungsmöglichkeiten von sicherheitsgerichteten Rechnersystemen. Modellierungsmöglichkeiten mit unterschiedlichen Ansätzen. Analyse und Bewertung der unterschiedlichen Modelle zur Bewertung von Rechnerarchitekturprinzipien. Analyse und Wertung unterschiedlicher Ausfallmodelle. Mathematischer Nachweis der Sicherheit und Verfügbarkeit.  

Vorkenntnisse:
Mathematik I, Mathematik II, Mathematik III, Digitaltechnik I, Rechnerarchitektur I+II

Veranstaltungsnummer: FB16-4302 

Ort und Zeit:
Freitags, 10:00 Uhr - 12:00 Uhr, Raum: 1114 (Interessierte bitte Email an das Sekretariatschicken)

Beginn: 28.10.2016

Dozent:

Übungsbetreuer:

Sprechstunde:
nach Vereinbarung

Umfang:
4 SWS bzw. 6 CP

Klausur:
wird bekannt gegeben

Ort und Zeit:
Mittwochs, 12:00 Uhr - 13:30 Uhr, Raum: 2104

Beginn:
Der Termin wird in der ersten Vorlesung bekannt gegeben.

Kontakt:
Email an das Sekretariat