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
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
resiliency requirements
biblio
A Top Down Approach for Eliciting Systems Security Requirements for a Notional Autonomous Space System
Submitted by aekwall on Mon, 11/16/2020 - 1:57pm
Safety
security of data
security
cyber-physical systems
Resiliency
pubcrawl
Cybersecurity
Stakeholders
IEC standards
ISO standards
Software Architecture
resilience
Formal Specification
aerospace computing
IEEE standards
requirements analysis
system architecture
resiliency requirements
architectural-level security specifications
functional-level security requirements
ISO/IEC/IEEE 152SS
NIST SP SOO-160
notional autonomous space system
notional space system
secure cyber-physical systems
software engineering processes
space missions
Space vehicles
STPA-Sec
system life cycle
system operation
system-theoretic process analysis approach for security
systems security analysis
systems security engineering
systems security requirements
top down approach
top down systems security requirements analysis approach
traceable security
Resilient Security Architectures
biblio
A Formal Model for Resiliency-Aware Deployment of SDN: A SCADA-Based Case Study
Submitted by aekwall on Mon, 07/20/2020 - 9:32am
pubcrawl
budget constraints
computability
Control Theory and Resiliency
deployment plan
encoding
formal model
formal modeling
hybrid network
incremental deployment
legacy forwarding devices
network synthesis
network topology
novel grid control operations
power engineering computing
programmable SDN-enabled switches
real-time data
resilience
Resiliency
resiliency requirements
resiliency-aware deployment
resilient operation
satisfiability modulo theories
SCADA
SCADA network
SCADA systems
SCADA-based case study
SDN architecture
SDNSynth
SDNSynth framework
Smart Grid
Smart Grids
smart power grids
software defined networking
supervisory control and data acquisition network
Switches
synthesis model
synthetic SCADA systems
systematic deployment methodology
biblio
Analytical Challenges in Reliability and Resiliency Modeling
Submitted by grigby1 on Wed, 10/02/2019 - 1:55pm
analytical challenges
changing generation mix
distribution facilities
economic activities
Electric Grid
electric loads
electric services
energy limited resources
frequent weather conditions
Fuel Security
grid resiliency
industry expectations
maintenance engineering
maintenance records
Natural gas
North America
power distribution reliability
power generation reliability
power grids
power markets
power system reliability
power transmission reliability
pubcrawl
Reliability and Resiliency Standards
Reliability engineering
resilience
Resiliency
resiliency modeling
resiliency requirements
Resource Adequacy
standards
transmission facilities
Transmission Security
biblio
A Systems Security Approach for Requirements Analysis of Complex Cyber-Physical Systems
Submitted by grigby1 on Wed, 10/02/2019 - 1:55pm
architectural-level engineering considerations
complex cyber-physical systems
cyber-physical systems
dependably secure systems
design-level security criteria
eliciting security requirements
Formal Specification
functional-level security requirements
key architectural analysis definitions
pubcrawl
readily understandable description
requirements analysis
resilience
Resiliency
resiliency requirements
security architecture analysis approaches
security of data
security processes
software engineering
software engineering processes
STPA-Sec
systems security analysis
systems security engineering
system-theoretic process analysis approach
technology reliant environment
traceable security
viable systems security analysis approach
