Equation in equation set or diagram#

Equation or branch belong to at least one equation set

Description#

An equation or a branch shall belong to at least one equation set except following uses cases:

The element is text: textual diagram, transition’s action, textual state, etc.
The element is in a state without diagram (Embedded state)
The element’s diagram has no equation sets

Rationale#

This ensures the completeness of the traceability matrices once the Contributing Elements (CE) are exported through SCADE ALM Gateway. Indeed, the equations or branches are not CE and thus, must belong to an equation set.

The states are CE and the ones without diagram are considered as small enough to not require their content to be part of an additional equation set. This is a tradeoff and does not prevent the creation of equation sets within the state when it makes sense.

The diagrams without equation sets are considered as CE. This is suitable for small diagrams, to be assessed during the review of the traceability, and simplifies the editing activities.

Verification#

The rule registers to the equations and branches, and raises a violation when none of the following condition is satisfied.

The element is not part of an equation set
The element’s scope is a state without diagram
The element is in a diagram without equation set

Message: the <kind> <scade path> shall belong to at least one equation set

where <kind> is either equation or branch.

Resolution#

Add the elements to an equation set.

Customization#

N/A.