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
railways
biblio
Security Risk Assessment of Multimodal Transport Network Based on WBS-RBS and PFWA Operator
Submitted by aekwall on Mon, 02/17/2020 - 2:28pm
personnel risk
work breakdown structure (WBS)
WBS-RBS
waterway transportation
security risk factors
security risk assessment method
risk matrix 0-1 assignment
risk breakdown structure(RBS)
railways
railway-highway-waterway intermodal transportation process
railway transportation
Rail transportation
Pythagorean fuzzy weighted average(PFWA) operator
Pythagorean fuzzy weighted average operator
Pythagorean fuzzy number
PFWA operator
security
Personnel
multimodal transport network
multimodal transport
highway transportation
automotive components
security risk assessment
Security Risk Management
Transportation
fuzzy set theory
risk management
Metrics
pubcrawl
Resiliency
Scalability
Safety
biblio
Research and Design of Subway BAS Intrusion Detection Expert System
Submitted by grigby1 on Thu, 01/02/2020 - 2:45pm
Public transportation
urban rail transit system
the inference engine
targeted intrusion detection expert system
subway equipment
subway BAS intrusion detection expert System
security of data
security
Scalability
Resiliency
resilience
railways
rail transit system
rail traffic
Rails
Building automation system
pubcrawl
knowledge base
intrusion detection system
Intrusion Detection
information security
inference mechanisms
inference engine
Human behavior
expert systems
expert system
Engines
cognition
building management systems
biblio
Using TLA+ in the Development of a Safety-Critical Fault-Tolerant Middleware
Submitted by grigby1 on Tue, 02/06/2018 - 1:58pm
safety-critical software
railway safety
railways
Redundancy
Resiliency
safety integrity level 4
safety-critical fault-tolerant middleware
safety-critical industries
safety-critical modules
railway control applications
Software Architecture
software fault tolerance
software quality
software quality metrics
TAS Control Platform
TLA+
trusted platform modules
formal methods
C code
C language
Code Generation
complex algorithms
composability
distributed algorithms
Fault tolerant systems
fault-tolerant distributed algorithms
Algorithm design and analysis
Formal Specification
formal verification
middleware
model checking
property-driven design
pubcrawl
rail traffic control
