← graphcode-Demo

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

REQverify (TEST)satisfy (FUNC)allocate (MOD)
REQ-mit-alarm-prioritizationTEST-risk-alarm-missed——
REQ-mit-anti-trap-selftestTEST-risk-obstacle-detection-selftest——
REQ-mit-decision-references-alarmTEST-risk-resume-with-active-alarmFUNC-compute-speed-profileMOD-cabin-controller
REQ-mit-door-state-single-sourceTEST-risk-door-state-divergenceFUNC-aggregate-fleet-stateMOD-fleet-control-system
REQ-mit-dual-channel-lockingTEST-risk-door-unlock-in-motion——
REQ-mit-enumerated-state-valuesTEST-risk-state-value-enumerationSYS-people-mover—
REQ-mit-evacuation-overrides-door-commandTEST-risk-door-command-during-evacuationFUNC-operate-cabin-doorMOD-door-controller
REQ-mit-information-and-lockingTEST-risk-emergency-handle-and-information——
REQ-mit-isolation-proof-referenceTEST-risk-energization-state-divergenceFUNC-grant-evacuation-releaseMOD-control-center-dashboard
REQ-mit-lockout-survives-restartTEST-risk-lockout-after-restart——
REQ-mit-operating-state-from-lockoutTEST-risk-lockout-state-divergenceFUNC-report-cabin-stateMOD-cabin-controller
REQ-mit-readiness-freshness-checkTEST-risk-stale-readiness-pictureFUNC-check-service-readinessMOD-fleet-control-system
REQ-mit-separate-power-for-positioningTEST-risk-positioning-power-loss——
REQ-mit-single-standstill-proofTEST-risk-stale-standstill-proofFUNC-synchronize-door-pairMOD-platform-door-system
REQ-mit-stopping-window-enforcedTEST-risk-door-release-outside-window——
REQ-mit-wayside-block-checkTEST-risk-rear-end-collision——
RISK-alarm-missedTEST-risk-alarm-missed——
RISK-door-command-during-evacuationTEST-risk-door-command-during-evacuation——
RISK-door-opens-in-motionTEST-risk-door-unlock-in-motion——
RISK-door-state-divergesTEST-risk-door-state-divergence——
RISK-energization-state-divergesTEST-risk-energization-state-divergence——
RISK-locked-out-cabin-dispatchedTEST-risk-lockout-after-restart——
RISK-lockout-state-divergesTEST-risk-lockout-state-divergence——
RISK-passenger-trappedTEST-risk-obstacle-detection-selftest——
RISK-platform-gapTEST-risk-door-release-outside-window——
RISK-position-lostTEST-risk-positioning-power-loss——
RISK-rear-end-collisionTEST-risk-rear-end-collision——
RISK-resume-with-fault-activeTEST-risk-resume-with-active-alarm——
RISK-self-evacuationTEST-risk-emergency-handle-and-information——
RISK-stale-readiness-dispatchTEST-risk-stale-readiness-picture——
RISK-standstill-proof-staleTEST-risk-stale-standstill-proof——
RISK-states-not-enumeratedTEST-risk-state-value-enumeration——

funktional (SWE.1) — 32 REQ

