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
Object oriented modeling
biblio
A gateway to easily integrate simulation platforms for co-simulation of cyber-physical systems
Submitted by
grigby1
on Thu, 07/16/2020 - 11:56am
co-simulation
co-simulation expertise
communication libraries
composability
Computational modeling
computer architecture
CPS conceptual design
CPS modeling
cyber-physical systems
digital simulation
distributed processing
distributed simulation
functional mock-up interface
high level architecture
high-level architecture standard
interacting physical components
Java
Large-scale systems
Libraries
Logic gates
Metrics
National Institute of Standards and Technology co-simulation platform
NIST co-simulation platform
Object oriented modeling
pubcrawl
Research Infrastructure
resilience
Resiliency
simulations
Software Architecture
standards
Universal CPS Environment
biblio
A Unified Architecture for Industrial IoT Security Requirements in Open Platform Communications
Submitted by
grigby1
on Fri, 05/08/2020 - 2:20pm
composability
Data models
fourth industrial revolution
Germany
industrial control
industrial control system security
Industrial Control Systems
industrial infrastructures
industrial IoT security requirements
Industries
Internet of Things
machine-readable data model
Metrics
Object oriented modeling
object oriented security
OPC UA
OPC UA server
open platform communications
Production
production engineering computing
pubcrawl
resilience
Resiliency
SCADA Security
security
security of data
security requirement communication
Security Requirements Modeling
standards
unified communication architecture
unified data model
biblio
Performance Evaluation for Secure Internet Group Management Protocol and Group Security Association Management Protocol
Submitted by
grigby1
on Fri, 04/24/2020 - 4:21pm
authorisation
composability
data delivery
Group Security Association Management Protocol
internet
Internet protocol television
Internet service providers
IP multicast technology
IP networks
IPTV
media streaming
Metrics
multicast communication
multicast distribution
multicast protocols
Object oriented modeling
object oriented security
Protocols
pubcrawl
resilience
Resiliency
secure Internet Group Management Protocol
security
telecommunication security
Unicast
biblio
Modeling Cloud Based Cyber Physical Systems Based on AADL
Submitted by
grigby1
on Fri, 04/24/2020 - 4:20pm
AADL
cloud
Cloud Computing
cloud platforms
cloud-based cyber-physical systems
composability
Computational modeling
CPS
cyber-physical systems
Data models
distributed sensor networks
distributed sensors
Intelligent Transportation Systems
Metrics
modeling
modeling languages
Object oriented modeling
object oriented security
object-oriented methods
pubcrawl
QoS
quality of service
resilience
Resiliency
security of data
Software
Software Architecture
UML
Unified modeling language
vehicle
wireless sensor networks
biblio
Research on the Simulation Algorithm of Object-Oriented Language
Submitted by
grigby1
on Fri, 04/24/2020 - 4:20pm
cache storage
Complexity theory
composability
dynamic protection
Extraterrestrial measurements
GUT
inheritance
Local area networks
low-energy independence complexity theory
Metrics
mixed object oriented language
Object oriented modeling
object oriented security
Object-Oriented Language
object-oriented languages
object-oriented programming
process language
pubcrawl
pure object oriented language
resilience
Resiliency
safety-critical software
security model
simulation algorithm
static protection
system analysis and design
visualization
write-back cache
biblio
A Robust Malware Detection System Using Deep Learning on API Calls
Submitted by
grigby1
on Fri, 03/27/2020 - 11:37am
Logic gates
deep learning
learning (artificial intelligence)
collaboration
feature extraction
Neural networks
pubcrawl
policy-based governance
composability
malware
invasive software
sandboxing
application program interfaces
cuckoo sandbox
API
API calls
API sequences
BLSTM
component
computer security
malware detection
massive datasets
massive malware
neural nets
Object oriented modeling
redundant API
robust malware detection system
biblio
Scalable Simulation-Based Verification of SystemC-Based Virtual Prototypes
Submitted by
aekwall
on Mon, 03/16/2020 - 10:39am
Hardware
Protocols
Resiliency
pubcrawl
Computational modeling
standards
Formal Specification
verification
timing
Scalability
Predictive Metrics
Prototypes
Compositionality
formal verification
Clang
hardware description languages
Object oriented modeling
scalable verification
Computer simulation
design verification
Electronic System Level
semiconductor industry
simulation behavior
Simulation-based Verification
SystemC
SystemC language
SystemC VP
SystemC-based virtual prototypes
systems analysis
TLM
TLM-2.0 rules
Transaction Level Modeling framework
Virtual Prototype
virtual prototyping
biblio
Estimation of Information System Security Using Hybrid Simulation in AnyLogic
Submitted by
aekwall
on Mon, 03/09/2020 - 11:16am
security of data
Scalability
information security
Resiliency
pubcrawl
Metrics
optimization
Data protection
optimisation
Mathematical model
Probabilistic logic
Information systems
Petri nets
Human Factors
business data processing
security system analysis
Permission
context-role
deterministic and probabilistic model
discrete event simulation
hybrid simulation
information system security
Object oriented modeling
perimeter protection
Security Risk Estimation
biblio
Information-Centric IoT Middleware Overlay: VSL
Submitted by
grigby1
on Tue, 01/21/2020 - 11:27am
computer architecture
Context modeling
Data models
data-centric
data-centric Internet architectures
data-centric VSL interface
edge-based installations
explicit data
Information Centric Network
Information Centric Networks
information-centric
information-centric IoT middleware overlay
Internet of Things
Internet weather databases
IoT services
middleware
name-based
name-based communication architectures
name-based communication architectures complement
Object oriented modeling
Peer-to-peer computing
physical environments
physical surroundings
pubcrawl
resilience
Resiliency
Scalability
security-by-design
semantically-rich data item lookup
service-centric
service-centric designs
site-local data-centric architecture
site-local installations
virtual state layer
biblio
A Framework for Threat-Driven Cyber Security Verification of IoT Systems
Submitted by
grigby1
on Fri, 06/28/2019 - 10:36am
Alloy
Analytical models
attack patterns
Communication channels
Compositionality
control systems
distributed control
distributed industrial control systems
formal verification
industrial control
industrial IoT infrastructures
Internet of Things
IoT
IoT systems
Metals
Metrics
mitigation strategies
model checking-based formal analysis
modeling
Object oriented modeling
production engineering computing
pubcrawl
resilience
Resiliency
Scalability
scalable verification
security
security of data
Security Properties
Silicon
system deployment
system security
threat-driven cyber security verification
1
2
next ›
last »
