Model health

Orphaned nodes (3)

Nodes with no edges. They are invisible to coverage and traceability.

• loss-1 — Loss of life
• haz-1 — Uncontrolled fire in protected compartment
• sc-1 — Suppressant must reach every protected compartment

Isolated groups (0)

Disconnected components of two or more nodes, cut off from the main body.

None — one connected component.

Dangling links (0)

Edges naming an endpoint that is not a node in the graph.

None.

Uncovered requirements (1)

Requirements no Satisfy, Refine, Verify or Allocate edge covers.

• sc-1 — Suppressant must reach every protected compartment