====== 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 ==== {{ :irvea:MIRVEA - 2023 - Cours n°1 - Introduction & SdF.pdf |Séance n° 1 : Introduction & SdF}} {{ :irvea:MIRVEA - 2023 - Cours n°2 - Evaluation probabiliste de la fiabilité la disponibilité.pdf |Séance n° 2 : Evaluation probabiliste de la Sûreté}} {{ :irvea:MIRVEA - 2023 - Cours n°3 - Développement d'Application Critique.pdf |Séance n° 3 : Développement d'Application Critique}} {{ :irvea:MIRVEA - 2023 - Cours n°4 - Building safe architecture based on microprocessor.pdf |Séance n° 4 : Conception d'architectures de contrôle-commande sûres à bases de logique embarquée}} {{ :irvea:MIRVEA - 2023 - Cours n°5 - Domain and Zonal Architecture.pdf |Séance n° 5 : Domain and Zonal Architecture}} {{ :irvea:MIRVEA - 2023 - Cours n°6 - Prise en compte du facteur humain (complet).pdf |Séance n°6 : Le facteur humain}} {{ :irvea:MIRVEA - 2023 - Cours n°7 - Intégration du Facteur Humain dans l’Analyse de Risques.pdf |Séance n°7 : Intégration du Facteur Humain dans l'Analyse de Risques}} {{ :irvea:MIRVEA - 2023 - Cours n°8 - Deep Learning, Forces et Faiblesse.pdf |Séance n°8 :Deep Learning - Forces & Faiblesses}} {{ :irvea:mirvea_-_2023_-_cours_n_9_-_systemes_autonomes_surete_de_fonctionnement.pdf |Séance n°9 : Systèmes autonomes et Sûreté de Fonctionnement}} ==== TDs ==== {{ :irvea:ENSTA - MIVE - 2022 - TD n°1.pdf|TDs n° 1}} * {{ :irvea:ENSTA - MIVE - 2022 - TD n°1 (corrigé).pdf |TDs n° 1 (Corrigé & Annoté)}} {{ :irvea:ENSTA - MIVE - 2022 - TD n°2.pdf|TDs n° 2}} * {{ :irvea:MIVE - 2022 - TD2 (Corrigé).pdf |Correction du TD n° 2}} {{ :irvea:MIVE - 2022 - TD3.pdf|TDs n° 3}} /* ----- {{ :irvea:ENSTA - MIVE - 2021 - TD n°1.pdf |TDs n° 1}} {{ :irvea:ENSTA - MIVE - 2021 - TD n°1 (Annoté).pdf |TDs n°1 (Annoté)}} {{ :irvea:ENSTA - MIVE - 2021 - TD n°2.pdf |TDs n° 2}} {{ :irvea:ENSTA - MIVE - 2021 - TD n°2 (Annoté).pdf |TDs n°2 (Annoté)}} {{ :irvea:MIVE - 2021 - TD3.pdf |TD n°3}} */ ==== Modalités d'évaluation ==== ====== Les articles à commenter ====== Date limite de remise des commentaires : 31 mars 2023 ===== Liste des articles proposés ===== {{:rob310:article_-_technical_feasibility_of_advanced_driver_assistance_systems_adas_for_road_traffic_safety_-_meng_lu_kees_wevers_rob_van_der_heijden_2005_.pdf | Technical feasibility of advanced driver assistance systems (ADAS) for road traffic safety - Meng Lu, Kees Wevers, Rob Van Der Heijden (2005)}} {{ :rob310:article_-_methodologies_to_assess_usability_and_safety_of_adas_and_automated_vehicle_-_annie_pauzie_olivier_orfila_2016_.pdf |Methodologies to assess usability and safety of ADAS and automated vehicle - Annie Pauzie, Olivier Orfila (2016)}} {{ :rob310:article_-_real-time_sensing_of_trust_in_human-machine_interactions_-_wan-lin_hu_kumar_akash_neera_jain_tahira_reid_2016_.pdf |Real-Time Sensing of Trust in Human-Machine Interactions - Wan-Lin Hu, Kumar Akash, Neera Jain, Tahira Reid (2016)}} {{ :rob310:article_-_safety-critical_advanced_robots_a_survey_-_jeremie_guiocheta_mathilde_machina_helene_waeselyncka_2017_.pdf | Safety-critical advanced robots; a survey - Jérémie Guiocheta, Mathilde Machina, Hélène Waeselyncka (2017)}} {{ :rob310:article_-_the_state_of_solutions_for_autonomous_systems_safety_-_rob_ashmore_andrew_banks_2018_.pdf |The State of Solutions for Autonomous Systems Safety - Rob Ashmore, Andrew Banks (2018)}} {{ :rob310:article_-_towards_a_framework_for_safety_assurance_of_autonomous_systems_-_john_mcdermid_yan_jia_ibrahim_habli_2018_.pdf |Towards a Framework for Safety Assurance of Autonomous Systems - John McDermid, Yan Jia, Ibrahim Habli (2018)}} {{ :rob310:article_-_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_.pdf |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)}} {{ :rob310:article_-_towards_the_verification_of_safety-critical_autonomous_systems_in_dynamic_environments_-_adina_aniculaesei_et_al_2016_.pdf |Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments - Adina Aniculaesei, et al (2016)}} {{ :rob310:article_-_applying_formal_methods_to_reinforcement_learning_-_he_zhun_stephen_magill_2018_.pdf |Applying Formal Methods to Reinforcement Learning| He Zhun, Stephen Magill (2018)}} {{ :rob310:article_-_validation_of_deep-learning-based_triage_and_acuity_score_using_a_large_national_dataset_-_joon-myoung_kwon1_et_al._2020_.pdf |Validation of deep-learning-based triage and acuity score using a large national dataset - Joon-myoung Kwon, et al. (2020)}} {{ :rob310:article_-_system_design_and_experimental_validation_of_autonomous_vehicle_in_an_unconstrained_environment_-_shoaib_azam_et_al._2020_.pdf |System, Design and Experimental Validation of Autonomous Vehicle in an Unconstrained Environment - Shoaib Azam et al. (2020)}} {{ :rob310:article_-_model-based_verification_and_validation_of_an_autonomous_vehicle_system_simulation_and_statistical_model_checking_-_eun-young_kang_et_al._2018_.pdf |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 : * 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.