Main Index - Safety-Critical Systems Development

Chris Johnson, University of Glasgow

| Introduction | Exams | Booklist | Assessments | Useful links | Part 1 notes (pdf) | Part 2 notes (pdf)

• 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 1: Standards, Conformance and IEC61508
  Lecture 2: Organisational failure and MORT.
  
  
• Topic 3: Requirements Analysis.
  Lecture 1: Requirements, safety cases and SMART.
  Lecture 2: Hazard analysis and FMECA.
  
  
• Topic 4: Risk Analysis.
  Lecture 1: Probabilistic risk assessment, THERP and CREAM.
  Lecture 2: Fault Trees, Software Fault Trees and Software PRA .
  
  
• Topic 5: Software Engineering
  Lecture 1: Software Requirements and MIL-HDBK-338B.
  Lecture 2: Software Development and DO-178B.
  
  
• Topic 6: Hardware Design
  Lecture 1: Fault Tolerant Architectures and the Shuttle GPCs
  Lecture 2: Microprocessors, PLCs and electromagnetic compatability.
  
  
• Topic 7: Static and Dynamic Testing
  Lecture 1: Validation, Verification and DEF STAN 00-60.
  Lecture 2: Testing, Formal Reasoning and Mode Confusion .
  
  
• Topic 8: Human Factors.
  Lecture 1: Slips, Lapses and Mistakes, GEMs and Risk Homeostasis
  Lecture 2: Workload, Situation Awareness and CRM.
  
  
• Topic 9: Accident and Incident Analysis.
  Lecture 1: Incident Reporting and Analysis, Eindhoven Classification Model
  Lecture 2: Accident Investigation and Reporting.