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:
Freitags, 12:00 Uhr - 14:00 Uhr, Raum: 2104(Interessierte bitte Email an das Sekretariatschicken)

Beginn:

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.

Anmeldung:
nähere Angaben zur Teilnahme an der Veranstaltung entnehmen Sie bitte der Homepage oder dem Lehrveranstaltungsverzeichnis der Uni Kassel

Kontakt:
Email an das Sekretariat