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

Beginn: 23.10.2015

Dozent:
Prof. Dr.-Ing. habil. Josef Börcsök

Übungsbetreuer:
Dr. -Ing. Ossmane Krini

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 Dr.-Ing. Ossmane Krini