Anforderungs-Test-Matrix (RTM)
Jede Anforderung mit dem Test, der sie widerlegen würde — und den Lücken.
Aus dem Modell generiert — Snapshot vom 22.08.2026, graphcode 0.17.0. Modellsprache ist Englisch.
GENERATED from
docs/graph/graphcodedemo.graph.json(SSOT). 64 REQ rows, nach Ebene gruppiert, innerhalb sortiert nach uid. Deterministisch generiert.
System (SYS.2) — 32 REQ
| REQ | verify (TEST) | satisfy (FUNC) | allocate (MOD) |
|---|---|---|---|
REQ-mit-alarm-prioritization | TEST-risk-alarm-missed | — | — |
REQ-mit-anti-trap-selftest | TEST-risk-obstacle-detection-selftest | — | — |
REQ-mit-decision-references-alarm | TEST-risk-resume-with-active-alarm | FUNC-compute-speed-profile | MOD-cabin-controller |
REQ-mit-door-state-single-source | TEST-risk-door-state-divergence | FUNC-aggregate-fleet-state | MOD-fleet-control-system |
REQ-mit-dual-channel-locking | TEST-risk-door-unlock-in-motion | — | — |
REQ-mit-enumerated-state-values | TEST-risk-state-value-enumeration | SYS-people-mover | — |
REQ-mit-evacuation-overrides-door-command | TEST-risk-door-command-during-evacuation | FUNC-operate-cabin-door | MOD-door-controller |
REQ-mit-information-and-locking | TEST-risk-emergency-handle-and-information | — | — |
REQ-mit-isolation-proof-reference | TEST-risk-energization-state-divergence | FUNC-grant-evacuation-release | MOD-control-center-dashboard |
REQ-mit-lockout-survives-restart | TEST-risk-lockout-after-restart | — | — |
REQ-mit-operating-state-from-lockout | TEST-risk-lockout-state-divergence | FUNC-report-cabin-state | MOD-cabin-controller |
REQ-mit-readiness-freshness-check | TEST-risk-stale-readiness-picture | FUNC-check-service-readiness | MOD-fleet-control-system |
REQ-mit-separate-power-for-positioning | TEST-risk-positioning-power-loss | — | — |
REQ-mit-single-standstill-proof | TEST-risk-stale-standstill-proof | FUNC-synchronize-door-pair | MOD-platform-door-system |
REQ-mit-stopping-window-enforced | TEST-risk-door-release-outside-window | — | — |
REQ-mit-wayside-block-check | TEST-risk-rear-end-collision | — | — |
RISK-alarm-missed | TEST-risk-alarm-missed | — | — |
RISK-door-command-during-evacuation | TEST-risk-door-command-during-evacuation | — | — |
RISK-door-opens-in-motion | TEST-risk-door-unlock-in-motion | — | — |
RISK-door-state-diverges | TEST-risk-door-state-divergence | — | — |
RISK-energization-state-diverges | TEST-risk-energization-state-divergence | — | — |
RISK-locked-out-cabin-dispatched | TEST-risk-lockout-after-restart | — | — |
RISK-lockout-state-diverges | TEST-risk-lockout-state-divergence | — | — |
RISK-passenger-trapped | TEST-risk-obstacle-detection-selftest | — | — |
RISK-platform-gap | TEST-risk-door-release-outside-window | — | — |
RISK-position-lost | TEST-risk-positioning-power-loss | — | — |
RISK-rear-end-collision | TEST-risk-rear-end-collision | — | — |
RISK-resume-with-fault-active | TEST-risk-resume-with-active-alarm | — | — |
RISK-self-evacuation | TEST-risk-emergency-handle-and-information | — | — |
RISK-stale-readiness-dispatch | TEST-risk-stale-readiness-picture | — | — |
RISK-standstill-proof-stale | TEST-risk-stale-standstill-proof | — | — |
RISK-states-not-enumerated | TEST-risk-state-value-enumeration | — | — |
funktional (SWE.1) — 32 REQ
| REQ | verify (TEST) | satisfy (FUNC) | allocate (MOD) |
|---|---|---|---|
REQ-acknowledgement-attributable | TEST-acknowledgement-immutable | FUNC-record-acknowledgement | MOD-control-center-dashboard |
REQ-alarm-latency | TEST-alarm-latency | FUNC-detect-guideway-obstacle · FUNC-display-alarm | MOD-control-center-dashboard · MOD-wayside-sensors |
REQ-anti-trap-protection | TEST-anti-trap-reopen | FUNC-detect-obstruction | MOD-door-controller |
REQ-block-separation | TEST-block-separation-holds | FUNC-grant-block-clearance · FUNC-report-block-occupancy · FUNC-trigger-emergency-brake | MOD-cabin-controller · MOD-fleet-control-system · MOD-wayside-sensors |
REQ-destination-entry | TEST-destination-entry-steps | FUNC-capture-destination · FUNC-dispatch-trip-order | MOD-fleet-control-system · MOD-passenger-app |
REQ-doors-open-in-sync | TEST-doors-open-only-together | FUNC-operate-cabin-door · FUNC-operate-platform-door · FUNC-synchronize-door-pair | MOD-door-controller · MOD-platform-door-system |
REQ-dual-channel-positioning | TEST-single-channel-position-loss | FUNC-determine-position · FUNC-report-block-occupancy | MOD-cabin-controller · MOD-wayside-sensors |
REQ-lockout-effective | TEST-lockout-under-cabin-shortage | FUNC-lock-out-cabin | MOD-fleet-control-system |
REQ-no-self-evacuation | TEST-emergency-handle-without-release | FUNC-grant-evacuation-release · FUNC-operate-cabin-door | MOD-control-center-dashboard · MOD-door-controller |
REQ-passenger-information | TEST-announcement-interval | FUNC-announce-situation | MOD-passenger-app |
REQ-picture-complete | TEST-missing-report-shown-as-gap | FUNC-aggregate-fleet-state · FUNC-present-operational-picture | MOD-control-center-dashboard · MOD-fleet-control-system |
REQ-picture-freshness | TEST-picture-freshness | FUNC-aggregate-fleet-state · FUNC-present-operational-picture · FUNC-report-cabin-state | MOD-cabin-controller · MOD-control-center-dashboard · MOD-fleet-control-system |
REQ-post-cabin-assigned | TEST-scenario-trip-request | FUNC-dispatch-trip-order | MOD-fleet-control-system |
REQ-post-cabin-cleared | TEST-scenario-evacuation | FUNC-grant-evacuation-release | MOD-control-center-dashboard |
REQ-post-cabin-dispatchable | TEST-scenario-maintenance-window | FUNC-lock-out-cabin | MOD-fleet-control-system |
REQ-post-deviation-visible | TEST-scenario-operational-picture | FUNC-aggregate-fleet-state | MOD-fleet-control-system |
REQ-post-doors-locked | TEST-scenario-door-cycle | FUNC-prove-door-locking | MOD-door-controller |
REQ-post-inside-target-window | TEST-scenario-line-run | FUNC-compute-speed-profile | MOD-cabin-controller |
REQ-post-situation-decided | TEST-scenario-fault-handling | FUNC-record-acknowledgement | MOD-control-center-dashboard |
REQ-pre-cabin-at-standstill | TEST-scenario-door-cycle | FUNC-determine-position | MOD-cabin-controller |
REQ-pre-cabin-immobilized | TEST-scenario-evacuation | FUNC-grant-evacuation-release | MOD-control-center-dashboard |
REQ-pre-cabin-in-depot | TEST-scenario-maintenance-window | FUNC-prove-isolation | MOD-wayside-sensors |
REQ-pre-fault-classified | TEST-scenario-fault-handling | FUNC-display-alarm | MOD-control-center-dashboard |
REQ-pre-line-in-service | TEST-scenario-trip-request | FUNC-check-service-readiness | MOD-fleet-control-system |
REQ-pre-status-reports-running | TEST-scenario-operational-picture | FUNC-report-cabin-state | MOD-cabin-controller |
REQ-pre-valid-trip-order | TEST-scenario-line-run | FUNC-grant-block-clearance | MOD-fleet-control-system |
REQ-release-after-function-test | TEST-partial-result-blocks-release | FUNC-lock-out-cabin | MOD-fleet-control-system |
REQ-ride-comfort | TEST-ride-comfort-acceleration | FUNC-compute-speed-profile | MOD-cabin-controller |
REQ-safe-state-unattended | TEST-safe-state-without-control-center | FUNC-detect-guideway-obstacle · FUNC-trigger-emergency-brake | MOD-cabin-controller · MOD-wayside-sensors |
REQ-section-de-energized | TEST-release-requires-isolation-proof | FUNC-grant-evacuation-release · FUNC-prove-isolation | MOD-control-center-dashboard · MOD-wayside-sensors |
REQ-stopping-accuracy | TEST-stopping-accuracy | FUNC-determine-position · FUNC-synchronize-door-pair | MOD-cabin-controller · MOD-platform-door-system |
REQ-waiting-time-promise | TEST-waiting-time-promise | FUNC-dispatch-trip-order · FUNC-show-waiting-time | MOD-fleet-control-system · MOD-passenger-app |
Komponente (SWE.2/3) — 39 REQ
| REQ | verify (TEST) | satisfy (FUNC) | allocate (MOD) |
|---|---|---|---|
REQ-acknowledgement-attributable | TEST-acknowledgement-immutable | FUNC-record-acknowledgement | MOD-control-center-dashboard |
REQ-alarm-latency | TEST-alarm-latency | FUNC-detect-guideway-obstacle · FUNC-display-alarm | MOD-control-center-dashboard · MOD-wayside-sensors |
REQ-anti-trap-protection | TEST-anti-trap-reopen | FUNC-detect-obstruction | MOD-door-controller |
REQ-block-separation | TEST-block-separation-holds | FUNC-grant-block-clearance · FUNC-report-block-occupancy · FUNC-trigger-emergency-brake | MOD-cabin-controller · MOD-fleet-control-system · MOD-wayside-sensors |
REQ-destination-entry | TEST-destination-entry-steps | FUNC-capture-destination · FUNC-dispatch-trip-order | MOD-fleet-control-system · MOD-passenger-app |
REQ-doors-open-in-sync | TEST-doors-open-only-together | FUNC-operate-cabin-door · FUNC-operate-platform-door · FUNC-synchronize-door-pair | MOD-door-controller · MOD-platform-door-system |
REQ-dual-channel-positioning | TEST-single-channel-position-loss | FUNC-determine-position · FUNC-report-block-occupancy | MOD-cabin-controller · MOD-wayside-sensors |
REQ-lockout-effective | TEST-lockout-under-cabin-shortage | FUNC-lock-out-cabin | MOD-fleet-control-system |
REQ-mit-decision-references-alarm | TEST-risk-resume-with-active-alarm | FUNC-compute-speed-profile | MOD-cabin-controller |
REQ-mit-door-state-single-source | TEST-risk-door-state-divergence | FUNC-aggregate-fleet-state | MOD-fleet-control-system |
REQ-mit-evacuation-overrides-door-command | TEST-risk-door-command-during-evacuation | FUNC-operate-cabin-door | MOD-door-controller |
REQ-mit-isolation-proof-reference | TEST-risk-energization-state-divergence | FUNC-grant-evacuation-release | MOD-control-center-dashboard |
REQ-mit-operating-state-from-lockout | TEST-risk-lockout-state-divergence | FUNC-report-cabin-state | MOD-cabin-controller |
REQ-mit-readiness-freshness-check | TEST-risk-stale-readiness-picture | FUNC-check-service-readiness | MOD-fleet-control-system |
REQ-mit-single-standstill-proof | TEST-risk-stale-standstill-proof | FUNC-synchronize-door-pair | MOD-platform-door-system |
REQ-no-self-evacuation | TEST-emergency-handle-without-release | FUNC-grant-evacuation-release · FUNC-operate-cabin-door | MOD-control-center-dashboard · MOD-door-controller |
REQ-passenger-information | TEST-announcement-interval | FUNC-announce-situation | MOD-passenger-app |
REQ-picture-complete | TEST-missing-report-shown-as-gap | FUNC-aggregate-fleet-state · FUNC-present-operational-picture | MOD-control-center-dashboard · MOD-fleet-control-system |
REQ-picture-freshness | TEST-picture-freshness | FUNC-aggregate-fleet-state · FUNC-present-operational-picture · FUNC-report-cabin-state | MOD-cabin-controller · MOD-control-center-dashboard · MOD-fleet-control-system |
REQ-post-cabin-assigned | TEST-scenario-trip-request | FUNC-dispatch-trip-order | MOD-fleet-control-system |
REQ-post-cabin-cleared | TEST-scenario-evacuation | FUNC-grant-evacuation-release | MOD-control-center-dashboard |
REQ-post-cabin-dispatchable | TEST-scenario-maintenance-window | FUNC-lock-out-cabin | MOD-fleet-control-system |
REQ-post-deviation-visible | TEST-scenario-operational-picture | FUNC-aggregate-fleet-state | MOD-fleet-control-system |
REQ-post-doors-locked | TEST-scenario-door-cycle | FUNC-prove-door-locking | MOD-door-controller |
REQ-post-inside-target-window | TEST-scenario-line-run | FUNC-compute-speed-profile | MOD-cabin-controller |
REQ-post-situation-decided | TEST-scenario-fault-handling | FUNC-record-acknowledgement | MOD-control-center-dashboard |
REQ-pre-cabin-at-standstill | TEST-scenario-door-cycle | FUNC-determine-position | MOD-cabin-controller |
REQ-pre-cabin-immobilized | TEST-scenario-evacuation | FUNC-grant-evacuation-release | MOD-control-center-dashboard |
REQ-pre-cabin-in-depot | TEST-scenario-maintenance-window | FUNC-prove-isolation | MOD-wayside-sensors |
REQ-pre-fault-classified | TEST-scenario-fault-handling | FUNC-display-alarm | MOD-control-center-dashboard |
REQ-pre-line-in-service | TEST-scenario-trip-request | FUNC-check-service-readiness | MOD-fleet-control-system |
REQ-pre-status-reports-running | TEST-scenario-operational-picture | FUNC-report-cabin-state | MOD-cabin-controller |
REQ-pre-valid-trip-order | TEST-scenario-line-run | FUNC-grant-block-clearance | MOD-fleet-control-system |
REQ-release-after-function-test | TEST-partial-result-blocks-release | FUNC-lock-out-cabin | MOD-fleet-control-system |
REQ-ride-comfort | TEST-ride-comfort-acceleration | FUNC-compute-speed-profile | MOD-cabin-controller |
REQ-safe-state-unattended | TEST-safe-state-without-control-center | FUNC-detect-guideway-obstacle · FUNC-trigger-emergency-brake | MOD-cabin-controller · MOD-wayside-sensors |
REQ-section-de-energized | TEST-release-requires-isolation-proof | FUNC-grant-evacuation-release · FUNC-prove-isolation | MOD-control-center-dashboard · MOD-wayside-sensors |
REQ-stopping-accuracy | TEST-stopping-accuracy | FUNC-determine-position · FUNC-synchronize-door-pair | MOD-cabin-controller · MOD-platform-door-system |
REQ-waiting-time-promise | TEST-waiting-time-promise | FUNC-dispatch-trip-order · FUNC-show-waiting-time | MOD-fleet-control-system · MOD-passenger-app |
Coverage gap = 0 REQ without verify (R-01). Ebene = gefundener Pfad zum zuordnenden Element: SYS -compose-> System · UC -compose-> funktional · FCHAIN -satisfy-> Integration · FUNC/MOD -satisfy-> Komponente. REQ -compose-> REQ erbt die Ebene des Elternteils (keine eigene). Ein REQ, das über mehrere Wege zugeordnet ist, steht in mehreren Gruppen.