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
Software Architecture
biblio
Dependability Assessment of SOA-Based CPS With Contracts and Model-Based Fault Injection
Submitted by grigby1 on Mon, 10/05/2020 - 1:03pm
dependability
tools
Software Architecture
service-oriented architecture
service orientation (SOA)
service orientation
service behavior
pubcrawl
Model-based
Formal Specification
Fault injection
fault diagnosis
engineering complex distributed systems
Adaptation models
cyber-physical systems
cyber-physical
CPS model
contracts
Contract-based
contract specification help
constituent components
Computational modeling
Compositionality
automata
architectural designs
Analytical models
biblio
Towards a Model-centric Approach for Developing Dependable Smart Grid Applications
Submitted by aekwall on Mon, 09/28/2020 - 10:34am
Code Generation
Smart Grids criticality
SGAM
model-driven engineering
Model-Driven Architecture approach
Model-Centric Software Development solution
Model-Centric Software Development
Model-centric approach
DSSE
Domain Specific Systems Engineering
dependable Smart Grid applications
dependability
critical System-of-Systems
complex System-of-Systems
Resiliency
central quality attribute
complex systems
Formal Specification
Smart Grid
power engineering computing
Software Architecture
Automated Secure Software Engineering
Traceability
systems engineering
smart power grids
composability
pubcrawl
biblio
Automated Suggestions of Security Enhancing Improvements for Software Architectures
Submitted by aekwall on Mon, 09/28/2020 - 10:34am
connected smart household devices
Software Architecture Improvements
security improvements
security enhancing improvements
Secure Software Architecture
secure applications
nonarchitecture experts
model-based development techniques
industrial automation domain
given software architecture
design phase
security
Automated Improvements
architecture redesigns
architectural improvements
specification languages
smart home domain
Software Architecture
Automated Secure Software Engineering
composability
pubcrawl
Resiliency
biblio
A gateway to easily integrate simulation platforms for co-simulation of cyber-physical systems
Submitted by grigby1 on Thu, 07/16/2020 - 10:56am
pubcrawl
Java
Large-scale systems
Libraries
Logic gates
Metrics
National Institute of Standards and Technology co-simulation platform
NIST co-simulation platform
Object oriented modeling
interacting physical components
Research Infrastructure
resilience
Resiliency
simulations
Software Architecture
standards
Universal CPS Environment
CPS modeling
high-level architecture standard
high level architecture
functional mock-up interface
distributed simulation
distributed processing
digital simulation
cyber-physical systems
CPS conceptual design
computer architecture
Computational modeling
composability
communication libraries
co-simulation expertise
co-simulation
simulation
biblio
A Formal Modeling and Verification Framework for Service Oriented Intelligent Production Line Design
Submitted by grigby1 on Thu, 07/16/2020 - 10:44am
service-oriented architecture
performance constraints
production engineering computing
pubcrawl
quality of service
resilience
Resiliency
service oriented
service oriented intelligent production line design
model-centric way
simulations
Software Architecture
Task Analysis
tools
Unified modeling language
verification method
web services
formal verification
application requirements
complex application
composability
CPS modeling
existing modeling methods
formal modeling
formal simulation verification framework
Formal Specification
Adaptation models
independent equipment network integration
Intelligent production line
large scale high-performance system
Mathematical model
Metrics
model and verification
model-based service-oriented integration approach
biblio
Merging DoDAF architectures to develop and analyze the DoD network of systems
Submitted by aekwall on Mon, 05/11/2020 - 10:28am
merging
Systems engineering and theory
system-to-system matrix
system architectures
network metrics
military communication
Joint Interoperability and Capability Development System process
DoD network of systems
DoD legacy systems
DoD leadership
DoD Information Network
DoD Architecture Framework products
Department of Defense
network accountability
computer architecture
information networks
US Department of Defense
open systems
social network analysis
interoperability
military computing
Software Architecture
Measurement
Metrics
social networking (online)
composability
pubcrawl
Resiliency
biblio
ERAMIS: A Reference Architecture-Based Methodology for IoT Systems
Submitted by grigby1 on Fri, 05/08/2020 - 1:20pm
methodology
Software Architecture
Security Properties
security of data
security
Resiliency
resilience
reference architecture-based methodology
pubcrawl
operational security services
object-oriented programming
object oriented security
Metrics
architecture
ISO standards
IoT-enabled applications
IoT systems
IoT
Internet of Things
IEC standards
ERAMIS methodology
design features
computer architecture
composability
complexity
Business
biblio
A Security Architecture Framework for Critical Infrastructure with Ring-based Nested Network Zones
Submitted by aekwall on Mon, 05/04/2020 - 10:07am
architectural design
structural design
security architecture framework
security architecture
security architectural framework
secured information systems
ring-based nested network zones
Nested Zones
N-tier/shared nothing system architectures
defense-in-depth approach
defense in depth
data centers
critical infrastructure
Attack Hops
security of data
network architecture
Network Security Architecture
critical information infrastructure
Guidelines
security attributes
Information systems
Software Architecture
standards
pubcrawl
Resiliency
computer architecture
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
biblio
Parallel Verification of Software Architecture Design
Submitted by aekwall on Mon, 03/16/2020 - 9:39am
object-oriented programming
software architecture verification
software architecture design
parallel verification
multithreaded environment
multi-threading
monolithic architecture
large-scale complex software systems
component-based software system
Component-Based Software
Circular Dependency
Bottleneck
scalable verification
computer architecture
Compositionality
Predictive Metrics
Scalability
program verification
model checking
Software Architecture
Unified modeling language
Software systems
Production
pubcrawl
Resiliency
« first
‹ previous
1
2
3
4
5
6
7
8
9
next ›
last »
