Scénarios formels basés sur des règles pour la conception de véhicules autonomes sûrs ; Formal rule-based scenarios for the design of safe autonomous vehicles
You can manage bookmarks using lists, please log in to your user account for this.
Media type:
Text;
Electronic Thesis;
E-Book
Title:
Scénarios formels basés sur des règles pour la conception de véhicules autonomes sûrs ; Formal rule-based scenarios for the design of safe autonomous vehicles
Footnote:
Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
Description:
Les constructeurs automobiles se préparent à déployer des flottes de Véhicules Autonomes (VAs). Cela soulève des défis à la fois techniques et sociaux. En effet, l'acceptation tant par les usagers que par les pouvoirs publics nécessite de convaincre de la sûreté, de la fiabilité, et de la sécurité des solutions proposées. Les erreurs majeures commises par les AV ne peuvent être tolérées par la société, qui attend une politique proche du zéro accident. Compte tenu de la grande incertitude dans l'environnement des VAs, nous ne pouvons pas nous contenter d'utiliser uniquement les techniques de vérification systématiques et exhaustives. Par conséquent, nous devons nous appuyer sur l'approche hypothèse-garantie dans laquelle nous pouvons appliquer certaines garanties sur la sûreté de fonctionnement du véhicule à partir d'un ensemble d'hypothèses sur l'environnement. Ce travail aborde ce sujet en considérant une approche basée sur des scénarios pour les cas dangereux connus. La sûreté de fonctionnement se limite à l'acceptation de la norme Safety Of The Intended Functionality (SOTIF), récemment définie par la norme ISO/PAS 21448. Une proposition pour évaluer la sûreté de fonctionnement consiste à tester des VAs en circulation réelle et à observer leur comportement. Aussi logique que cela puisse paraître, cette méthode est difficilement réalisable et largement insuffisante car elle présente des risques importants pour l'environnement et nécessite de nombreux tests. Cette méthode est donc non évolutive et non exhaustive car il n'est pas possible de couvrir tous les scénarios possibles, et notamment ceux très peu probables, avec une occurrence très faible. Ce que nous proposons, c'est de définir précisément des scénarios dans lesquels nous décrivons les conditions de l'environnement ainsi que les risques et les mesures à prendre lorsqu'un danger est identifié. Dans cette thèse, nous concevons un processus basé sur la modélisation formelle et la vérification pour donner des garanties suffisantes et construire des preuves ...