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
SafeCheck: Safety Enhancement of Java Unsafe API
Submitted by
grigby1
on Fri, 03/27/2020 - 11:29am
application program interfaces
bytecode
bytecode verification
collaboration
Computer bugs
dynamic analysis
Human behavior
Human Factors
Java
Java core library
Java runtime
Java unsafe API
JVM crash
Libraries
low- level system code
Memoey Safety
memory checker
Memory Protection
memory safety
Metrics
openJDK bug system
policy-based governance
program debugging
Programming Language
pubcrawl
resilience
Resiliency
Runtime
Safe Coding
Safety
safety enhancement
security of data
storage management
tools
unsafe crash patterns
biblio
An Advance Cryptographic Solutions in Cloud Computing Security
Submitted by
grigby1
on Fri, 03/27/2020 - 11:28am
access management
biometric
biometric coding
biometric knowledge
biometrics (access control)
Ciphers
Cloud Computing
cloud computing security
collaboration
computer security
Cryptography
encoding
Fingerprint recognition
Human behavior
Human Factors
identification mechanism
information management
innovative safe cloud computing design
Metrics
policy-based governance
pubcrawl
resilience
Resiliency
Safe Coding
Safety
Virtualization
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
Resilient Reorder Buffer Design for Network-on-Chip
Submitted by
grigby1
on Fri, 03/27/2020 - 11:27am
area efficient safe design techniques
buffer circuits
collaboration
control logic function
Diagnostic Coverage requirement
error correction codes
error detection
error detection code
error detection codes
fault tolerance
Fault tolerant systems
high performance computing systems
Human behavior
Human Factors
Industries
integrated circuit design
invariance checking
logic design
Metrics
Network interfaces
network-on-chip
Network-on-Chip Advanced eXtensible Interface Network Interface block
parallel processing
policy-based governance
pubcrawl
random control logic
Registers
Reorder Buffer
resilience
Resiliency
resilient Reorder buffer design
Safe Coding
safe control logic design
safe ROB design
Safety
Table lookup
biblio
Real-Time SCADA Attack Detection by Means of Formal Methods
Submitted by
aekwall
on Mon, 03/16/2020 - 10:29am
security
security of data
critical infrastructure
critical infrastructures
SCADA
SCADA systems
Resiliency
Human behavior
pubcrawl
model checking
Temporal Logic
Safety
automata
automata theory
SCADA Systems Security
Semantics
Compositionality
Chemicals
programmable controllers
programmable logic controller
Clocks
formal methods
chemical manufacturing plants
chemical substances
control smart grid
critical machines
real-time SCADA attack detection
SCADA control systems
SCADA water distribution system
timed automata
timed automaton
timed temporal logic
water supply
biblio
A New Evaluation Model for Information Security Risk Management of SCADA Systems
Submitted by
aekwall
on Mon, 03/16/2020 - 10:28am
Safety
security of data
Monitoring
security
SCADA
SCADA systems
Resiliency
Human behavior
pubcrawl
risk management
failure analysis
process control
Information systems
SCADA system
SCADA Systems Security
Compositionality
Cyber-physical attacks
Information Security Risk Management
critical information infrastructure
cyber layers
design review
FMEA inherent problems
new evaluation model
Pattern recognition
physical layers
RPN
secure SCADA failure modes
semiquantitative high level analysis
structured method
uncertain environment
vague environment
Vague Set Theory
biblio
Traceability of Counterfeit Medicine Supply Chain through Blockchain
Submitted by
grigby1
on Thu, 03/12/2020 - 12:09pm
active pharmaceutical ingredients
blockchain
counterfeit goods
counterfeit medicine supply chain
counterfeit-drug
Cryptography
Distributed databases
drug safety
drugs
encrypted QR code security
end-consumer patient harm
Human behavior
medical supply chain
Organizations
pharmaceutical industry
production engineering computing
pubcrawl
Public key
QR codes
quick response code security
resilience
Resiliency
Safety
Scalability
supply chain management
supply chain security
supply chains
Traceability
biblio
Towards a Framework for Engineering Smart-Grid-Specific Privacy Requirements
Submitted by
grigby1
on Mon, 03/09/2020 - 2:57pm
collaboration
composability
Context
data privacy
electric system
high level privacy requirement
Human behavior
Human Factors
Metrics
policy-based governance
privacy
privacy requirements engineering method
project-specific refinement
pubcrawl
resilience
Resiliency
Safety
Scalability
security
security of data
Smart Grid
Smart Grid Privacy
Smart Grids
smart meters
smart power grids
threat tree analysis
trees (mathematics)
biblio
The Privacy Case: Matching Privacy-Protection Goals to Human and Organizational Privacy Concerns
Submitted by
grigby1
on Mon, 03/09/2020 - 2:57pm
argumentation thread
Aspern Smart City Research project
automotive domain
Automotive engineering
Buildings
collaboration
composability
data privacy
goal structuring notation
goals structuring notation
Human behavior
Human Factors
human privacy concern
Metrics
organizational privacy concern
policy-based governance
power engineering computing
Power system protection
privacy
privacy goals
privacy protection
privacy-protection goals
privacy-related risks
pubcrawl
resilience
Resiliency
Safety
Scalability
Smart Grid
smart grid data processing
Smart Grid Privacy
smart grid stakeholder
smart grid stakeholders
Smart Grids
smart power grids
Software Architecture
Stakeholders
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
1
2
3
4
5
6
7
8
9
…
next ›
last »
