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
Simulator
biblio
AirborneCPS: A Simulator for Functional Dependencies in Cyber Physical Systems: A Traffic Collision Avoidance System Implementation
Submitted by grigby1 on Mon, 08/26/2019 - 10:06am
Human Factors
unforeseen runtime behavior
undesired functional interaction
Transponders
traffic collision avoidance system implementation
Simulator
Scalability
runtime behavior
Runtime
road traffic
Resiliency
resilience
pubcrawl
powerful communication networks
Metrics
air traffic control
Human behavior
Functional Dependency
functional dependencies
embedded systems
cyber-physical systems
Cyber Physical System
Cyber Dependencies
CPS
Compositionality
Collision Avoidance System
collision avoidance
Brakes
automobiles
Aircraft
wikipage
Game Theoretic Traffic Simulator (GTTS)
Submitted by nanli0302 on Tue, 09/25/2018 - 1:53pm
Automotive
Testing
Simulation
Validation and Verification
Autonomous Driving
Simulator
test generation
verification and validation
Tool
Free
Java
Linux
Mac OS X
Solaris
Windows
Simulation
biblio
A Simulator for Swarm AUVs Acoustic Communication Networking
Submitted by K_Hooper on Wed, 09/27/2017 - 12:19pm
acoustic communication
acoustic coupling
AUV
Human behavior
modular-based design
pubcrawl
Resiliency
scalabilty
Simulator
swarm robotics
biblio
On the Instability of Bitcoin Without the Block Reward
Submitted by grigby1 on Mon, 05/22/2017 - 12:48pm
belief networks
bitcoin
collaboration
composability
cryptocurrencies
equilibrium
game theoretic security
game theory
Human behavior
learning
Metrics
pubcrawl
Resiliency
Scalability
selfish mining
Simulator
biblio
Profiling of automobile drivers using car games
Submitted by grigby1 on Wed, 03/08/2017 - 1:47pm
driving log generation
vehicle data
User profiling
traffic engineering computing
Simulator
pubcrawl170115
Part profiles
keystroke identification
Gears
gaming
Games
Acceleration
driving characteristics
digital simulation
Computers
computer games
Computational modeling
car games
biometrics
behavioral patterns
automobiles
automobile driver profiling
biblio
VANETsim: An open source simulator for security and privacy concepts in VANETs
Submitted by BrandonB on Mon, 05/04/2015 - 12:56pm
privacy
vehicular communications
Vehicular Communication
vehicular ad hoc networks
vehicles
VANETsim
VANET
Simulator
Security in Mobile and Wireless Networks
security
Roads
road safety
public domain software
Privacy-Enhancing Technology
Analytical models
open source simulator
mobile computing
Intrusion and Attack Detection
graphical user interfaces
graphical user interface
event-driven simulation platform
discrete event simulation
data privacy
Car2Car
application-level security implications
application-level privacy implications
anonymity