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
embedded systems
biblio
An Empirical Study of Comparison of Code Metric Aggregation Methods–on Embedded Software
Submitted by
grigby1
on Mon, 03/09/2020 - 2:38pm
Conferences
data aggregation
econometric methods
econometrics
embedded software projects
embedded systems
metric distribution
metric distribution methods
project management
pubcrawl
reliability assessment model
security
Security Metrics
software code metric aggregation
software code metrics
software management
software metrics
software quality
software reliability
software reliability evaluation
statistical value methods
biblio
Alternatives to Fault Injections for Early Safety/Security Evaluations
Submitted by
aekwall
on Mon, 03/09/2020 - 11:17am
Safety
security of data
Scalability
Hardware
Software
embedded systems
SoC
system-on-chip
Time measurement
Resiliency
pubcrawl
Metrics
Reliability
cost reduction
ISO standards
safety-critical software
Human Factors
CPS
Circuit faults
hardware-software codesign
cyber physical systems
dependability analysis
fault injections
functional safety standards
HW-SW systems
intertwined hardware
ISO 26262
market pressure
radiation testing
RTL fault injection campaigns
system dependability constraints
Security Risk Estimation
biblio
Secure Memory for Embedded Tamper-Proof Systems
Submitted by
grigby1
on Mon, 03/02/2020 - 1:32pm
Aerospace electronics
change memory contents
Cryptography
data change scenaria
Data protection
embedded systems
embedded tamper-proof systems
Human behavior
Human Factors
Integrated circuit modeling
integrated circuits
memory cell circuitry
memory data change
memory data leakage protection
memory instability
Memory management
memory supply voltage manipulation
metastability
Metrics
protection circuitry
pubcrawl
Scalability
secure memory
security of data
storage management
Tamper resistance
tamper-proof embedded systems
tamper-proof system
Tamper-Resistance
Trusted Component
Voltage measurement
biblio
Increased Fault-Tolerance and Real-Time Performance Resiliency for Stream Processing Workloads through Redundancy
Submitted by
grigby1
on Wed, 02/26/2020 - 4:48pm
aggregate performance metrics
business analytics
communication faults
Data Analytics
embedded systems
failed communication
fault tolerance
fault tolerant computing
fine-grained acknowledgment schemes
fine-grained acknowledgment tracking scheme
Garbage Collection
multiprocessing systems
performance faults
Processor scheduling
pubcrawl
Real Time
Redundancy
resilience
Resiliency
software fault tolerance
stream processing
stream processing workloads
tail latency
telemetry
biblio
Resiliency Demands on Next Generation Critical Embedded Systems
Submitted by
grigby1
on Wed, 02/26/2020 - 4:47pm
Circuit faults
Computer bugs
critical embedded systems
embedded systems
fault tolerance
Hardware
hardware bugs
highly critical systems
Intelligent systems
power consumption
pubcrawl
resilience
Resiliency
resiliency demands
resiliency techniques
safety-critical software
security
software fault tolerance
Trojan horses
biblio
LED Alert: Supply Chain Threats for Stealthy Data Exfiltration in Industrial Control Systems
Submitted by
grigby1
on Wed, 02/26/2020 - 4:41pm
supply chain security
anomaly detection techniques
attack vector
computer security
CPU performance
cyber domain
Data Exfiltration
device tree
direct memory access
DMA transfer speed
embedded systems
Embedded Systems Security
firmware
firmware modification
firmware trojan
Hardware
industrial control
Industrial Control Systems
industrial domain
industrial Internet-of-Things
invasive software
Kernel
LED alert
light emitting diodes
Measurement
Metrics
operation technology
persistent threats
privacy
programmable controllers
programmable logic controller
pubcrawl
real-time operation
Smart Systems
supply chain attack
supply chain threats
supply chains
threat vectors
Trojan horses
biblio
FIXER: Flow Integrity Extensions for Embedded RISC-V
Submitted by
aekwall
on Mon, 02/24/2020 - 11:01am
security of data
Scalability
Internet of Things
data integrity
Hardware
security
embedded systems
reduced instruction set computing
system-on-chip
computer architecture
Buffer overflows
Resiliency
pubcrawl
composability
software reusability
Software Architecture
Bars
Human Factors
code reuse attacks
ROP
return oriented programming
program compilers
security framework
RISC-V
buffer overflow
Code injection
coprocessors
fine-grained control-flow integrity
FIXER
flow integrity extensions for embedded RISC-V
integrated Rocket Custom Coprocessor
low-power embedded devices
open source architecture
RISC-V architecture
RISC-V processor core
RISC-V SoC platform
RISC-V toolchains
Rockets
security extension
shadow stack
biblio
Improved Invariant Generation for Industrial Software Model Checking of Time Properties
Submitted by
aekwall
on Mon, 02/10/2020 - 12:11pm
Safety
authorization
Software
embedded systems
pubcrawl
composability
tools
Production
Formal Specification
safety-critical software
Writing
Scalability
formal verification
automotive embedded software
formal methods
formal proof
industrial software model checking
invariant generation
model checking
model-based design tools
safety-critical properties
SMT solving
Software verification
symbolic model checking
time properties
software assurance
biblio
IoT Architecture for Smart Grids
Submitted by
aekwall
on Mon, 02/10/2020 - 12:06pm
Internet of Things
embedded systems
real-time systems
Resiliency
pubcrawl
internet
Smart Grids
smart power grids
power engineering computing
distributed power generation
renewable energy
sensors
Human Factors
Energy storage
Microgrids
Wind farms
wind turbines
smart cities
Compositionality
active distribution networks
Communications technology
congestion management
distribution level
energy storage facilities
industrial sector
information and communications technology
Internet of energy (IoE)
Internet of Things (IoT)
IoT architecture
IoT-based technologies
modern communicational platforms
Renewable Energy Resources
smart buildings
Smart grid 2.0
thermal generation
wind energy
Smart Grid Sensors
biblio
Research of Secure Communication of Esp32 IoT Embedded System to.NET Core Cloud Structure Using MQTTS SSL/TLS
Submitted by
grigby1
on Mon, 02/10/2020 - 11:31am
.NET core cloud structure
cloud
Cloud Computing
Cryptography
Embedded System
embedded systems
encrypted communication
Esp32 IoT embedded system
Esp32 Wrover
Human behavior
Human Factors
humidity sensors
Internet of Things
IoT
IoT Cloud
IoT device
JSON type data format
Metrics
microprocessor chips
MQTTS
MQTTS protocol
protocol
Protocols
pubcrawl
resilience
Resiliency
Scalability
secure communication
SSL Trust Models
SSL/TLS certificate
Temperature sensors
TLS/SSL
1
2
3
4
5
6
7
8
9
…
next ›
last »
