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
A Study of Security Modeling Techniques for Smart Systems
Submitted by
aekwall
on Mon, 07/06/2020 - 10:18am
security of data
security
Software
Resiliency
pubcrawl
Analytical models
risk management
Stochastic processes
Unified modeling language
system resources
critical security systems
fault trees
secure smart system development life cycle
Security modeling
Security Modeling Techniques
Smart Systems
Smartness
system services
Threat Modeling
Damage Assessment
biblio
Modeling Cloud Based Cyber Physical Systems Based on AADL
Submitted by
grigby1
on Fri, 04/24/2020 - 4:20pm
AADL
cloud
Cloud Computing
cloud platforms
cloud-based cyber-physical systems
composability
Computational modeling
CPS
cyber-physical systems
Data models
distributed sensor networks
distributed sensors
Intelligent Transportation Systems
Metrics
modeling
modeling languages
Object oriented modeling
object oriented security
object-oriented methods
pubcrawl
QoS
quality of service
resilience
Resiliency
security of data
Software
Software Architecture
UML
Unified modeling language
vehicle
wireless sensor networks
biblio
Critical Quality Factors for Rapid, Scalable, Agile Development
Submitted by
grigby1
on Fri, 03/27/2020 - 11:28am
2-week sprints
Agile development
agile methods
agile projects
capability releases
collaboration
common critical quality factors
computer architecture
critical quality factors
daily standup meetings
DP management
executable architecture research project
Games
high-quality development
Human behavior
Human Factors
knowledge management
Metrics
parallel agile
policy-based governance
project management
pubcrawl
Q-factor
quality requirements
resilience
Resiliency
Safe Coding
safe system
Safety
scalalble agile
Schedules
secure system
security
shared tacit knowledge
Software
software architectures
software development management
software processes
software quality
team working
Unified modeling language
unsecurable agile code
user-developer misunderstandings
biblio
A Co-Occurrence Recommendation Model of Software Security Requirement
Submitted by
aekwall
on Mon, 03/23/2020 - 1:30pm
security of data
Scalability
security
Software
Resiliency
pubcrawl
Training
software engineering
Unified modeling language
Human Factors
Semantics
recommender systems
software products
Co-occurrence Recommend Model (CoRM)
co-occurrence recommendation model
CoRM model
natural language processing
nonsecurity specialists
security requirements
security target documents
security threat
security-critical software systems
semantic similarity
software security threat
software SRs
biblio
Parallel Verification of Software Architecture Design
Submitted by
aekwall
on Mon, 03/16/2020 - 10:39am
computer architecture
Resiliency
pubcrawl
Production
Software systems
Unified modeling language
Software Architecture
model checking
program verification
Scalability
Predictive Metrics
Compositionality
object-oriented programming
scalable verification
Bottleneck
Circular Dependency
Component-Based Software
component-based software system
large-scale complex software systems
monolithic architecture
multi-threading
multithreaded environment
parallel verification
software architecture design
software architecture verification
biblio
Threats Against the Virtual Machine Environment of NFV
Submitted by
grigby1
on Mon, 03/09/2020 - 1:26pm
Virtual machining
virtual machines
virtual machine security
Virtual machine monitors
virtual machine environment
Unified modeling language
UML diagrams
Software
security threats
security reference architecture
security
pubcrawl
privilege escalation
on-demand network functions
NFV
network function virtualization
misuse patterns
Hardware
computer network security
computer architecture
Cloud Computing
architectural modeling
virtualisation
Virtualization
VM escape threats
biblio
Early Hybrid Safety and Security Risk Assessment Based on Interdisciplinary Dependency Models
Submitted by
grigby1
on Mon, 02/17/2020 - 5:07pm
complex critical infrastructures
critical infrastructures
Design Process
economic reasons
environmental reasons
fault trees
Human behavior
hybrid safety
interdisciplinary dependency models
interdisciplinary interactions
Metrics
Model driven engineering
modeling
policy-based governance
pubcrawl
resilience
Resiliency
risk analysis
risk management
Safety
safety assessment
security
security assessment
security design weaknesses
security risk assessment
security risks
security weaknesses
social reasons
Software
system complexity
system operation
tools
Unified modeling language
biblio
Security Risk Assessment and Management as Technical Debt
Submitted by
aekwall
on Mon, 02/17/2020 - 2:27pm
security of data
Scalability
Organizations
Software
Resiliency
pubcrawl
Iterative methods
Metrics
risk management
software engineering
Unified modeling language
software security
security management
risk analysis
technical debt
information security
Security Risk Management
iterative software development
portfolio-based technical debt management framework
risk-based extensions
risk-based security engineering processes
security debt
security debt management approach
security engineering techniques
security risk assessment
software design
software development organizations
technical debt management systems
biblio
Identification of the Impacts of Code Changes on the Security of Software
Submitted by
aekwall
on Mon, 02/10/2020 - 12:09pm
Monitoring
security
pubcrawl
composability
software security
tools
public domain software
Unified modeling language
software maintenance
source code (software)
code review
Java
safety-critical software
Scalability
security requirements
electronic commerce
assurance case elements
code change impact
enterprise resource planning
incremental development
monitored security functions
Open Source Software
open-source e-commerce software application
open-source ERP software application
security assessment time
security assurance case
security assurance cases
security state
software code
software lifetime
software assurance
biblio
Attack Modeling and Verification for Connected System Security
Submitted by
aekwall
on Wed, 05/01/2019 - 1:05pm
Adaptation models
Attack Modeling
composability
connected system security
critical systems
dynamic system modeling
Dynamical Systems
embedded systems
error detection
error propagation
extended attack tree
Formal Specification
IoT
Metrics
model checker
model checking
Petri nets
program diagnostics
program verification
pubcrawl
Resiliency
security
security of data
Software Architecture
software tools
static system modeling
SysML
SysML connectivity profile
system security specifications
system specifications
system validation
system verification
systems engineering
Systems modeling
Temporal Logic
Unified modeling language
1
2
3
next ›
last »
