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
Reliability engineering
biblio
Robust Functional Verification Framework Based in UVM Applied to an AES Encryption Module
Submitted by
grigby1
on Fri, 06/28/2019 - 10:36am
AES encryption module
Compositionality
Cryptography
design requirements
digital design industry
direct verification methodologies
encryption
formal verification
functional verification
hardware description languages
high-level designs
Industries
information-security applications
Measurement
Metrics
pubcrawl
Reliability engineering
resilience
Resiliency
robust functional verification framework
Scalability
scalable verification
standards
System Verilog-based functional verification
Universal Verification Methodology
UVM
Verification Framework
biblio
Reliable Stream Scheduling with Minimum Latency for Wireless Sensor Networks
Submitted by
el_wehby
on Fri, 05/25/2018 - 3:47pm
Algorithm design and analysis
burst length
computational complexity
data streams
data trace
end-to- end latency
end-to-end reliability requirements
frequency distributions
indoor radio
indoor testbed
link burstiness
Monitoring
multistream scheduling problem
NP-hardness
optimisation
Packet loss
Reliability engineering
routing algorithms
scheduling
sensor placement
stream transmissions
synchronisation
telecommunication network reliability
telecommunication network routing
telecommunication scheduling
transmission scheduling
wireless sensor networks
1536086
biblio
Advancing Trust Visualisations for Wider Applicability and User Acceptance
Submitted by
K_Hooper
on Wed, 02/14/2018 - 12:02pm
trust statements
Trusted Computing
stars interface
Reliability engineering
Radar
pubcrawl
psychology
human trust
human computer interaction
Human-computer interaction
Human behavior
Decision Making
data visualisation
Color
Trust visualisation
trust visualisations
T-Viz
user study
visualization
biblio
A Software Security Case Developing Method Based on Hierarchical Argument Strategy
Submitted by
grigby1
on Fri, 02/02/2018 - 1:27pm
argument pattern
argument strategy
asset classification
asset identification
assurance case
composability
hierarchical argument strategy
hierarchical asset-threat-control
hierarchical software security case development method
pattern classification
pubcrawl
Reliability engineering
Safety
Scalability
security
security of data
Software
software assurance
software engineering
software reliability
Stakeholders
threat classification
biblio
Design Framework for Reliable Multiple Autonomic Loops in Smart Environments
Submitted by
grigby1
on Tue, 12/12/2017 - 1:22pm
abstraction framework PUTUTU
Abstraction Layer
actuators
adaptive systems
automata theory
automata-based controller
Autonomic Security
Building automation
building management systems
control engineering computing
control systems
loops adaptation
loops composition
Mathematical model
Metrics
middleware
Multiple loops
pubcrawl
reactive language Heptagon/BZR
Reliability
Reliability engineering
reliable multiple autonomic loops
reliable self-adaptive systems
Resiliency
Scalability
self-adjusting systems
sensors
Smart Environments
Switches
transactional execution mechanism
transactional middleware LINC
biblio
A reliable solution against Packet dropping attack due to malicious nodes using fuzzy Logic in MANETs
Submitted by
BrandonB
on Wed, 05/06/2015 - 8:57am
Ad hoc networks
Artificial Intelligence
data packets
Fuzzy logic
Fuzzy sets
inference mechanisms
intrusion detection system
Intrusion Detection System (IDS)
malicious nodes
Mamdani fuzzy inference system
MANET
MANETs Security Issues
mobile ad hoc network
mobile ad hoc networks
Mobile ad hoc networks (MANETs)
mobile computing
mobile nodes
packet dropping attack
Qualnet simulator 6.1
Reliability engineering
Routing
security of data
wireless links
