This page gives access to the notes for the course.  All other information is available from the Critical Systems Engineering home page.
 

You can download the notes (Adobe PDF format, you need the Acrobat Reader) for each lecture from the following links:

• Introduction to Critical Systems (Week 1)
• Insulin pump -concept of operation
• Dependability attributes of critical systems (Week 2)
• Extra lecture notes (text)
• Case study - The Internet Worm
• Critical Systems Specification (Weeks 3 and 4)
• The safety life cycle (too big for notes pages)
• Insulin pump - operational specification
• Insulin pump - dependability specification
• Critical Systems Development (Weeks 5 and 6)
• Case study - Airbus 330/340 Flight control system
• Case study - Survivable Distributed Systems
• Critical Systems Validation (Weeks 7 and 8)
• Insulin pump - safety validation
• Case study - Ariane 5 rocket control system failure
• Human and Organisational Factors in Critical Systems
• Additional notes and links on Human-Factors
• Case study of the London Ambulance System
• Ethical and Professional Issues
• Case study - Airbus 320 crash (video with no associated lecture notes)