The rules about exceptional behavior define the scope of exceptional situations. It enables to check in run time whether the active state or procedure is in the design scope, in order to alert the operators about the exceptional state.
The rules defining exceptional states depend on the operational scenarios: different rules apply to different scenarios, and the active scenario determines the active rules.
Exceptional scenarios may be standard or optional.
This matrix has the scenarios on one axis, and the states on the other axis. An (Scenario, state) entry to this matrix define the availability of the State to the Scenario.
This matrix has the scenarios on one axis, and the Procedure on the other axis. An (Scenario, Procedure ) entry to this matrix define the availability of the Procedure to the Scenario.
Updated on 29 May 2016.