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 Department of Computer and Information Science |