Cette page fait référence aux ressources associées au 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 n° 1

• TDs n° 1 (Corrigé & Annoté)

TDs n° 2

• Correction du TD n° 2

TDs n° 3

Date limite de remise des commentaires : 31 mars 2023

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)

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 :

• présenter le cadre général de la thématique présentée par le papier.
  Attention il ne s'agit pas de prendre la motivation du papier mais d'expliquer quel est le thème dans lequel le papier s'inscrit et pourquoi ce thème a droit à un traitement scientifique.
• présenter le problème qui est adressé (ie. traité en partie) par le papier.
• faire un petit état de l'art sur le sujet ou vous appuyant aussi sur l'état de l'art présent dans le papier mais en faisant quelques recherches complémentaires.
• présenter de manière compréhensible pour quelqu'un n'ayant aucune compétence scientifique les résultats du papier.
• critiquer de manière construite le résultat du papier.
  Eventuellement, il est possible de faire un SWOT de la proposition faite dans le papier et donner aussi votre point de vue personnelle.

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

• la qualité de l'identification du thème et de l'état de l'art,
• la qualité de la présentation des résultats du papier de manière pédagogique,
• la qualité de la discussion relativement à la pertinence de la solution.