Table of Contents

Sûreté de Fonctionnement pour Véhicule Autonome

Cette page fait référence aux ressources associées au cours.

Année 2022-2023

Cours

Séance n° 1 : Introduction & SdF

Séance n° 2 : Evaluation probabiliste de la Sûreté

Séance n° 3 : Développement d'Application Critique

Séance n° 4 : Conception d'architectures de contrôle-commande sûres à bases de logique embarquée

Séance n° 5 : Domain and Zonal Architecture

Séance n°6 : Le facteur humain

Séance n°7 : Intégration du Facteur Humain dans l'Analyse de Risques

Séance n°8 :Deep Learning - Forces & Faiblesses

Séance n°9 : Systèmes autonomes et Sûreté de Fonctionnement

TDs

TDs n° 1

TDs n° 2

TDs n° 3

Modalités d'évaluation

Les articles à commenter

Date limite de remise des commentaires : 31 mars 2023

Liste des articles proposés

Technical feasibility of advanced driver assistance systems (ADAS) for road traffic safety - Meng Lu, Kees Wevers, Rob Van Der Heijden (2005)

Methodologies to assess usability and safety of ADAS and automated vehicle - Annie Pauzie, Olivier Orfila (2016)

Real-Time Sensing of Trust in Human-Machine Interactions - Wan-Lin Hu, Kumar Akash, Neera Jain, Tahira Reid (2016)

Safety-critical advanced robots; a survey - Jérémie Guiocheta, Mathilde Machina, Hélène Waeselyncka (2017)

The State of Solutions for Autonomous Systems Safety - Rob Ashmore, Andrew Banks (2018)

Towards a Framework for Safety Assurance of Autonomous Systems - John McDermid, Yan Jia, Ibrahim Habli (2018)

Towards the Safety of Human-in-the-Loop Robotics; Challenges and Opportunities for Safety Assurance of Robotic Co-Workers - Kerstin Eder, Chris Harper, Ute Leonards, Ute Leonards (2014)

Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments - Adina Aniculaesei, et al (2016)

Applying Formal Methods to Reinforcement Learning| He Zhun, Stephen Magill (2018)

Validation of deep-learning-based triage and acuity score using a large national dataset - Joon-myoung Kwon, et al. (2020)

System, Design and Experimental Validation of Autonomous Vehicle in an Unconstrained Environment - Shoaib Azam et al. (2020)

Article - Model-based Verification and Validation of an Autonomous Vehicle System; Simulation and Statistical Model Checking - Eun-Young Kang, et al. (2018)

Exercice attendu

Vous sélectionnez à partir de la liste des articles précédents un article en fonction de vos appétances. Il vous ait demandé de réaliser un commentaire d'articles pouvant aller de deux pages à quatre pages qui devra répondre à ces questions :

Ce commentaire peut-être rédigé en français ou en anglais. Une attention particulière sera accordée sur les éléments suivant :