The operational states

  The details of the design of the actual steering management are not available. However, for the case study, we assume that the design had two state sets, which should be interrelated:

• A mechanical device used to connect or disconnect the rudder to/from the wheel.
• An electrical circuit used to change between automatic and manual navigation

  The inter-relations, and the relations with the modes, are described here ...

  To enable identification of scenario- situation mismatch, the states should be defined explicitly, and the Situation analyzer should generate alarms in cases of mismatch.

Updated on 18 May 2016.