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
fault trees
biblio
Parametric Analyses of Attack-Fault Trees
Submitted by grigby1 on Tue, 10/06/2020 - 2:01pm
risk assessment
parametric analyses
parametric timed automata
parametric weighted timed automata
power plants
pubcrawl
resilience
Resiliency
risk analysis
parameter values
Safety
safety engineering
security
security of data
tree-based formalism
trees (mathematics)
Unified modeling language
cyber-physical systems
automata
automata theory
composability
Concurrency
connected devices
Cost accounting
CPS
cyber physical systems
attack-fault trees
fault scenarios
fault trees
formal verification
imitator
Logic gates
Metrics
model-checker IMITATOR
biblio
A Study of Security Modeling Techniques for Smart Systems
Submitted by aekwall on Mon, 07/06/2020 - 10:18am
critical security systems
Damage Assessment
Threat Modeling
system services
Smartness
Smart Systems
Security Modeling Techniques
Security modeling
secure smart system development life cycle
fault trees
security of data
system resources
Unified modeling language
Stochastic processes
risk management
Analytical models
pubcrawl
Resiliency
Software
security
biblio
Early Hybrid Safety and Security Risk Assessment Based on Interdisciplinary Dependency Models
Submitted by grigby1 on Mon, 02/17/2020 - 5:07pm
security risks
risk analysis
risk management
Safety
safety assessment
security
security assessment
security design weaknesses
security risk assessment
Resiliency
security weaknesses
social reasons
Software
system complexity
system operation
tools
Unified modeling language
complex critical infrastructures
resilience
pubcrawl
policy-based governance
modeling
Model driven engineering
Metrics
interdisciplinary interactions
interdisciplinary dependency models
hybrid safety
Human behavior
fault trees
environmental reasons
economic reasons
Design Process
critical infrastructures
biblio
Methodology (N2FMEA) for the detection of risks associated with the components of an underwater system
Submitted by K_Hooper on Wed, 04/04/2018 - 9:51am
n2 approaches
Underwater vehicles
Underwater Networks
Telephone sets
security
Scalability
risk management
risk level
Resiliency
pubcrawl
Organizations
N2FMEA
belief networks
Metrics
Fuzzy logic
fault trees
fault diagnosis
failure mode
failure analysis
failure (mechanical)
Electronic mail
Complexity theory
complex underwater system
biblio
A factored evolutionary optimization approach to Bayesian abductive inference for multiple-fault diagnosis
Submitted by grigby1 on Thu, 02/15/2018 - 11:46am
human factor
static fault isolation
Silicon
Resiliency
resilience
pubcrawl
Noise measurement
multiple-fault diagnosis problem
multiple fault diagnosis
Metrics
Logic gates
inference mechanisms
Human Factors
Bayes methods
Human behavior
FEA
fault trees
fault diagnosis
fault detection
factored evolutionary optimization approach
factored evolutionary algorithm
evolutionary computation
diagnostic Bayesian networks
Complexity theory
belief networks
Bayesian abductive inference
