Theory of safety-oriented computer systems

Learning objectives:
Modeling of computer systems. Theoretical preparation of the evaluation possibilities of safety-oriented computer systems. Modeling possibilities with different approaches. Analysis and evaluation of different models for the evaluation of computer architecture principles. Analysis and evaluation of different failure models. Mathematical proof of security and availability.

Prior knowledge:
Mathematics I, Mathematics II, Mathematics III, Digital Technology I, Computer Architecture I+II

Course number: FB16-4302

Time and place:
Fridays, 10:00 a.m. - 12:00 p.m., Room: 1114

Start: 23.10.2015

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

Exercise supervisor:
Dr. Ossmane Krini

Consultation hours:
by arrangement

Scope:
4 SWS or 6 CP

Written exam:
to be announced

Time and place:
Wednesdays, 12:00 - 13:30, Room: 2104

Start:
The date will be announced in the first lecture.

Contact:
Email to Dr.-Ing. Ossmane Krini