HBS Failure Annotations

The next step is to capture in HiP-HOPS the failure behaviour of the HBS architecture, describing how each of its components can fail and also how system hazards are caused by component output deviations; this is done through the use of logical failure annotations .

To better demonstrate how this process should be conducted by the safety engineer, some of the annotations derived for the HBS are introduced in the next sections, starting by the hazards formulations.