Hide menu

Safety-Critical RTS, PhD Course: Examination

The examination consists of analysis of a real computer based system failure and relating the post mortem (accident) report to the material discussed in the lectures/literature.

(1) The participants are required to write a term paper (~10-15 pages) and to make a short presentation for other course members. The term paper should illustrate familiarity with the course literature and other relevant literature.

This part of the examination will provide 4 credit points.

(2) There will be a possibility to do a laboratory exercise for each participant, using the safety analysis and documentation tools offered in the course (either based on the above studied case or on a separate example). A short summary of the study of the two tools' capabilities (~2 pages) is expected as a documentation of this activity.

This part of the examination will provide 1 credit point.

Deadline: 5th January 2005 (Revised to 9th January :-)

Final presentation session: Monday 10th January 2005, 13-16, Room: Donald Knuth.

Page responsible: Simin Ndjm
Last updated: 2004-11-11