9. Safety Architectural Patterns - Research - Mälardalens högskola

7.1. Safety Requirements ............................................................................................................. 327.2. Safety Properties ................................................................................................................... 337.3. Safety Components ............................................................................................................... 337.4. Software Architecture ........................................................................................................... 367.5. Is it Important? ...................................................................................................................... 367.6. Safety Software Architecture ................................................................................................ 367.7. Architectural Patterns ........................................................................................................... 378. Safety Patterns .............................................................................................................................. 388.1. Formal Specification Patterns ............................................................................................... 388.2. Safety Tactics ......................................................................................................................... 408.2.1. Safety Tactics and Patterns ........................................................................................... 418.2.2. Tactics Identification and Selection ............................................................................... 429. Safety Architectural Patterns ........................................................................................................ 449.1. Automatic Failure Detection ................................................................................................. 449.2. Managing Component Interactions ...................................................................................... 459.3. Failure Isolation ..................................................................................................................... 469.4. Automatic Failure Recovery .................................................................................................. 469.5. Reconfiguration ..................................................................................................................... 479.6. Testability .............................................................................................................................. 4810. Safety Architecture Transformational Patterns ........................................................................ 4910.1. Protected Single Channel .................................................................................................. 4910.2. Recovery Block .................................................................................................................. 5010.3. Process Fusion ................................................................................................................... 5110.4. Hardware Platform Substitution ....................................................................................... 5110.5. Hardware Platform Reassignment .................................................................................... 5210.6. Integrity Check ................................................................................................................... 5211. General Safety and Reliability Patterns ..................................................................................... 5411.1. Homogenous Redundancy Pattern ................................................................................... 5411.2. Diverse Redundancy Pattern ............................................................................................. 5511.3. Monitor-Actuator Pattern ................................................................................................. 5611.4. Sanity-Check Pattern ......................................................................................................... 5711.5. Watchdog Pattern ............................................................................................................. 5711.6. Safety Executive Pattern .................................................................................................... 5812. Safety Formulation Suggestion ................................................................................................. 604