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
Architecture Analysis & Design Language
biblio
Modeling and Analysis Cyber Threats in Power Systems Using Architecture Analysis Design Language (AADL)
Submitted by aekwall on Mon, 11/16/2020 - 2: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
Convergence of physical system and cyber system modeling methods for aviation cyber physical control system
Submitted by BrandonB on Fri, 05/01/2015 - 8: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
