Theory of safety-related 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.  

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

Course number: FB16-4302 

Place and time:
Fridays, 10:00 a.m. - 12:00 p.m., Room: 1114 (Interested students please email to the secretary's office

Start: 28.10.2016

Lecturer:

Practice supervisor:

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 the secretariat