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
Formal Specification
biblio
Human-centric Software Engineering for Next Generation Cloud- and Edge-based Smart Living Applications
Submitted by grigby1 on Mon, 03/29/2021 - 1:16pm
aging
Cloud Computing
data analysis
data analysis applications
data privacy
data visualisation
diverse software usability defects
diversity and inclusion
domain-specific visual models
edge computing
edge computing applications
edge-based smart living applications
edge-based software systems
end user emotions
expert systems
Formal Specification
human computer interaction
Human Factors
human usage patterns
human-centric security
human-centric software engineering
Intelligent sensors
Internet of Things
next generation cloud
next-generation applications
privacy
Privacy Requirements
pubcrawl
Scalability
smart cities
smart city-related data
Smart homes
smart living systems
Software
software activities
software development
software engineering
software requirements engineering
user centred design
user interfaces
visualization
biblio
A Study of Evaluation Methods of WEB Security Threats Based on Multi-stage Attack
Submitted by grigby1 on Wed, 03/17/2021 - 12:43pm
tools
security of data
security
Servers
pubcrawl
resilience
Resiliency
Analytical models
Scalability
Data models
internet
web services
Formal Specification
Internet services
Reconnaissance
Classified protection
Kill Chain
Measures
multistage attack
Security Evaluation
security specification
security vulnerability model
Web application services
Web security threats
Chained Attacks
biblio
ConForm: In-band Control Plane Formation Protocol to SDN-Based Networks
Submitted by grigby1 on Tue, 03/16/2021 - 2:10pm
Bootstrap
bootstrap protocol
clean slate
clean slate architectures
collaboration
computer network management
data plane
Formal Specification
Human behavior
In-Band Control Plane
In-band Control Plane Formation Protocol
inband control plane
IP networks
management plane activities
management plane related activities
Metrics
network startup
network topology
network topology discovery
OpenFlow-based SDN networks
optical switches
policy-based approach
protocol design
Protocols
pubcrawl
resilience
Resiliency
SDN-based networks
security
Self-establishment
software defined networking
TCPIP
telecommunication network topology
telecommunication traffic
Topology
transport protocols
biblio
A Top Down Approach for Eliciting Systems Security Requirements for a Notional Autonomous Space System
Submitted by aekwall on Mon, 11/16/2020 - 2:57pm
Safety
security of data
security
cyber-physical systems
Resiliency
pubcrawl
Cybersecurity
Stakeholders
IEC standards
ISO standards
Software Architecture
resilience
Formal Specification
aerospace computing
IEEE standards
requirements analysis
system architecture
resiliency requirements
architectural-level security specifications
functional-level security requirements
ISO/IEC/IEEE 152SS
NIST SP SOO-160
notional autonomous space system
notional space system
secure cyber-physical systems
software engineering processes
space missions
Space vehicles
STPA-Sec
system life cycle
system operation
system-theoretic process analysis approach for security
systems security analysis
systems security engineering
systems security requirements
top down approach
top down systems security requirements analysis approach
traceable security
Resilient Security Architectures
biblio
Requirements Patterns Structure for Specifying and Reusing Software Product Line Requirements
Submitted by aekwall on Mon, 11/09/2020 - 1:14pm
security
Software
Resiliency
pubcrawl
Unified modeling language
Formal Specification
Proposals
Compositionality
formal verification
Systematics
documentation
systems analysis
RePa requirements pattern template
requirement engineering activities
Requirements Patterns
requirements patterns structure
Requirements Reuse
software artifacts
software development phases
Software Product Line Engineering
software product line requirements
software product lines
software requirement pattern structure
SPLE
SRP structure
Information Reuse and Security
biblio
Property Based Formal Security Verification for Hardware Trojan Detection
Submitted by grigby1 on Mon, 11/02/2020 - 1:35pm
Complexity theory
composability
Coq
fine grained gate level information flow model
formal representations
formal security verification
Formal Specification
formal verification
formal verification method
golden reference design
Hardware
hardware designs
Hardware Security
hardware trojan
industrial property
information flow analysis
Integrated circuit modeling
intellectual property security
invasive software
Logic gates
malicious Hardware Trojans
modern computer hardware
policy-based governance
pubcrawl
register transfer level information flow security models
resilience
Resiliency
secret information
security
security behavior
Security Properties
Semantics
Theorem Proving
third-party intellectual property cores
Trojan horses
biblio
Dependability Assessment of SOA-Based CPS With Contracts and Model-Based Fault Injection
Submitted by grigby1 on Mon, 10/05/2020 - 2:03pm
Adaptation models
Analytical models
architectural designs
automata
Compositionality
Computational modeling
constituent components
contract specification help
Contract-based
contracts
CPS model
cyber-physical
cyber-physical systems
dependability
engineering complex distributed systems
fault diagnosis
Fault injection
Formal Specification
Model-based
pubcrawl
service behavior
service orientation
service orientation (SOA)
service-oriented architecture
Software Architecture
tools
biblio
Towards a Model-centric Approach for Developing Dependable Smart Grid Applications
Submitted by aekwall on Mon, 09/28/2020 - 11:34am
Resiliency
pubcrawl
composability
smart power grids
systems engineering
Traceability
Automated Secure Software Engineering
Software Architecture
power engineering computing
Smart Grid
Formal Specification
complex systems
central quality attribute
Code Generation
complex System-of-Systems
critical System-of-Systems
dependability
dependable Smart Grid applications
Domain Specific Systems Engineering
DSSE
Model-centric approach
Model-Centric Software Development
Model-Centric Software Development solution
Model-Driven Architecture approach
model-driven engineering
SGAM
Smart Grids criticality
biblio
A Formal Modeling and Verification Framework for Service Oriented Intelligent Production Line Design
Submitted by grigby1 on Thu, 07/16/2020 - 11:44am
Adaptation models
application requirements
complex application
composability
CPS modeling
existing modeling methods
formal modeling
formal simulation verification framework
Formal Specification
formal verification
independent equipment network integration
Intelligent production line
large scale high-performance system
Mathematical model
Metrics
model and verification
model-based service-oriented integration approach
model-centric way
performance constraints
production engineering computing
pubcrawl
quality of service
resilience
Resiliency
service oriented
service oriented intelligent production line design
service-oriented architecture
simulations
Software Architecture
Task Analysis
tools
Unified modeling language
verification method
web services
biblio
The European H2020 project VESSEDIA (Verification Engineering of Safety and SEcurity critical Dynamic Industrial Applications)
Submitted by grigby1 on Fri, 06/26/2020 - 1:18pm
certification
composability
connected systems security
cyber-attacks
cyber-physical systems
Cyber-security
embedded systems
Europe
European H2020 project VESSEDIA
formal methods
Formal Specification
formal verification
high-criticality applications
Internet of Things
IoT
IoT security
Metrics
program diagnostics
pubcrawl
Resiliency
Safety
security
Security and Safety Analysis
security of data
Software
software fault tolerance
Source code analysis
static analysis
tools
verification engineering of safety and security critical dynamic industrial applications
1
2
3
4
5
next ›
last »