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
UML
biblio
Comprehensive Model-Driven Complexity Metrics for Software Systems
Submitted by grigby1 on Tue, 04/27/2021 - 3:58pm
class diagram
Complexity Metric
Complexity theory
Measurement
Metrics
pubcrawl
security
Security Metrics
Software
software design
Software measurement
Software systems
state machine
sustainable development
UML
Unified modeling language
biblio
Investigation on Privacy Preserving using K-Anonymity Techniques
Submitted by grigby1 on Thu, 01/28/2021 - 2:00pm
medical conditions
UML
Resiliency
resilience
Repository
pubcrawl
Privacy-preserving
privacy preserving
Portals
personal information
person-identifiable information
online portals
Metrics
anonymity
k-anonymity techniques
k-anonymity
Human behavior
data repository
data privacy
Data mining
data encryption
Cryptography
credit card information
computing device pervasiveness
composability
component
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
Model-Based Security Analysis of Feature-Oriented Software Product Lines
Submitted by grigby1 on Mon, 12/30/2019 - 2:17pm
security
pubcrawl
Resiliency
Scalability
ocl
software product lines
UML
exponentiation
biblio
From Secure Business Process Modeling to Design-Level Security Verification
Submitted by grigby1 on Tue, 02/27/2018 - 2:28pm
socio-technical systems
pubcrawl
resilience
Resiliency
SecBPMN2
security
security engineering framework
security of data
security requirements
procedural system descriptions
Stakeholders
system design
system developers
Systems architecture
UML
UMLsec policies
Unified modeling language
Air gaps
organizational aspects
organisational aspects
modeling
Model transformation
Metrics
Human Factors
Human behavior
formal verification
Formal Specification
design-level security verification
composability
business process modeling security
business data processing
BPMN
air traffic management system
