modeling

biblio

Modeling Cloud Based Cyber Physical Systems Based on AADL

Submitted by grigby1 on Fri, 04/24/2020 - 4:20pm

modeling languages
wireless sensor networks
vehicle
Unified modeling language
UML
Software Architecture
Software
security of data
Resiliency
resilience
quality of service
QoS
pubcrawl
object-oriented methods
object oriented security
Object oriented modeling
AADL
modeling
Metrics
Intelligent Transportation Systems
distributed sensors
distributed sensor networks
Data models
cyber-physical systems
CPS
Computational modeling
composability
cloud-based cyber-physical systems
cloud platforms
Cloud Computing
cloud

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

file

bioCPS for Engineering Living Cells

Submitted by Calin Belta on Fri, 01/10/2020 - 4:37pm. Contributors:

Calin Belta
Doug Densmore
Vijay Kumar
Ron Weiss
Demarcus Briers
Sambeeta Das
Nicholas DeLateur
Elizabeth Hunter
Curtis Madsen
Noushin Mehdipour
Edward Steager
Brian Teague
Prashant Vaidyanathan
Junmin Wang

modeling
Genetic Circuits
Pattern Synthesis
Biological Microrobots
Posters
1446607
CPS PI Meeting 2019
2019
NSF
U.S. Government
Poster

biblio

Engineering Trust: A Graph-Based Algorithm for Modeling, Validating, and Evaluating Trust

Submitted by aekwall on Mon, 12/09/2019 - 12:23pm

psychology
Computing Theory and Trust
trust modeling
systems engineering processes
Systems architecture
System Engineering
requirements analysis
graph-based modeling methodology
graph-based algorithm
engineering trust
disparate system
Component architectures
complex multitiered system architectures
complex intersystem trust relationships
Compositionality
cognition
security of data
modeling
Risk
evaluation
Trust management
Measurement
trust
systems engineering
Vulnerability
Metrics
Computational modeling
graph theory
composability
pubcrawl
Trusted Computing

biblio

Modeling and Verifying SDN with Multiple Controllers

Submitted by grigby1 on Tue, 11/12/2019 - 4:29pm

collaboration
composability
Compositionality
CSP
hyperflow
modeling
policy-based governance
privacy
protocol verification
pubcrawl
SDN
verification

biblio

Privacy-Preserving Dynamic Learning of Tor Network Traffic

Submitted by grigby1 on Wed, 10/30/2019 - 10:31am

collaboration
comparability
Human behavior
Measurement
Metrics
modeling
Performance
pubcrawl
Resiliency
Scalability
Science of Security
simulation
Tor

biblio

Quantifying & minimizing attack surfaces containing moving target defenses

Submitted by Katie Dey on Fri, 09/13/2019 - 5:48am

Measurement
timeliness violations
threat assessment
Surface treatment
security of data
security
Resilient Systems
Quantification
moving target defenses
modeling
Minimization
Analytical models
IP networks
Human Machine Teaming
dynamic proactive defenses
cyber security exposure
cyber security analysis
cyber friendly fire
Computational modeling
C3E 2019
attack surface minimization
Human Machine Teaming
C3E 2019

biblio

Dagger: Modeling and visualization for mission impact situation awareness

Submitted by Katie Dey on Mon, 09/09/2019 - 2:14pm

HMT
visualization framework
visualization
security
network security data context
network security
modeling framework
modeling
mission impact situation awareness
mission impact assessment
Knowledge representation
Interactions
Human Machine Teaming
C3E 2019
decision-making
Data visualization
data visualisation
Data models
Dagger framework
Cyberspace
cyber situation awareness
Context modeling
Context
computer network security
Computational modeling
Communication networks
Cognitive Security
Articles of Interest
Human Machine Teaming
Interactions
C3E 2019

biblio

A Framework for Threat-Driven Cyber Security Verification of IoT Systems

Submitted by grigby1 on Fri, 06/28/2019 - 10:36am

scalable verification
model checking-based formal analysis
modeling
Object oriented modeling
production engineering computing
pubcrawl
resilience
Resiliency
Scalability
mitigation strategies
security
security of data
Security Properties
Silicon
system deployment
system security
threat-driven cyber security verification
Alloy
Metrics
Metals
IoT systems
IoT
Internet of Things
industrial IoT infrastructures
industrial control
formal verification
distributed industrial control systems
distributed control
control systems
Compositionality
Communication channels
attack patterns
Analytical models

forum

Call for Papers: CyPhy’19 (EXTENDED DEADLINE)

Submitted by willirn1 on Mon, 06/17/2019 - 3:28pm

Call for Papers -- Extended Deadline

The Ninth International Workshop on Model-Based Design of Cyber-Physical Systems (CyPhy'19)

October 17-18th, 2019 | New York, NY | www.cyphy.org

Part of ESWeek (www.esweek.org) in NYC, NY. The conference will take place at the Kimmel Center for University Life.

Calls for Papers
CPS Domains
Systems Engineering
Modeling
CPS Technologies
Domain Specific Languages
Artificial Intelligence
systems engineering
Internet of Things
modeling
model-based design
cyber physical systems
Announcement

« first
‹ previous
1
2
3
4
5
6
7
8
next ›
last »

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

modeling

Modeling Cloud Based Cyber Physical Systems Based on AADL

Early Hybrid Safety and Security Risk Assessment Based on Interdisciplinary Dependency Models

bioCPS for Engineering Living Cells

Engineering Trust: A Graph-Based Algorithm for Modeling, Validating, and Evaluating Trust

Modeling and Verifying SDN with Multiple Controllers

Privacy-Preserving Dynamic Learning of Tor Network Traffic

Quantifying & minimizing attack surfaces containing moving target defenses

Dagger: Modeling and visualization for mission impact situation awareness

A Framework for Threat-Driven Cyber Security Verification of IoT Systems

Call for Papers: CyPhy’19 (EXTENDED DEADLINE)

The Ninth International Workshop on Model-Based Design of Cyber-Physical Systems (CyPhy'19)