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
systems analysis
biblio
An Effective Semantic Security Metric for Industrial Cyber-Physical Systems
Submitted by grigby1 on Mon, 03/29/2021 - 11:56am
pubcrawl
systems analysis
System-of-Systems
system design
SoS context
Semantics
Semantic Networks
security of data
Security Metrics
security metric definitions
Security Engineering
security by design
security
Runtime
Resiliency
resilience
Measurement
Model-Based Engineering
Metrics
industrial cyber-physical systems
ICPS
embedded systems
embedded system engineering
effective semantic security metric
cyber-physical systems
Current measurement
composability
business processes
business data processing
Business
metrics testing
biblio
Requirements Patterns Structure for Specifying and Reusing Software Product Line Requirements
Submitted by aekwall on Mon, 11/09/2020 - 1:14pm
requirement engineering activities
Information Reuse and Security
SRP structure
SPLE
software requirement pattern structure
software product lines
software product line requirements
Software Product Line Engineering
software development phases
software artifacts
Requirements Reuse
requirements patterns structure
Requirements Patterns
security
RePa requirements pattern template
systems analysis
documentation
Systematics
formal verification
Compositionality
Proposals
Formal Specification
Unified modeling language
pubcrawl
Resiliency
Software
biblio
Cyber Mutual Assured Destruction as a System of Systems and the Implications for System Design
Submitted by grigby1 on Fri, 07/03/2020 - 5:05pm
mutual assured destruction
systems analysis
system of systems
system design
security of data
Scalability
Resiliency
resilience
pubcrawl
cyber attack mutual assured destruction scenario
Human behavior
enemy attack
Deterrence
destructive capability
Cybersecurity
cyber warfare
cyber mutual assured destruction
biblio
Scalable Simulation-Based Verification of SystemC-Based Virtual Prototypes
Submitted by aekwall on Mon, 03/16/2020 - 10:39am
SystemC VP
Computer simulation
design verification
Electronic System Level
semiconductor industry
simulation behavior
Simulation-based Verification
SystemC
SystemC language
scalable verification
SystemC-based virtual prototypes
systems analysis
TLM
TLM-2.0 rules
Transaction Level Modeling framework
Virtual Prototype
virtual prototyping
Scalability
Protocols
Resiliency
pubcrawl
Computational modeling
standards
Formal Specification
verification
timing
Hardware
Predictive Metrics
Prototypes
Compositionality
formal verification
Clang
hardware description languages
Object oriented modeling
biblio
System Analysis of Caching Requests on Network Computing Nodes
Submitted by grigby1 on Tue, 02/18/2020 - 11:55am
netvork
Web Caching
vertical scaling
Task Analysis
systems analysis
system analysis
Scalability
Resiliency
resilience
Program processors
planing of the systems
Nodes
network computing nodes
pubcrawl
Metrics
Loading
Load modeling
Load management
internet
horizontal scaling
distributed fail-safe Web systems
Distributed databases
caching requests
caching
cache storage
biblio
Designing agility and resilience into embedded systems
Submitted by K_Hooper on Fri, 02/02/2018 - 11:06am
computer security
high level system properties
Global Positioning System
embedded systems
design for cyber security
cyber-physical systems
cyber security
cyber resilience
CPS
Measurement
best-practice security policies
autonomous aerial vehicles
attacker
attack surface
Assessment
ARES methodology
analytic process guides system developers
adversarial actors
resilience
UAS
Systems architecture
systems analysis
system analysis and design
security of data
RF environment
Resilient Security Architectures
Resiliency
unmanned aerial systems
remotely located communicating devices
pubcrawl
mission success
mission objectives
mission assurance a challenging problem
Mission Assurance
Metrics
metric set
