Elementverzeichnis

GENERATED from docs/graph/graphcodedemo.graph.json (SSOT). Alle Traces (source -type-> target), deterministisch sortiert.

source	type	target
ACTOR-control-center	io	FLOW-acknowledgement
ACTOR-control-center	io	FLOW-clearance-order
ACTOR-control-center	io	FLOW-line-release
ACTOR-control-center	io	FLOW-picture-configuration
ACTOR-control-center	io	UC-evacuate-cabin
ACTOR-control-center	io	UC-handle-fault
ACTOR-control-center	io	UC-supervise-operation
ACTOR-emergency-services	io	UC-evacuate-cabin
ACTOR-maintenance-technician	io	FLOW-maintenance-request
ACTOR-maintenance-technician	io	UC-service-cabin
ACTOR-passenger	io	FLOW-doorway-obstruction
ACTOR-passenger	io	FLOW-trip-request
ACTOR-passenger	io	UC-board-and-alight
ACTOR-passenger	io	UC-evacuate-cabin
ACTOR-passenger	io	UC-request-trip
ACTOR-passenger	io	UC-run-the-line
FCHAIN-door-cycle	compose	FUNC-detect-obstruction
FCHAIN-door-cycle	compose	FUNC-determine-position
FCHAIN-door-cycle	compose	FUNC-operate-cabin-door
FCHAIN-door-cycle	compose	FUNC-operate-platform-door
FCHAIN-door-cycle	compose	FUNC-prove-door-locking
FCHAIN-door-cycle	compose	FUNC-synchronize-door-pair
FCHAIN-evacuation	compose	FUNC-announce-situation
FCHAIN-evacuation	compose	FUNC-grant-evacuation-release
FCHAIN-evacuation	compose	FUNC-operate-cabin-door
FCHAIN-evacuation	compose	FUNC-prove-isolation
FCHAIN-fault-handling	compose	FUNC-detect-guideway-obstacle
FCHAIN-fault-handling	compose	FUNC-display-alarm
FCHAIN-fault-handling	compose	FUNC-record-acknowledgement
FCHAIN-fault-handling	compose	FUNC-trigger-emergency-brake
FCHAIN-line-run	compose	FUNC-compute-speed-profile
FCHAIN-line-run	compose	FUNC-determine-position
FCHAIN-line-run	compose	FUNC-grant-block-clearance
FCHAIN-line-run	compose	FUNC-report-block-occupancy
FCHAIN-line-run	compose	FUNC-trigger-emergency-brake
FCHAIN-maintenance-window	compose	FUNC-lock-out-cabin
FCHAIN-maintenance-window	compose	FUNC-prove-isolation
FCHAIN-maintenance-window	compose	FUNC-report-cabin-state
FCHAIN-operational-picture	compose	FUNC-aggregate-fleet-state
FCHAIN-operational-picture	compose	FUNC-present-operational-picture
FCHAIN-operational-picture	compose	FUNC-report-block-occupancy
FCHAIN-operational-picture	compose	FUNC-report-cabin-state
FCHAIN-trip-request	compose	FUNC-capture-destination
FCHAIN-trip-request	compose	FUNC-check-service-readiness
FCHAIN-trip-request	compose	FUNC-dispatch-trip-order
FCHAIN-trip-request	compose	FUNC-show-waiting-time
FLOW-acknowledgement	io	FUNC-record-acknowledgement
FLOW-acknowledgement	relation	SCHEMA-acknowledgement
FLOW-action-decision	io	FUNC-compute-speed-profile
FLOW-action-decision	io	FUNC-prove-isolation
FLOW-action-decision	relation	SCHEMA-action-decision
FLOW-alarm	io	FUNC-display-alarm
FLOW-alarm	io	FUNC-record-acknowledgement
FLOW-alarm	io	FUNC-trigger-emergency-brake
FLOW-alarm	relation	SCHEMA-alarm
FLOW-block-clearance	io	FUNC-compute-speed-profile
FLOW-block-clearance	io	FUNC-trigger-emergency-brake
FLOW-block-clearance	relation	SCHEMA-block-clearance
FLOW-block-occupancy	io	FUNC-aggregate-fleet-state
FLOW-block-occupancy	io	FUNC-grant-block-clearance
FLOW-block-occupancy	relation	SCHEMA-block-occupancy
FLOW-brake-request	io	FUNC-compute-speed-profile
FLOW-brake-request	io	FUNC-report-cabin-state
FLOW-brake-request	relation	SCHEMA-brake-request
FLOW-cabin-assignment	io	ACTOR-passenger
FLOW-cabin-assignment	relation	SCHEMA-cabin-assignment
FLOW-cabin-motion	io	ACTOR-passenger
FLOW-cabin-motion	io	FUNC-detect-guideway-obstacle
FLOW-cabin-motion	io	FUNC-determine-position
FLOW-cabin-motion	io	FUNC-report-block-occupancy
FLOW-cabin-motion	relation	SCHEMA-cabin-motion
FLOW-cabin-position	io	FUNC-compute-speed-profile
FLOW-cabin-position	io	FUNC-report-cabin-state
FLOW-cabin-position	io	FUNC-synchronize-door-pair
FLOW-cabin-position	io	FUNC-trigger-emergency-brake
FLOW-cabin-position	relation	SCHEMA-cabin-position
FLOW-cabin-status-report	io	FUNC-aggregate-fleet-state
FLOW-cabin-status-report	relation	SCHEMA-cabin-state
FLOW-clearance-order	io	FUNC-announce-situation
FLOW-clearance-order	io	FUNC-prove-isolation
FLOW-clearance-order	relation	SCHEMA-clearance-order
FLOW-control-center-display	io	ACTOR-control-center
FLOW-control-center-display	relation	SCHEMA-control-center-display
FLOW-dispatch-request	io	FUNC-check-service-readiness
FLOW-dispatch-request	io	FUNC-dispatch-trip-order
FLOW-dispatch-request	relation	SCHEMA-dispatch-request
FLOW-door-command	io	FUNC-operate-cabin-door
FLOW-door-command	relation	SCHEMA-door-command
FLOW-door-motion	io	ACTOR-passenger
FLOW-door-motion	io	FUNC-detect-obstruction
FLOW-door-motion	io	FUNC-prove-door-locking
FLOW-door-motion	relation	SCHEMA-door-motion
FLOW-door-release	io	FUNC-operate-cabin-door
FLOW-door-release	io	FUNC-operate-platform-door
FLOW-door-release	relation	SCHEMA-door-release
FLOW-door-status	io	FUNC-aggregate-fleet-state
FLOW-door-status	relation	SCHEMA-door-status
FLOW-doorway-obstruction	io	FUNC-detect-obstruction
FLOW-doorway-obstruction	relation	SCHEMA-doorway-obstruction
FLOW-evacuation-release	io	FUNC-announce-situation
FLOW-evacuation-release	io	FUNC-operate-cabin-door
FLOW-evacuation-release	relation	SCHEMA-evacuation-release
FLOW-incident-situation	io	ACTOR-emergency-services
FLOW-incident-situation	relation	SCHEMA-incident-situation
FLOW-isolation-proof	io	FUNC-announce-situation
FLOW-isolation-proof	io	FUNC-grant-evacuation-release
FLOW-isolation-proof	relation	SCHEMA-isolation-proof
FLOW-line-release	io	FUNC-grant-block-clearance
FLOW-line-release	relation	SCHEMA-line-release
FLOW-lockout-record	io	FUNC-dispatch-trip-order
FLOW-lockout-record	io	FUNC-prove-isolation
FLOW-lockout-record	io	FUNC-report-cabin-state
FLOW-lockout-record	relation	SCHEMA-lockout-record
FLOW-maintenance-request	io	FUNC-lock-out-cabin
FLOW-maintenance-request	relation	SCHEMA-maintenance-request
FLOW-operational-picture	io	FUNC-check-service-readiness
FLOW-operational-picture	io	FUNC-present-operational-picture
FLOW-operational-picture	relation	SCHEMA-operational-picture
FLOW-passenger-announcement	io	ACTOR-passenger
FLOW-passenger-announcement	relation	SCHEMA-passenger-announcement
FLOW-picture-configuration	io	FUNC-present-operational-picture
FLOW-picture-configuration	relation	SCHEMA-picture-configuration
FLOW-release-confirmation	io	ACTOR-maintenance-technician
FLOW-release-confirmation	relation	SCHEMA-release-confirmation
FLOW-reopen-command	io	FUNC-operate-cabin-door
FLOW-reopen-command	io	FUNC-operate-platform-door
FLOW-reopen-command	io	FUNC-synchronize-door-pair
FLOW-reopen-command	relation	SCHEMA-reopen-command
FLOW-service-readiness	io	FUNC-dispatch-trip-order
FLOW-service-readiness	relation	SCHEMA-service-readiness
FLOW-trip-order	io	FUNC-compute-speed-profile
FLOW-trip-order	io	FUNC-show-waiting-time
FLOW-trip-order	relation	SCHEMA-trip-order
FLOW-trip-request	io	FUNC-capture-destination
FLOW-trip-request	relation	SCHEMA-trip-request
FUNC-aggregate-fleet-state	allocate	MOD-fleet-control-system
FUNC-aggregate-fleet-state	io	FLOW-operational-picture
FUNC-aggregate-fleet-state	satisfy	REQ-mit-door-state-single-source
FUNC-aggregate-fleet-state	satisfy	REQ-picture-complete
FUNC-aggregate-fleet-state	satisfy	REQ-picture-freshness
FUNC-aggregate-fleet-state	satisfy	REQ-post-deviation-visible
FUNC-announce-situation	allocate	MOD-passenger-app
FUNC-announce-situation	io	FLOW-passenger-announcement
FUNC-announce-situation	satisfy	REQ-passenger-information
FUNC-capture-destination	allocate	MOD-passenger-app
FUNC-capture-destination	io	FLOW-dispatch-request
FUNC-capture-destination	satisfy	REQ-destination-entry
FUNC-check-service-readiness	allocate	MOD-fleet-control-system
FUNC-check-service-readiness	io	FLOW-service-readiness
FUNC-check-service-readiness	satisfy	REQ-mit-readiness-freshness-check
FUNC-check-service-readiness	satisfy	REQ-pre-line-in-service
FUNC-compute-speed-profile	allocate	MOD-cabin-controller
FUNC-compute-speed-profile	io	FLOW-cabin-motion
FUNC-compute-speed-profile	io	FLOW-door-command
FUNC-compute-speed-profile	satisfy	REQ-mit-decision-references-alarm
FUNC-compute-speed-profile	satisfy	REQ-post-inside-target-window
FUNC-compute-speed-profile	satisfy	REQ-ride-comfort
FUNC-detect-guideway-obstacle	allocate	MOD-wayside-sensors
FUNC-detect-guideway-obstacle	io	FLOW-alarm
FUNC-detect-guideway-obstacle	satisfy	REQ-alarm-latency
FUNC-detect-guideway-obstacle	satisfy	REQ-safe-state-unattended
FUNC-detect-obstruction	allocate	MOD-door-controller
FUNC-detect-obstruction	io	FLOW-reopen-command
FUNC-detect-obstruction	satisfy	REQ-anti-trap-protection
FUNC-determine-position	allocate	MOD-cabin-controller
FUNC-determine-position	io	FLOW-cabin-position
FUNC-determine-position	satisfy	REQ-dual-channel-positioning
FUNC-determine-position	satisfy	REQ-pre-cabin-at-standstill
FUNC-determine-position	satisfy	REQ-stopping-accuracy
FUNC-dispatch-trip-order	allocate	MOD-fleet-control-system
FUNC-dispatch-trip-order	io	FLOW-trip-order
FUNC-dispatch-trip-order	satisfy	REQ-destination-entry
FUNC-dispatch-trip-order	satisfy	REQ-post-cabin-assigned
FUNC-dispatch-trip-order	satisfy	REQ-waiting-time-promise
FUNC-display-alarm	allocate	MOD-control-center-dashboard
FUNC-display-alarm	io	FLOW-control-center-display
FUNC-display-alarm	satisfy	REQ-alarm-latency
FUNC-display-alarm	satisfy	REQ-pre-fault-classified
FUNC-grant-block-clearance	allocate	MOD-fleet-control-system
FUNC-grant-block-clearance	io	FLOW-block-clearance
FUNC-grant-block-clearance	satisfy	REQ-block-separation
FUNC-grant-block-clearance	satisfy	REQ-pre-valid-trip-order
FUNC-grant-evacuation-release	allocate	MOD-control-center-dashboard
FUNC-grant-evacuation-release	io	FLOW-evacuation-release
FUNC-grant-evacuation-release	io	FLOW-incident-situation
FUNC-grant-evacuation-release	satisfy	REQ-mit-isolation-proof-reference
FUNC-grant-evacuation-release	satisfy	REQ-no-self-evacuation
FUNC-grant-evacuation-release	satisfy	REQ-post-cabin-cleared
FUNC-grant-evacuation-release	satisfy	REQ-pre-cabin-immobilized
FUNC-grant-evacuation-release	satisfy	REQ-section-de-energized
FUNC-lock-out-cabin	allocate	MOD-fleet-control-system
FUNC-lock-out-cabin	io	FLOW-lockout-record
FUNC-lock-out-cabin	io	FLOW-release-confirmation
FUNC-lock-out-cabin	satisfy	REQ-lockout-effective
FUNC-lock-out-cabin	satisfy	REQ-post-cabin-dispatchable
FUNC-lock-out-cabin	satisfy	REQ-release-after-function-test
FUNC-operate-cabin-door	allocate	MOD-door-controller
FUNC-operate-cabin-door	io	FLOW-door-motion
FUNC-operate-cabin-door	satisfy	REQ-doors-open-in-sync
FUNC-operate-cabin-door	satisfy	REQ-mit-evacuation-overrides-door-command
FUNC-operate-cabin-door	satisfy	REQ-no-self-evacuation
FUNC-operate-platform-door	allocate	MOD-platform-door-system
FUNC-operate-platform-door	io	FLOW-door-motion
FUNC-operate-platform-door	satisfy	REQ-doors-open-in-sync
FUNC-present-operational-picture	allocate	MOD-control-center-dashboard
FUNC-present-operational-picture	io	FLOW-control-center-display
FUNC-present-operational-picture	satisfy	REQ-picture-complete
FUNC-present-operational-picture	satisfy	REQ-picture-freshness
FUNC-prove-door-locking	allocate	MOD-door-controller
FUNC-prove-door-locking	io	FLOW-door-status
FUNC-prove-door-locking	satisfy	REQ-post-doors-locked
FUNC-prove-isolation	allocate	MOD-wayside-sensors
FUNC-prove-isolation	io	FLOW-isolation-proof
FUNC-prove-isolation	satisfy	REQ-pre-cabin-in-depot
FUNC-prove-isolation	satisfy	REQ-section-de-energized
FUNC-record-acknowledgement	allocate	MOD-control-center-dashboard
FUNC-record-acknowledgement	io	FLOW-action-decision
FUNC-record-acknowledgement	satisfy	REQ-acknowledgement-attributable
FUNC-record-acknowledgement	satisfy	REQ-post-situation-decided
FUNC-report-block-occupancy	allocate	MOD-wayside-sensors
FUNC-report-block-occupancy	io	FLOW-block-occupancy
FUNC-report-block-occupancy	satisfy	REQ-block-separation
FUNC-report-block-occupancy	satisfy	REQ-dual-channel-positioning
FUNC-report-cabin-state	allocate	MOD-cabin-controller
FUNC-report-cabin-state	io	FLOW-cabin-status-report
FUNC-report-cabin-state	satisfy	REQ-mit-operating-state-from-lockout
FUNC-report-cabin-state	satisfy	REQ-picture-freshness
FUNC-report-cabin-state	satisfy	REQ-pre-status-reports-running
FUNC-show-waiting-time	allocate	MOD-passenger-app
FUNC-show-waiting-time	io	FLOW-cabin-assignment
FUNC-show-waiting-time	satisfy	REQ-waiting-time-promise
FUNC-synchronize-door-pair	allocate	MOD-platform-door-system
FUNC-synchronize-door-pair	io	FLOW-door-release
FUNC-synchronize-door-pair	satisfy	REQ-doors-open-in-sync
FUNC-synchronize-door-pair	satisfy	REQ-mit-single-standstill-proof
FUNC-synchronize-door-pair	satisfy	REQ-stopping-accuracy
FUNC-trigger-emergency-brake	allocate	MOD-cabin-controller
FUNC-trigger-emergency-brake	io	FLOW-brake-request
FUNC-trigger-emergency-brake	satisfy	REQ-block-separation
FUNC-trigger-emergency-brake	satisfy	REQ-safe-state-unattended
MOD-cabin-controller	io	MOD-door-controller
MOD-cabin-controller	io	MOD-fleet-control-system
MOD-control-center-dashboard	io	MOD-cabin-controller
MOD-control-center-dashboard	io	MOD-fleet-control-system
MOD-door-controller	io	MOD-cabin-controller
MOD-door-controller	io	MOD-platform-door-system
MOD-fleet-control-system	io	MOD-cabin-controller
MOD-fleet-control-system	io	MOD-control-center-dashboard
MOD-fleet-control-system	io	MOD-passenger-app
MOD-passenger-app	io	MOD-fleet-control-system
MOD-platform-door-system	io	MOD-door-controller
MOD-wayside-sensors	io	MOD-fleet-control-system
RISK-alarm-missed	compose	REQ-mit-alarm-prioritization
RISK-door-command-during-evacuation	compose	REQ-mit-evacuation-overrides-door-command
RISK-door-opens-in-motion	compose	REQ-mit-dual-channel-locking
RISK-door-state-diverges	compose	REQ-mit-door-state-single-source
RISK-energization-state-diverges	compose	REQ-mit-isolation-proof-reference
RISK-locked-out-cabin-dispatched	compose	REQ-mit-lockout-survives-restart
RISK-lockout-state-diverges	compose	REQ-mit-operating-state-from-lockout
RISK-passenger-trapped	compose	REQ-mit-anti-trap-selftest
RISK-platform-gap	compose	REQ-mit-stopping-window-enforced
RISK-position-lost	compose	REQ-mit-separate-power-for-positioning
RISK-rear-end-collision	compose	REQ-mit-wayside-block-check
RISK-resume-with-fault-active	compose	REQ-mit-decision-references-alarm
RISK-self-evacuation	compose	REQ-mit-information-and-locking
RISK-stale-readiness-dispatch	compose	REQ-mit-readiness-freshness-check
RISK-standstill-proof-stale	compose	REQ-mit-single-standstill-proof
RISK-states-not-enumerated	compose	REQ-mit-enumerated-state-values
SYS-people-mover	compose	MOD-cabin-controller
SYS-people-mover	compose	MOD-control-center-dashboard
SYS-people-mover	compose	MOD-door-controller
SYS-people-mover	compose	MOD-fleet-control-system
SYS-people-mover	compose	MOD-passenger-app
SYS-people-mover	compose	MOD-platform-door-system
SYS-people-mover	compose	MOD-wayside-sensors
SYS-people-mover	compose	RISK-alarm-missed
SYS-people-mover	compose	RISK-door-command-during-evacuation
SYS-people-mover	compose	RISK-door-opens-in-motion
SYS-people-mover	compose	RISK-door-state-diverges
SYS-people-mover	compose	RISK-energization-state-diverges
SYS-people-mover	compose	RISK-locked-out-cabin-dispatched
SYS-people-mover	compose	RISK-lockout-state-diverges
SYS-people-mover	compose	RISK-passenger-trapped
SYS-people-mover	compose	RISK-platform-gap
SYS-people-mover	compose	RISK-position-lost
SYS-people-mover	compose	RISK-rear-end-collision
SYS-people-mover	compose	RISK-resume-with-fault-active
SYS-people-mover	compose	RISK-self-evacuation
SYS-people-mover	compose	RISK-stale-readiness-dispatch
SYS-people-mover	compose	RISK-standstill-proof-stale
SYS-people-mover	compose	RISK-states-not-enumerated
SYS-people-mover	compose	UC-board-and-alight
SYS-people-mover	compose	UC-evacuate-cabin
SYS-people-mover	compose	UC-handle-fault
SYS-people-mover	compose	UC-request-trip
SYS-people-mover	compose	UC-run-the-line
SYS-people-mover	compose	UC-service-cabin
SYS-people-mover	compose	UC-supervise-operation
SYS-people-mover	satisfy	REQ-mit-enumerated-state-values
TEST-acknowledgement-immutable	verify	REQ-acknowledgement-attributable
TEST-alarm-latency	verify	REQ-alarm-latency
TEST-announcement-interval	verify	REQ-passenger-information
TEST-anti-trap-reopen	verify	REQ-anti-trap-protection
TEST-block-separation-holds	verify	REQ-block-separation
TEST-destination-entry-steps	verify	REQ-destination-entry
TEST-doors-open-only-together	verify	REQ-doors-open-in-sync
TEST-emergency-handle-without-release	verify	REQ-no-self-evacuation
TEST-lockout-under-cabin-shortage	verify	REQ-lockout-effective
TEST-missing-report-shown-as-gap	verify	REQ-picture-complete
TEST-partial-result-blocks-release	verify	REQ-release-after-function-test
TEST-picture-freshness	verify	REQ-picture-freshness
TEST-release-requires-isolation-proof	verify	REQ-section-de-energized
TEST-ride-comfort-acceleration	verify	REQ-ride-comfort
TEST-risk-alarm-missed	verify	REQ-mit-alarm-prioritization
TEST-risk-alarm-missed	verify	RISK-alarm-missed
TEST-risk-door-command-during-evacuation	verify	REQ-mit-evacuation-overrides-door-command
TEST-risk-door-command-during-evacuation	verify	RISK-door-command-during-evacuation
TEST-risk-door-release-outside-window	verify	REQ-mit-stopping-window-enforced
TEST-risk-door-release-outside-window	verify	RISK-platform-gap
TEST-risk-door-state-divergence	verify	REQ-mit-door-state-single-source
TEST-risk-door-state-divergence	verify	RISK-door-state-diverges
TEST-risk-door-unlock-in-motion	verify	REQ-mit-dual-channel-locking
TEST-risk-door-unlock-in-motion	verify	RISK-door-opens-in-motion
TEST-risk-emergency-handle-and-information	verify	REQ-mit-information-and-locking
TEST-risk-emergency-handle-and-information	verify	RISK-self-evacuation
TEST-risk-energization-state-divergence	verify	REQ-mit-isolation-proof-reference
TEST-risk-energization-state-divergence	verify	RISK-energization-state-diverges
TEST-risk-lockout-after-restart	verify	REQ-mit-lockout-survives-restart
TEST-risk-lockout-after-restart	verify	RISK-locked-out-cabin-dispatched
TEST-risk-lockout-state-divergence	verify	REQ-mit-operating-state-from-lockout
TEST-risk-lockout-state-divergence	verify	RISK-lockout-state-diverges
TEST-risk-obstacle-detection-selftest	verify	REQ-mit-anti-trap-selftest
TEST-risk-obstacle-detection-selftest	verify	RISK-passenger-trapped
TEST-risk-positioning-power-loss	verify	REQ-mit-separate-power-for-positioning
TEST-risk-positioning-power-loss	verify	RISK-position-lost
TEST-risk-rear-end-collision	verify	REQ-mit-wayside-block-check
TEST-risk-rear-end-collision	verify	RISK-rear-end-collision
TEST-risk-resume-with-active-alarm	verify	REQ-mit-decision-references-alarm
TEST-risk-resume-with-active-alarm	verify	RISK-resume-with-fault-active
TEST-risk-stale-readiness-picture	verify	REQ-mit-readiness-freshness-check
TEST-risk-stale-readiness-picture	verify	RISK-stale-readiness-dispatch
TEST-risk-stale-standstill-proof	verify	REQ-mit-single-standstill-proof
TEST-risk-stale-standstill-proof	verify	RISK-standstill-proof-stale
TEST-risk-state-value-enumeration	verify	REQ-mit-enumerated-state-values
TEST-risk-state-value-enumeration	verify	RISK-states-not-enumerated
TEST-safe-state-without-control-center	verify	REQ-safe-state-unattended
TEST-scenario-door-cycle	verify	REQ-post-doors-locked
TEST-scenario-door-cycle	verify	REQ-pre-cabin-at-standstill
TEST-scenario-evacuation	verify	REQ-post-cabin-cleared
TEST-scenario-evacuation	verify	REQ-pre-cabin-immobilized
TEST-scenario-fault-handling	verify	REQ-post-situation-decided
TEST-scenario-fault-handling	verify	REQ-pre-fault-classified
TEST-scenario-line-run	verify	REQ-post-inside-target-window
TEST-scenario-line-run	verify	REQ-pre-valid-trip-order
TEST-scenario-maintenance-window	verify	REQ-post-cabin-dispatchable
TEST-scenario-maintenance-window	verify	REQ-pre-cabin-in-depot
TEST-scenario-operational-picture	verify	REQ-post-deviation-visible
TEST-scenario-operational-picture	verify	REQ-pre-status-reports-running
TEST-scenario-trip-request	verify	REQ-post-cabin-assigned
TEST-scenario-trip-request	verify	REQ-pre-line-in-service
TEST-single-channel-position-loss	verify	REQ-dual-channel-positioning
TEST-stopping-accuracy	verify	REQ-stopping-accuracy
TEST-waiting-time-promise	verify	REQ-waiting-time-promise
UC-board-and-alight	compose	FCHAIN-door-cycle
UC-board-and-alight	compose	REQ-anti-trap-protection
UC-board-and-alight	compose	REQ-doors-open-in-sync
UC-board-and-alight	compose	REQ-post-doors-locked
UC-board-and-alight	compose	REQ-pre-cabin-at-standstill
UC-board-and-alight	compose	REQ-stopping-accuracy
UC-evacuate-cabin	compose	FCHAIN-evacuation
UC-evacuate-cabin	compose	REQ-no-self-evacuation
UC-evacuate-cabin	compose	REQ-passenger-information
UC-evacuate-cabin	compose	REQ-post-cabin-cleared
UC-evacuate-cabin	compose	REQ-pre-cabin-immobilized
UC-evacuate-cabin	compose	REQ-section-de-energized
UC-handle-fault	compose	FCHAIN-fault-handling
UC-handle-fault	compose	REQ-acknowledgement-attributable
UC-handle-fault	compose	REQ-alarm-latency
UC-handle-fault	compose	REQ-post-situation-decided
UC-handle-fault	compose	REQ-pre-fault-classified
UC-handle-fault	compose	REQ-safe-state-unattended
UC-request-trip	compose	FCHAIN-trip-request
UC-request-trip	compose	REQ-destination-entry
UC-request-trip	compose	REQ-post-cabin-assigned
UC-request-trip	compose	REQ-pre-line-in-service
UC-request-trip	compose	REQ-waiting-time-promise
UC-run-the-line	compose	FCHAIN-line-run
UC-run-the-line	compose	REQ-block-separation
UC-run-the-line	compose	REQ-dual-channel-positioning
UC-run-the-line	compose	REQ-post-inside-target-window
UC-run-the-line	compose	REQ-pre-valid-trip-order
UC-run-the-line	compose	REQ-ride-comfort
UC-service-cabin	compose	FCHAIN-maintenance-window
UC-service-cabin	compose	REQ-lockout-effective
UC-service-cabin	compose	REQ-post-cabin-dispatchable
UC-service-cabin	compose	REQ-pre-cabin-in-depot
UC-service-cabin	compose	REQ-release-after-function-test
UC-supervise-operation	compose	FCHAIN-operational-picture
UC-supervise-operation	compose	REQ-picture-complete
UC-supervise-operation	compose	REQ-picture-freshness
UC-supervise-operation	compose	REQ-post-deviation-visible
UC-supervise-operation	compose	REQ-pre-status-reports-running