A test-bed for verification of vehicle safety communications applications.
Mohammad NaserianKurt KruegerPublished in: EIT (2009)
Keyphrases
- test bed
- computer vision systems
- traffic accidents
- intelligent vehicles
- road safety
- safety analysis
- fuel consumption
- model checking
- real time
- vehicle speed
- vehicle detection
- formal methods
- test beds
- pedestrian detection
- vehicular networks
- traffic safety
- safety critical
- formal verification
- face verification
- communication channels
- city traffic
- communication systems
- moving vehicles
- traffic monitoring
- traffic management
- signature verification
- traffic signs
- autonomous vehicles
- communication networks
- computer vision