REQverify (TEST)satisfy (FUNC)allocate (MOD)
REQ-acknowledgement-attributableTEST-acknowledgement-immutableFUNC-record-acknowledgementMOD-control-center-dashboard
REQ-alarm-latencyTEST-alarm-latencyFUNC-detect-guideway-obstacle · FUNC-display-alarmMOD-control-center-dashboard · MOD-wayside-sensors
REQ-anti-trap-protectionTEST-anti-trap-reopenFUNC-detect-obstructionMOD-door-controller
REQ-block-separationTEST-block-separation-holdsFUNC-grant-block-clearance · FUNC-report-block-occupancy · FUNC-trigger-emergency-brakeMOD-cabin-controller · MOD-fleet-control-system · MOD-wayside-sensors
REQ-destination-entryTEST-destination-entry-stepsFUNC-capture-destination · FUNC-dispatch-trip-orderMOD-fleet-control-system · MOD-passenger-app
REQ-doors-open-in-syncTEST-doors-open-only-togetherFUNC-operate-cabin-door · FUNC-operate-platform-door · FUNC-synchronize-door-pairMOD-door-controller · MOD-platform-door-system
REQ-dual-channel-positioningTEST-single-channel-position-lossFUNC-determine-position · FUNC-report-block-occupancyMOD-cabin-controller · MOD-wayside-sensors
REQ-lockout-effectiveTEST-lockout-under-cabin-shortageFUNC-lock-out-cabinMOD-fleet-control-system
REQ-no-self-evacuationTEST-emergency-handle-without-releaseFUNC-grant-evacuation-release · FUNC-operate-cabin-doorMOD-control-center-dashboard · MOD-door-controller
REQ-passenger-informationTEST-announcement-intervalFUNC-announce-situationMOD-passenger-app
REQ-picture-completeTEST-missing-report-shown-as-gapFUNC-aggregate-fleet-state · FUNC-present-operational-pictureMOD-control-center-dashboard · MOD-fleet-control-system
REQ-picture-freshnessTEST-picture-freshnessFUNC-aggregate-fleet-state · FUNC-present-operational-picture · FUNC-report-cabin-stateMOD-cabin-controller · MOD-control-center-dashboard · MOD-fleet-control-system
REQ-post-cabin-assignedTEST-scenario-trip-requestFUNC-dispatch-trip-orderMOD-fleet-control-system
REQ-post-cabin-clearedTEST-scenario-evacuationFUNC-grant-evacuation-releaseMOD-control-center-dashboard
REQ-post-cabin-dispatchableTEST-scenario-maintenance-windowFUNC-lock-out-cabinMOD-fleet-control-system
REQ-post-deviation-visibleTEST-scenario-operational-pictureFUNC-aggregate-fleet-stateMOD-fleet-control-system
REQ-post-doors-lockedTEST-scenario-door-cycleFUNC-prove-door-lockingMOD-door-controller
REQ-post-inside-target-windowTEST-scenario-line-runFUNC-compute-speed-profileMOD-cabin-controller
REQ-post-situation-decidedTEST-scenario-fault-handlingFUNC-record-acknowledgementMOD-control-center-dashboard
REQ-pre-cabin-at-standstillTEST-scenario-door-cycleFUNC-determine-positionMOD-cabin-controller
REQ-pre-cabin-immobilizedTEST-scenario-evacuationFUNC-grant-evacuation-releaseMOD-control-center-dashboard
REQ-pre-cabin-in-depotTEST-scenario-maintenance-windowFUNC-prove-isolationMOD-wayside-sensors
REQ-pre-fault-classifiedTEST-scenario-fault-handlingFUNC-display-alarmMOD-control-center-dashboard
REQ-pre-line-in-serviceTEST-scenario-trip-requestFUNC-check-service-readinessMOD-fleet-control-system
REQ-pre-status-reports-runningTEST-scenario-operational-pictureFUNC-report-cabin-stateMOD-cabin-controller
REQ-pre-valid-trip-orderTEST-scenario-line-runFUNC-grant-block-clearanceMOD-fleet-control-system
REQ-release-after-function-testTEST-partial-result-blocks-releaseFUNC-lock-out-cabinMOD-fleet-control-system
REQ-ride-comfortTEST-ride-comfort-accelerationFUNC-compute-speed-profileMOD-cabin-controller
REQ-safe-state-unattendedTEST-safe-state-without-control-centerFUNC-detect-guideway-obstacle · FUNC-trigger-emergency-brakeMOD-cabin-controller · MOD-wayside-sensors
REQ-section-de-energizedTEST-release-requires-isolation-proofFUNC-grant-evacuation-release · FUNC-prove-isolationMOD-control-center-dashboard · MOD-wayside-sensors
REQ-stopping-accuracyTEST-stopping-accuracyFUNC-determine-position · FUNC-synchronize-door-pairMOD-cabin-controller · MOD-platform-door-system
REQ-waiting-time-promiseTEST-waiting-time-promiseFUNC-dispatch-trip-order · FUNC-show-waiting-timeMOD-fleet-control-system · MOD-passenger-app

Komponente (SWE.2/3) — 39 REQ

