Theorie sicherheitsgerichteter Rechnersysteme
Vorlesung
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
Übung
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