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
Safety
biblio
Semi-Fast Byzantine-tolerant Shared Register without Reliable Broadcast
Submitted by grigby1 on Wed, 05/05/2021 - 12:43pm
collaboration
Servers
pubcrawl
Human behavior
Metrics
policy-based governance
resilience
Resiliency
Safety
encoding
Registers
Safe Coding
Task Analysis
reliability theory
emulation
Human Factors
byzantine faults
MDS codes
Reliable broadcast
Safe registers
biblio
Robustness Contracts for Scalable Verification of Neural Network-Enabled Cyber-Physical Systems
Submitted by aekwall on Mon, 05/03/2021 - 1:16pm
Safety
programming
Resiliency
pubcrawl
Robustness
cyber-physical systems
Artificial Neural Networks
contracts
Complexity theory
Scalability
Neural networks
Predictive Metrics
Compositionality
verification
scalable verification
contract-based design
deep reinforcement learning
biblio
The Security Ingredients for Correct and Byzantine Fault-tolerant Blockchain Consensus Algorithms
Submitted by grigby1 on Tue, 04/27/2021 - 2:21pm
Availability
blockchain
blockchain security taxonomy
byzantine fault-tolerance
Consensus algorithm
Consensus algorithm security
consistency
fault tolerance
Fault tolerant systems
liveness
Peer-to-peer computing
pubcrawl
resilience
Resiliency
Safety
Scalability
security
biblio
UP2DATE: Safe and secure over-the-air software updates on high-performance mixed-criticality systems
Submitted by aekwall on Tue, 04/27/2021 - 1:15pm
security
Safety
Hardware
Software
computer architecture
pubcrawl
testing
contracts
Heterogeneous computing
Availability
composability
mixed-criticality
OTASU
biblio
Test Method for Automatic Detection Capability of Civil Aviation Security Equipment Using Bayesian Estimation
Submitted by aekwall on Tue, 04/27/2021 - 1:10pm
Safety
false alarm rate
security
Bayes methods
cyber-physical systems
Resiliency
pubcrawl
detection rate
information technology
Markov processes
estimation
Monte Carlo methods
belief networks
Bayesian estimation
civil aviation security equipment
prohibited items
biblio
Assurance levels for decision making in autonomous intelligent systems and their safety
Submitted by grigby1 on Fri, 04/09/2021 - 11:22am
security of data
cyber-physical systems
pubcrawl
Human behavior
Metrics
policy-based governance
collaboration
resilience
Resiliency
Scalability
Decision Making
safety-critical software
composability
Safety
Artificial Intelligence
cognition
assurance level
assurance level definition
autonomous intelligent system
autonomous intelligent systems safety
autonomous system decision making
cognitive functions
cognitive systems
cognitive techniques dependability
decision function
decision self-making
environmental information
hypothetical safety limitation
pure decision-making capabilities
safety critical activities
safety monitoring design
safety violations
system assurance
unavoidable uncertainty
Information Assurance
biblio
Early Combined Safety - Security Defense in Depth Assessment of Complex Systems
Submitted by grigby1 on Mon, 03/29/2021 - 1:27pm
additional system complexity
combined Safety - Security Defense in Depth Assessment
complex critical infrastructures
complex system
complex systems
computer security
concurrent safety
critical infrastructures
defense in depth
dependency model
early assessment
early conceptual design
expert systems
Human behavior
inter-system dependencies
interdisciplinary system dependencies
Large-scale systems
pubcrawl
resilience
Resiliency
Safety
Scalability
security
security assessments
security attributes
security defenses
security design weaknesses
system design life-cycle phases
system engineer
tools
traditional security research
Unified modeling language
biblio
Privacy and Security of IoT based Skin Monitoring System using Blockchain Approach
Submitted by grigby1 on Mon, 03/29/2021 - 1:14pm
blockchain
cloud
Cloud Computing
Cryptography
Data protection
Data Transmission
distributed architecture
Distributed databases
expert systems
health care
Human Factors
Internet of Things
IoT based skin monitoring system
IoT based skin surveillance system
IoT devices
IoT monitoring
medical care
medical information systems
Medical services
patient care
patient monitoring
patients care
Peer-to-peer computing
privacy
private medical data
pubcrawl
remote patient monitoring
Safety
safety mechanism
Scalability
security
Skin
skincare monitoring
telemedicine
biblio
A Formal Model for the Automatic Configuration of Access Protection Units in MPSoC-Based Embedded Systems
Submitted by grigby1 on Mon, 03/29/2021 - 11:56am
abstract permission declarations
access permissions
access protection
access protection unit
authorisation
Code Generation
composability
configuration code
Data protection
dedicated access protection units
embedded systems
formal model
Hardware
heterogeneous system-on-chip platforms
information flow requirements
information flow tracking
internal communication links
Metrics
model-based design
MPSoC-based embedded systems
multiple processing cores
multiprocessing systems
multiprocessor system-on-chip
on-chip isolation
pubcrawl
real-time systems
resilience
Resiliency
Safety
safety-critical embedded system
safety-critical software
security
security-critical embedded system
system-level isolation
system-on-chip
timing
biblio
Safe and secure software updates on high-performance embedded systems
Submitted by grigby1 on Mon, 03/29/2021 - 11:56am
Artificial Intelligence
artificial intelligence algorithms
automobiles
autonomous systems
certification
composability
computational complexity
dependable embedded systems
embedded systems
extended networking technologies
hardware complexity
hardware platform
high computing demands
high performance scale
high-performance embedded systems
interconnected system resilient
Metrics
OTASU
post-deployment evidence
potentially infinite scenarios
pubcrawl
regular software updates
resilience
Resiliency
Safety
secure software updates
security
security of data
security threats
standards
system dependability
traditional certification practices
1
2
3
4
5
6
7
8
9
…
next ›
last »
