Main Index - Safety-Critical Systems Development

Chris Johnson, University of Glasgow

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

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