For the sake of the analysis, we assume that the design includes a means which enable the machine to decide if the ship sails, raised for maintenance, etc.
To enable identification of scenario-
situation mismatch, the
states should be defined explicitly, and the
Situation analyzer should generate
alarms in cases of mismatch.
The inter-relations, and the relations with the
modes, are described
here ...
Updated on 18 May 2016.