MDE-based sensor management and verification for a self-driving miniature vehicle.
Md. Abdullah Al MamunChristian BergerJörgen HanssonPublished in: DSM@SPLASH (2013)
Keyphrases
- autonomous driving
- intelligent vehicles
- driver assistance systems
- real time
- management system
- knowledge management
- dangerous situations
- driving simulator
- intelligent transport systems
- sensor data
- vehicle detection
- magneto optic
- sensor networks
- model checking
- verification method
- information systems
- decision making
- ground vehicles
- driving behavior
- software engineering
- decision support
- multi sensor
- pedestrian detection
- fuel consumption
- network management
- grand challenge
- formal verification
- sensor fusion
- formal methods