Defenses

This case study examines ways to defend against three types of hazards:

• Hardware faults
• Mode violation (inconsistent with the primary scenario)
• Inadequate response to the alarms.

Updated on 18 Jun 2016.