Hide menu

Safety-Critical RTS, PhD Course: Plan & lecture slides

The course is given in intensive form during the following periods:

Lecture/Seminar plan:

Thursday September 30, 2004
10-12 Lecture 1: Introduction to dependability and safety-critical systems
13-15 Lecture 2: Safety assurance processes and techniques
15-17 Group discussion: Vignette 1: Risks and their social context
Friday October 1, 2004
10-12 Lecture 3: Formal analysis of safety-related properties
13-15 Lecture 4: Formal analysis of fault tolerance
15-16 Lecture 5: Standards related to safety-critical computer systems
Tuesday November 9th, 2004
ENCRESS meeting with seminars at "Banverket" Stockholm
Wednesday November 10th, 2004
10-12 Lecture 6: Architectural principles for safety-critical systems
13-15 Invited lecture: Lars Holmlund, Saab Aerospace, Development of safety critical systems
15-17 Lecture 7: Component-based development of safety-critical systems
Thursday November 11th, 2004
9-10 Group discussion: Vignette 2: Requirements specifications (functional and extra functional)
10-12 Invited lecture: Håkan Forsberg, Saab Tech, Certification issues in avionics
13-15 Invited lecture: Vincent Gauthereau, Liège University, Safety-critical systems in the hand of human operators
15-16 Group discussion: Vignette 3: A real accident report

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