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
nonfunctional properties
biblio
Automatic Generation of Hierarchical Contracts for Resilience in Cyber-Physical Systems
Submitted by aekwall on Mon, 07/06/2020 - 10:14am
resilience
Monitoring
multiobjective optimization problem
nonfunctional properties
numerous contracts
object-oriented programming
operating conditions
optimisation
power system stability
pubcrawl
rapid fault detection
Metrics
Resilience Decentralized Algorithms
Resiliency
root contract
Scalability
Silicon
system design
System Level
System performance
web services
Cyber Dependencies
cyber physical systems
Automatic Contract Generation
automatic contract refinement
automatic generation
communication overhead
Compositionality
Contract Synthesis
contracts
core issue
CPS resilience
cyber-physical systems
fault diagnosis
growing scale
hierarchical contract-based resilience framework
hierarchical contracts generation
Human Factors
large-scale CPS
lower-level contract
manufacturing domain
biblio
Interoperability and lightweight security for simple IoT devices
Submitted by grigby1 on Mon, 06/11/2018 - 3:47pm
Ontologies
sensors
Semantics
Semantic Web
security of data
security
Resiliency
resilience
pubcrawl
Protocols
Passive optical networks
open systems
Ontology
ontologies (artificial intelligence)
composability
nonfunctional properties
Microelectronics Security
Metrics
JSON-LD
IoT security
IoT device security properties
IoT device privacy properties
IoT device interoperability
IoT device annotate connectivity properties
IoT device
interoperability
Internet of Things
data privacy
