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
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
Unified modeling language
biblio
Attack Modeling and Verification for Connected System Security
Submitted by
aekwall
on Wed, 05/01/2019 - 1:05pm
Dynamical Systems
Temporal Logic
Systems modeling
system security specifications
SysML connectivity profile
SysML
static system modeling
system verification
system validation
system specifications
Adaptation models
embedded systems
security of data
IoT
software tools
program verification
program diagnostics
Petri nets
model checking
model checker
Formal Specification
extended attack tree
error propagation
error detection
dynamic system modeling
critical systems
connected system security
Attack Modeling
Software Architecture
systems engineering
Unified modeling language
Metrics
composability
pubcrawl
Resiliency
security
biblio
Prototyping Self-Managed Interdependent Networks - Self-Healing Synergies against Cascading Failures
Submitted by
aekwall
on Mon, 03/25/2019 - 9:54am
Adaptation models
cascading failure
catastrophic instabilities
complex networks
composability
Computational modeling
digital society
distributed system
failure analysis
general prototyping approach
healer network
interdependent networks
interdependent power networks
interdisciplinary scope
Load flow
Load modeling
modeling
modular design solution
multiplex networks
network interconnection
open source software extension
organizational constraints
power cascading failures
power engineering computing
power flow exchanges
power grids
power system faults
power system interconnection
Power system protection
power system reliability
pubcrawl
public domain software
real-world interdependent networks
resilience
self-healing
self-healing mechanism
self-healing networks
self-healing synergies
self-managed interdependent networks
self-management
self-management software systems
SFINA
simulation
simulation framework for intelligent network adaptations
Smart Grid
socio-economic effects
Software
software artifact
techno-socio-economic sectors
Unified modeling language
biblio
Threat Extraction Method Based on UML Software Description
Submitted by
aekwall
on Mon, 03/04/2019 - 10:49am
Threat Modeling
security of data
security
Resiliency
pubcrawl
composability
Computational modeling
software security
Databases
software engineering
Extracting threats
human knowledge
knowledge based systems
security relevant attributes
sequence diagram
software application
software behavior
software development
software system
Software systems
threat extraction method
threat knowledge base
UML software description
Unified modeling language
Automated Secure Software Engineering
biblio
Service Design Metrics to Predict IT-Based Drivers of Service Oriented Architecture Adoption
Submitted by
grigby1
on Mon, 12/10/2018 - 11:42am
resilience
pubcrawl
Metrics
Resiliency
Scalability
Business
business based capabilities
Complexity theory
Couplings
design flaws
ervice design
infrastructure efficiency
IT-based driver
Measurement
Protocols
service design metrics
service interface diagram
service oriented architecture
service reuse
service-oriented architecture
SOA modeling language
SoaML
software engineering metrics properties
software metrics
structural domain level similarity
Unified modeling language
work factor metrics
biblio
Design pattern for secure object oriented information systems development
Submitted by
grigby1
on Thu, 08/23/2018 - 11:57am
security
Concurrency
cyber-physical systems
pubcrawl
information security
data confidentiality
composability
security of data
Software
Information systems
Unified modeling language
resilience
data integrity
Metrics
Resiliency
object-oriented programming
application security
data availability
Design patterns
object oriented design framework
object oriented design patterns
object-oriented methods
Secure Information Systems
secure object oriented information systems development
Secure Software Design
user interface
biblio
Assessing the Quality of Tabular State Machines through Metrics
Submitted by
grigby1
on Mon, 03/05/2018 - 1:08pm
Adaptation models
analytical software design tooling
ASD models
coding theory
Complexity theory
Compositionality
Cryptography
Metrics
Model metrics
pubcrawl
quality of models
resilience
Resiliency
security
Software
Software measurement
software metrics
software quality
tabular state machines
Unified modeling language
Variable speed drives
biblio
From Secure Business Process Modeling to Design-Level Security Verification
Submitted by
grigby1
on Tue, 02/27/2018 - 2:28pm
Air gaps
air traffic management system
BPMN
business data processing
business process modeling security
composability
design-level security verification
Formal Specification
formal verification
Human behavior
Human Factors
Metrics
Model transformation
modeling
organisational aspects
organizational aspects
procedural system descriptions
pubcrawl
resilience
Resiliency
SecBPMN2
security
security engineering framework
security of data
security requirements
socio-technical systems
Stakeholders
system design
system developers
Systems architecture
UML
UMLsec policies
Unified modeling language
biblio
Towards an Integrated Model for Safety and Security Requirements of Cyber-Physical Systems
Submitted by
grigby1
on Fri, 02/02/2018 - 1:27pm
certification
compliance assurance
composability
Context modeling
cyber-physical systems
documentation
formal verification
integrated computational-physical capabilities
pubcrawl
requirements engineering
Safety
safety assurance
Safety management
safety requirements
safety-critical software
Safety-Critical Systems
Scalability
security
Security Assurance
security management
security of data
security requirements
security-critical systems
software assurance
standards
Unified modeling language
biblio
Recovering Semantic Traceability Links between APIs and Security Vulnerabilities: An Ontological Modeling Approach
Submitted by
K_Hooper
on Wed, 12/20/2017 - 11:31am
API
APIs
code reuse
code sharing
Computational modeling
Databases
global software ecosystem
Information Reuse
information silos
Knowledge modeling
ontological modeling approach
Ontologies
ontologies (artificial intelligence)
ontology-based knowledge modeling approach
project boundaries
proprietary knowledge representation
pubcrawl
reasoning
reasoning services
Resiliency
safety-critical software
security
security knowledge
security vulnerability
semantic traceability link recovery
Semantic Web
Semantics
Software
software engineering community
software houses
software industry globalization
software knowledge
software products
Source code analysis
traceability improvement
trust improvement
Unified modeling language
vulnerabilities and patches
biblio
SLA-Based Secure Cloud Application Development: The SPECS Framework
Submitted by
grigby1
on Wed, 03/08/2017 - 2:28pm
API
application program interfaces
Cloud Computing
Context
contracts
Monitoring
pubcrawl170112
Secure Cloud Application Development
secure Web server
security
security of data
security service level agreement
security SLA
security-as-a-service
security-enhanced service
SLA-based secure cloud application development
SPECS
SPECS framework
supply chains
Unified modeling language
user-defined security feature
1
2
next ›
last »
