A Formal Approach for the Design of a Dependable Perception System for Autonomous Vehicles

Abstract : The deployment of autonomous vehicles is contingent on trust in their ability to operate safely. However, the assurance that they can accommodate failures and changing weather conditions to maintain limited functionality requires the development of rigorous design and analysis tools. This paper presents a formal approach for the design of multisensor data fusion systems that support adaptive graceful degradation through the smart use of sensor modalities. A coloured probabilistic time Petri net is used to model known algorithms in a multi-sensor fusion scheme. The specification of safety requirements in terms of confidence levels conditions the outcome of the reachability analysis. The characteristics of a credible solution are then provided to the embedded safety module as support for online reconfiguration and decision making tasks. The validity of the approach is illustrated through an example outlining the capabilities of currently available perception systems, for the purpose of deploying autonomous vehicles on public roads.
Type de document :
Communication dans un congrès
ITSC 2018 - 21st IEEE International Conference on Intelligent Transportation Systems, Nov 2018, Maui, United States. IEEE, 2018 21st International Conference on Intelligent Transportation Systems (ITSC), pp.1-8, 〈10.1109/ITSC.2018.8569903〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01966844
Contributeur : Philippe Martinet <>
Soumis le : samedi 29 décembre 2018 - 21:02:18
Dernière modification le : lundi 7 janvier 2019 - 10:21:04

Identifiants

Citation

Yrvann Emzivat, Javier Ibañez-Guzmán, Hervé Illy, Philippe Martinet, Olivier Roux. A Formal Approach for the Design of a Dependable Perception System for Autonomous Vehicles. ITSC 2018 - 21st IEEE International Conference on Intelligent Transportation Systems, Nov 2018, Maui, United States. IEEE, 2018 21st International Conference on Intelligent Transportation Systems (ITSC), pp.1-8, 〈10.1109/ITSC.2018.8569903〉. 〈hal-01966844〉

Partager

Métriques

Consultations de la notice

59