defines, of a category devoted to availability (“Available System Patterns”), albeit
at the whole-system level. The availability patterns defined (Checkpointed
System, Standby, Comparator-Checked Fault-Tolerant System, Replicated
System, Error Detection/Correction) are standard mechanisms that will directly