Main Index - Safety-Critical Systems Development

Chris Johnson, University of Glasgow

| Introduction | Exams | Booklist | Assessments | Useful links |

• Before you begin...
  
  
• Topic 1: Terminology and Ethics.
  Lecture 1: Definitions of safety and the Ariane 5 case study
  Lecture 2: Ethics, the Marketplace and the LAS case study
  
  
• Topic 2: Standards, Safety Culture and Management.
  Lecture 3: Standards, Conformance and IEC61508
  Lecture 4: Organisational failure and MORT.
  
  
• Topic 3: Requirements Analysis.
  Lecture 5: Requirements and safety cases.
  Lecture 6: Hazard analysis and FMECA.
  
  
• Topic 4: Risk Analysis.
  Lecture 7: Probabilistic risk assessment and Human Reliability.
  Lecture 8: Fault Trees, Software Fault Trees and Software PRA .
  
  
• Topic 5: Software Engineering
  Lecture 9: Software Requirements.
  Lecture 10: Software Development and DO-178B.
  Lecture 11: Degraded Modes in Safety Related Software.
  
  
• Topic 6: Hardware Design
  Lecture 12: Fault Tolerant Architectures and the Shuttle GPCs
  Lecture 13: Microprocessors, PLCs and electromagnetic compatability.
  
  
• Topic 7: Static and Dynamic Testing
  Lecture 14: Validation and Verification.
  Lecture 15: Static and Dynamic Testing.
  
  
• Topic 8: Human Factors.
  Lecture 16: Individual Human Error and Fatigue
  Lecture 17: Workload, Situation Awareness and CRM (tbc).
  
  
• Topic 9: Accident and Incident Analysis.
  Lecture 18: Incident Reporting and Analysis (tbc)
  Lecture 19: Accident Investigation and Reporting (tbc)