REQverify (TEST)satisfy (FUNC)allocate (MOD)
REQ-acknowledgement-attributableTEST-acknowledgement-immutableFUNC-record-acknowledgementMOD-control-center-dashboard
REQ-alarm-latencyTEST-alarm-latencyFUNC-detect-guideway-obstacle · FUNC-display-alarmMOD-control-center-dashboard · MOD-wayside-sensors
REQ-anti-trap-protectionTEST-anti-trap-reopenFUNC-detect-obstructionMOD-door-controller
REQ-block-separationTEST-block-separation-holdsFUNC-grant-block-clearance · FUNC-report-block-occupancy · FUNC-trigger-emergency-brakeMOD-cabin-controller · MOD-fleet-control-system · MOD-wayside-sensors
REQ-destination-entryTEST-destination-entry-stepsFUNC-capture-destination · FUNC-dispatch-trip-orderMOD-fleet-control-system · MOD-passenger-app
REQ-doors-open-in-syncTEST-doors-open-only-togetherFUNC-operate-cabin-door · FUNC-operate-platform-door · FUNC-synchronize-door-pairMOD-door-controller · MOD-platform-door-system
REQ-dual-channel-positioningTEST-single-channel-position-lossFUNC-determine-position · FUNC-report-block-occupancyMOD-cabin-controller · MOD-wayside-sensors
REQ-lockout-effectiveTEST-lockout-under-cabin-shortageFUNC-lock-out-cabinMOD-fleet-control-system
REQ-mit-decision-references-alarmTEST-risk-resume-with-active-alarmFUNC-compute-speed-profileMOD-cabin-controller
REQ-mit-door-state-single-sourceTEST-risk-door-state-divergenceFUNC-aggregate-fleet-stateMOD-fleet-control-system
REQ-mit-evacuation-overrides-door-commandTEST-risk-door-command-during-evacuationFUNC-operate-cabin-doorMOD-door-controller
REQ-mit-isolation-proof-referenceTEST-risk-energization-state-divergenceFUNC-grant-evacuation-releaseMOD-control-center-dashboard
REQ-mit-operating-state-from-lockoutTEST-risk-lockout-state-divergenceFUNC-report-cabin-stateMOD-cabin-controller
REQ-mit-readiness-freshness-checkTEST-risk-stale-readiness-pictureFUNC-check-service-readinessMOD-fleet-control-system
REQ-mit-single-standstill-proofTEST-risk-stale-standstill-proofFUNC-synchronize-door-pairMOD-platform-door-system
REQ-no-self-evacuationTEST-emergency-handle-without-releaseFUNC-grant-evacuation-release · FUNC-operate-cabin-doorMOD-control-center-dashboard · MOD-door-controller
REQ-passenger-informationTEST-announcement-intervalFUNC-announce-situationMOD-passenger-app
REQ-picture-completeTEST-missing-report-shown-as-gapFUNC-aggregate-fleet-state · FUNC-present-operational-pictureMOD-control-center-dashboard · MOD-fleet-control-system
REQ-picture-freshnessTEST-picture-freshnessFUNC-aggregate-fleet-state · FUNC-present-operational-picture · FUNC-report-cabin-stateMOD-cabin-controller · MOD-control-center-dashboard · MOD-fleet-control-system
REQ-post-cabin-assignedTEST-scenario-trip-requestFUNC-dispatch-trip-orderMOD-fleet-control-system
REQ-post-cabin-clearedTEST-scenario-evacuationFUNC-grant-evacuation-releaseMOD-control-center-dashboard
REQ-post-cabin-dispatchableTEST-scenario-maintenance-windowFUNC-lock-out-cabinMOD-fleet-control-system
REQ-post-deviation-visibleTEST-scenario-operational-pictureFUNC-aggregate-fleet-stateMOD-fleet-control-system
REQ-post-doors-lockedTEST-scenario-door-cycleFUNC-prove-door-lockingMOD-door-controller
REQ-post-inside-target-windowTEST-scenario-line-runFUNC-compute-speed-profileMOD-cabin-controller
REQ-post-situation-decidedTEST-scenario-fault-handlingFUNC-record-acknowledgementMOD-control-center-dashboard
REQ-pre-cabin-at-standstillTEST-scenario-door-cycleFUNC-determine-positionMOD-cabin-controller
REQ-pre-cabin-immobilizedTEST-scenario-evacuationFUNC-grant-evacuation-releaseMOD-control-center-dashboard
REQ-pre-cabin-in-depotTEST-scenario-maintenance-windowFUNC-prove-isolationMOD-wayside-sensors
REQ-pre-fault-classifiedTEST-scenario-fault-handlingFUNC-display-alarmMOD-control-center-dashboard
REQ-pre-line-in-serviceTEST-scenario-trip-requestFUNC-check-service-readinessMOD-fleet-control-system
REQ-pre-status-reports-runningTEST-scenario-operational-pictureFUNC-report-cabin-stateMOD-cabin-controller
REQ-pre-valid-trip-orderTEST-scenario-line-runFUNC-grant-block-clearanceMOD-fleet-control-system
REQ-release-after-function-testTEST-partial-result-blocks-releaseFUNC-lock-out-cabinMOD-fleet-control-system
REQ-ride-comfortTEST-ride-comfort-accelerationFUNC-compute-speed-profileMOD-cabin-controller
REQ-safe-state-unattendedTEST-safe-state-without-control-centerFUNC-detect-guideway-obstacle · FUNC-trigger-emergency-brakeMOD-cabin-controller · MOD-wayside-sensors
REQ-section-de-energizedTEST-release-requires-isolation-proofFUNC-grant-evacuation-release · FUNC-prove-isolationMOD-control-center-dashboard · MOD-wayside-sensors
REQ-stopping-accuracyTEST-stopping-accuracyFUNC-determine-position · FUNC-synchronize-door-pairMOD-cabin-controller · MOD-platform-door-system
REQ-waiting-time-promiseTEST-waiting-time-promiseFUNC-dispatch-trip-order · FUNC-show-waiting-timeMOD-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.