Chris Johnson, Index

---

Software Design and Hazard Reduction

• Design for control:
  - incremental control;
  - intermediate states;
  - decision aids;
  - monitoring.
  
  
  
• Add barriers:
  - hard/software locks;
  
  
• Minimise single point failures:
  - increase safety margins;
  - exploit redundancy;
  - allow for recovery.
  
  
  

---