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
AADL
biblio
Modeling and Analysis Cyber Threats in Power Systems Using Architecture Analysis Design Language (AADL)
Submitted by aekwall on Mon, 11/16/2020 - 1:58pm
Power Grid
Resilient Security Architectures
switching attack
Power systems security
power system information models
Model-based analysis
FDI attack
false data injection attacks
cyber-physical modeling capabilities
cyber-physical model
cyber-grid components
Architecture Analysis & Design Language
AADL
specification languages
security of data
verification techniques
cyber threats
power systems
program verification
power grids
power system security
power engineering computing
Software Architecture
cyber-physical security
pubcrawl
Resiliency
cyber-physical systems
biblio
Assessing Level of Resilience Using Attack Graphs
Submitted by aekwall on Mon, 11/16/2020 - 1:51pm
attack graph
Resilient Security Architectures
Unity software
system resiliency
security property
Resiliency
resilience level assessment
program visualisation
possible attack instances
JKind model checker integrated tool
generated network models
generated attack sequences
generated attack scenarios
cyber-physical-systems
architecture analysis-&-design language
AADL
security of data
faults
attack graphs
stability
Local area networks
Stability analysis
program verification
resilience
Communication networks
cyber-attacks
Analytical models
tools
graph theory
pubcrawl
security
biblio
Modeling Cloud Based Cyber Physical Systems Based on AADL
Submitted by grigby1 on Fri, 04/24/2020 - 3: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
file
Cyber-Resilient Architectural Patterns
Submitted by Anonymous on Mon, 05/06/2019 - 2:24pm. Contributor:
Darren Cofer
Presented as part of the
2019 HCSS conference
.
AADL
CASE
Cybersecurity
DARPA
formal methods
Presentation
HCSS 2019
biblio
Convergence of physical system and cyber system modeling methods for aviation cyber physical control system
Submitted by BrandonB on Fri, 05/01/2015 - 7:06am
computational design concern
Unified modeling language
Spatial-Temporal Features
physical system modeling method
physical design concern
Modelicaml
Modelica
model-integrated development approach
Mathematical model
management problem
Formal Specification
Dynamic Continuous Features
design disciplines
cyber system modeling method
cyber physical systems
convergence
AADL
aviation system convergence
aviation cyber-physical systems
aviation cyber-physical system design
Aviation Cyber Physical System
aviation cyber physical control system
Atmospheric modeling
Architecture Analysis & Design Language
Analytical models
aircraft system specification
aircraft system modeling
Aircraft
aerospace control
aerospace computing
ACPS design
