Verification of Integrity in Vehicle Architectures.
Christine JakobsBilly NaumannMatthias WernerKarsten SchmidtPublished in: NISS (2020)
Keyphrases
- integrity verification
- model checking
- pedestrian detection
- face verification
- formal verification
- high assurance
- vehicle detection
- integrity checking
- real time
- vehicle speed
- autonomous vehicles
- data integrity
- traffic monitoring
- driver assistance systems
- image sequences
- dangerous situations
- neural network
- mounted camera
- database