User Tools

Site Tools


irvea:sdf

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
irvea:sdf [2022/04/06 10:21]
bmonsuez [TDs]
irvea:sdf [2023/02/24 10:23] (current)
bmonsuez [Les articles à commenter]
Line 3: Line 3:
 Cette page fait référence aux ressources associées au cours. Cette page fait référence aux ressources associées au cours.
  
-===== Année ​2021-2022 ====+===== Année 2022-2023 ====
  
 ==== Cours ==== ==== Cours ====
  
-{{ :​irvea:​MIRVEA - 2021 - Cours n°1 - Introduction & SdF.pdf |Séance n° 1 : Introduction & SdF}}+{{ :​irvea:​MIRVEA - 2023 - Cours n°1 - Introduction & SdF.pdf |Séance n° 1 : Introduction & SdF}}
  
-{{ :​irvea:​MIRVEA - 2022 - 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°2 - Evaluation probabiliste de la fiabilité ​ la disponibilité.pdf |Séance n° 2 : Evaluation probabiliste de la Sûreté}}
  
-{{ :​irvea:​MIRVEA - 2022 - Cours n°3 - Développement d'​Application Critique.pdf |Séance n° 3 : Développement d'​Application Critique}}+{{ :​irvea:​MIRVEA - 2023 - Cours n°3 - Développement d'​Application Critique.pdf |Séance n° 3 : Développement d'​Application Critique}}
  
-{{ :​irvea:​MIRVEA - 2022 - Cours n°4 - Prise en compte du facteur humain.pdf |Séance ​n°4 Le facteur humain}}+{{ :​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 - 2022 - Cours n°5 - Intégration du Facteur Humain dans l’Analyse de Risques.pdf |Séance ​n°5 Intégration du Facteur Humain dans l'​Analyse de Risques}}+{{ :​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}}
  
-{{ :​irvea:​MIRVEA - 2022 - Cours n°6 - Deep Learning, Forces et Faiblesses.pdf |Séance n° 6 : Deep Learning - Forces & Faiblesses }} 
-*/ 
 ==== TDs ==== ==== TDs ====
  
Line 50: Line 54:
 */ */
  
 +==== 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.
 +
 +
 +
 +
 + 
  
irvea/sdf.1649240518.txt.gz · Last modified: 2022/04/06 10:21 by bmonsuez