State machine has default state#

State machine default checked

Description#

In the SCADE model, each state machine shall use the ‘default’ for one state to catch any abnormal value.

This ensures a defensive design to catch any abnormal value of enumerated data produced by the environment or by an imported operator.

This rule iterates over state machine definitions and checks that at least one element bears pragma text default.

Modify the offending state machine to add a default state.

N/A.