Rules about normal states and procedures

The rules about normal behavior define the scope of normal situations. It enable to check in run time whether the active state or procedure is in the design scope .

Normal scenarios

Normal scenarios may be standard or optional.

The matrix of Normal state Availability

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.

Example

The rules about the availability of a backup sub-system states may be represented in a matrix as follows:

	Routine operation	Maintenance	...
Backup system Enabled	+	+
Backup system Disabled	-	+
...

The matrix of Normal Procedure Availability

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.