european stamp workshop, zurich, switzerland tutorial ... · 4th european stamp workshop, zurich,...
TRANSCRIPT
4th European STAMP Workshop, Zurich, Switzerland
Tutorial – Hierarchical Control Structure (group activity)
Railroad-Crossing Control System
Car Driver
Cross StreetCross Tracks
Rail-Way Control Center
Secure Railroad-Crossing
Train Driver
Control Gates
Railroad-Crossing Status
Situation Awareness
Cross TracksCross Street
Railroad-Crossing Status
Railroad-Crossing StatusSituation Awareness
4th European STAMP Workshop, Zurich, Switzerland
Tutorial – Hierarchical Control Structure (group activity)
Railroad-Crossing Control System
Rail-Way Control Center
Car Driver Train Driver
Secure Railroad-Crossing Cross StreetCross Tracks
Cross Tracks
Situation Awareness
Secure crossing
Allow to Cross Street
Railroad-Crossing Status Cross Street
Allow to Cross Tracks
Situation Awareness
4th European STAMP Workshop, Zurich, Switzerland
Tutorial – Hierarchical Control Structure (group activity)
Railroad-Crossing Control System
Car Driver
Cross StreetCross Tracks
Rail-Way Control Center
Secure Railroad-Crossing
Train Driver
Close Gates,Open Gates Situation Awareness
Railroad-Crossing Status
Railroad-Crossing Status
Situation Awareness
Cross StreetCross Tracks
Railroad-Crossing Status
4th European STAMP Workshop, Zurich, Switzerland
Tutorial – Hierarchical Control Structure (group activity)
Railroad-Crossing Control System
Car Driver
Cross StreetCross Tracks
Rail-Way Control Center
Secure Railroad-Crossing
Train Driver
Tracks free
Cross Street
Situation Awareness
Railroad-Crossing Status
Train incoming
Cross Tracks
Railroad-Crossing Status
Situation Awareness
Railroad-Crossing Status
Close Gates,Open Gates
4th European STAMP Workshop, Zurich, Switzerland
Tutorial – Hierarchical Control Structure (group activity)
Railroad-Crossing Control SystemCar Driver
Cross StreetCross Tracks
Rail-Way Control Center
Secure Railroad-Crossing
Train Driver
Railway Company
Authorities
Situation Awareness
Railroad-Crossing Status
Situation Awareness
Railroad-Crossing Status
Cross StreetCross Tracks
Open Gates,Close Gates Railroad-Crossing Status
4th European STAMP Workshop, Zurich, Switzerland
Tutorial – Hierarchical Control Structure (group activity)
Railroad-Crossing Control SystemCar Driver
Cross StreetCross Tracks
Rail-Way Control Center
Secure Railroad-Crossing
Train Driver
Situation AwarenessCross Tracks
Open Gates,Close Gates
Railroad-Crossing Status Cross StreetSituation Awareness
4th European STAMP Workshop, Zürich, Switzerland
Tutorial – STPA Step 1 Template
Control Action Group / Page
Keyword UCA / Comments Safety Constraints / Requirements
4th European STAMP Workshop, Zürich, Switzerland
Tutorial – STPA Step 2 Template
UCA Group / Page
Control Loop Element Scenario / Causal Factors Safety Constraints / Requirements
Basel
Thun
Lucerne
Locarno
Vevey
Bienne
Chur
Genève