Theorie sicherheitsgerichteter Rechnersysteme (Sprache - Englisch)

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-5476 

Ort und Zeit:
Dienstags, 14:00 Uhr - 16:00 Uhr, Raum: -1319(Interessierte bitte Email an das Sekretariatschicken)

Beginn:

Dozent:

Übungsbetreuer:

Sprechstunde:
nach Vereinbarung

Umfang:
4 SWS bzw. 6 CP

Klausur:
wird bekannt gegeben