Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
system theoretic process analysis method
biblio
Application of STPA in Temporary Speed Restriction Sending Scenario of Train Control System Based on Vehicle-Vehicle Communication
Submitted by grigby1 on Fri, 07/24/2020 - 1:01pm
security design requirement
Control Theory
vehicle-vehicle communication
UPPAAL
unsafe control actions
UCA
train control system
temporary speed restriction sending scenario
system theoretic process analysis method
STPA method
STPA
security design requirements
security
SDR
railway safety
railway engineering
Hazards
control defects
control defect
CD
automata theory
formal verification
control engineering computing
pubcrawl
