Theory of safety-related computer systems

Learning Objectives:
Modeling of computer systems. Theoretical preparation of the evaluation possibilities of safety-related 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.  

Prerequisites:
Mathematics I, Mathematics II, Mathematics III, Digital Technology I, Computer Architecture I+II.

Event Number: FB16-4302 

Location and time:
Fridays, 10:00 am - 12:00 pm, Room: 1114

Start: 23.10.2015

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

Tutor:
Dr. -Ing. Ossmane Krini

Office hours:
by appointment

Scope:
4 SWS or 6 CP

Written exam:
will be announced

Place and time:
Wednesdays, 12:00 p.m. - 1:30 p.m., Room: 2104

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

Contact:
Email to Dr.-Ing. Ossmane Krini