Enumeration has default case

Enum default checked

Description

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

Rationale

This ensures a defensive design by building abnormal values into every enumeration, promoting correct abnormal value management by all model entities using the enumeration.

Verification

This rule iterates over enumeration definitions and checks that at least one element bears pragma text ‘default’.

Resolution

Modify the offending enumeration to add a default definition, either with one of the “normal” values (such as Hold), or a specifically added value (such as Abnormal).

Customization

N/A.