Model health

Orphaned nodes (0)

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

None.

Isolated groups (2)

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

Group 1 (7 nodes)

• beni — Beni Floor Robot
• camera-module — Camera Module
• chassis — All-Terrain Chassis
• collector — Cup Collector
• cup-detector — Cup Detector
• drive-motors — Drive Motors
• req-privacy — Camera Privacy

Group 2 (2 nodes)

• dock — Charging Dock
• req-return — Return to Dock

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.

• req-noise — Service Undisturbed