Audrey Queudet a accepté de porter l’organisation de la 29ème
édition de la conférence internationale Real-Time Networks and Systems
RTNS 2021, qui devrait avoir lieu en juin 2020 à Paris.
Voir les infos sur la précédente édition.
Les prochaines journées annuelles du GT Vérif auront lieu du 17 au 19 juin 2019 au bâtiment S sur le site de Centrale Nantes.
Elles visent à rassembler la communauté française en vérification formelle, et en particulier les chercheurs juniors, doctorants et post-doctorants, avec pour objectif de favoriser les collaborations et l’ouverture sur des thématiques liées à la vérification. Les domaines inclus sont :
Pour plus d’infos, voir le site http://gt-verif.loria.fr/Wiki.jsp?page=JA-2019
Yrvann Emzivat, soutiendra sa thèse intitulée « Architecture d’un organe de Survie pour la conception de Véhicules Autonomes Agiles et Sûrs »
mercredi 30 mai 2018 à 14h dans l’amphi du bâtiment S sur le site de Centrale.
Jury :
Rapporteurs :
Mme Claire PAGETTI, Ingénieur de Recherche, ONERA
M. Fawzi NASHASHIBI, Directeur de Recherche, INRIA Rocquencourt
Examinateurs :
M. Philippe BONNIFAIT, Professeur des Universités, Université de Technologie de Compiègne
M. Javier IBANEZ-GUZMAN, Expert véhicule autonome, Renault
Directeurs de thèse :
M. Olivier H. ROUX, Professeur des Universités, École Centrale de Nantes
M. Philippe MARTINET, Directeur de Recherche, INRIA Sophia Antipolis
Résumé :
L’automatisation de la tâche de conduite s’inscrit dans un contexte de développement d’une mobilité durable. Il s’agit d’une solution prometteuse qui pourrait bien contribuer à la création de nouveaux moyens de transports sûrs et respectueux de l’environnement. Cependant, concevoir un véhicule autonome reste un défi majeur. C’est pour cette raison qu’il incombe aujourd’hui à l’utilisateur de reprendre le contrôle du véhicule à chaque fois que les
circonstances s’y prêtent. Il semble pourtant peu judicieux de confier une telle responsabilité à un être humain dont l’implication dans la tâche de conduite est moindre. Les travaux menés dans le cadre de cette thèse portent sur la conception de véhicules autonomes habiles et sûrs. C’est plus précisément le développement d’un système capable de gérer de potentielles défaillances seul, d’élaborer des stratégies de repli par lui-même et de s’adapter à un environnement complexe qui est abordé ici.
Mots-clés : véhicules autonomes, sûreté de fonctionnement, architecture, modes dégradés, échappatoire, adaptabilité
********
Title : Safety System Architecture for the Design of Dependable and Adaptable Autonomous Vehicles
Abstract:
Driving automation is often presented as a viable solution to the prevailing challenges of sustainable mobility. It has the potential to create a paradigm shift in transportation technology, by providing a medium for cleaner, safer and more efficient means of transportation, while providing a better user experience overall. However, designing a dependable Automated Driving System is a challenge in itself. Current systems lack common sense and have trouble behaving in a truly cautionary manner, which is why a fallback-ready user is expected to take over in the event of a performance-relevant system failure affecting the dynamic driving task. Yet it seems unwise to rely on human drivers to act as a safety net for the purpose of offsetting the lack of maturity of Automated Driving Systems, for automation changes their active involvement into a monitoring role and creates new challenges, such as complacency, automation dependency, lack of understanding and misuse. This work places emphasis on the design of dependable and adaptable Automated Driving Systems. In particular, the thesis addresses the problem of designing a new ADS primary subsystem, whose role it is to monitor the state of the ADS, supervise its actions and respond as needed to guarantee the safety of its occupants and of others.
Keywords: autonomous vehicles, safety, architecture, graceful degradation, fallback strategy, adaptability
Khaoula Boukir, doctorante de 2ème année au sein de l’équipe STR, concourait le 13 février dernier à la finale nantaise de « Ma thèse en 180 secondes ». Arrivée seconde avec son sujet « politiques d’ordonnancement temps réel multiprocesseur prouvées », elle participera donc à la finale régionale de MT180. Bonne chance à elle !
Rola El Osta (équipe STR) soutiendra sa thèse intitulée : « Contribution to real time scheduling for energy autonomous systems »
jeudi 26 octobre 2017 à 14h30, à l’IUT de Carquefou – salle D1/26.
Jury : M. Mathieu JAN (Ingénieur de Recherche, HDR au CEA, Rapporteur), M. Daniel CHILLET (Professeur à l’université de Rennes 1, Rapporteur), M. Abdelhamid MELLOUK (Professeur à l’université de Paris 12, Examinateur), M. Hussein EL GHOR (Maître de conférences à l’IUT de Saida – Université libanaise, Examinateur), M. Rafic HAGE (Professeur à l’IUT de Saida – Université libanaise, Examinateur), Mme Maryline CHETTO (Professeure à l’université de Nantes, Directrice de thèse).
Résumé :
Aujourd’hui, la récupération d’énergie renouvelable (energy harvesting) comme celle envisagée pour de nombreux objets sans fil, rend possible un fonctionnement quasi-perpétuel de ces systèmes, sans intervention humaine, car sans recharge périodique de batterie ou de pile. Concevoir ce type de système autonome d’un point de vue énergétique devient très
complexe lorsque celui-ci a en plus un comportement contraint par le temps et en particulier doit respecter des échéances de fin d’exécution au plus tard.
Comme pour tout système temps réel, une problématique incontournable est de trouver un mécanisme d’ordonnancement dynamique capable de prendre en compte conjointement deux contraintes clés : le temps et l’énergie. Dans cette thèse, nous nous intéressons à l’ordonnancement de tâches mixtes constituées de tâches périodiques et de tâches apériodiques souples sans échéance, tout en répondant à une question clé: comment servir les tâches apériodiques pour minimiser leur temps de réponse sans remettre en
question la faisabilité des tâches périodiques. Nous considérons un système monoprocesseur monofréquence, alimenté par un réservoir d’énergie approvisionné par une source environnementale. Dans ce cadre, nous avons proposé quatre nouveaux serveurs de tâches apériodiques utilisables avec l’ordonnanceur optimal ED-H. L’étude a comporté une phase de validation théorique puis une étude de simulation.
Mots- clés : Earliest Deadline First, récupération d’énergie, service apériodique, ordonnancement préemptif.
Abstract:
Nowadays, renewable energy harvesting such as that envisaged for many wireless things, allows the quasi-perpetual systems operation without human intervention because it works without periodic recharging of battery.
From an energy point of view, the design of this type of autonomous system becomes more complex since this process has in addition a behavior constrained by time, and particularly has to meet latest timing deadlines. As with any real-time system, an unavoidable problem is to find a dynamic scheduling mechanism able of considering jointly two key constraints: time and energy. In this thesis, we focus on scheduling of mixed tasks consisting of periodic tasks and soft aperiodic tasks without deadline, by providing
appropriate solutions for the following question: how to serve aperiodic tasks in order to minimize their response time without challenging the feasibility of periodic tasks. We consider a single-frequency uniprocessor system, powered by an energy reservoir which is charged through an ambient energy source. In this context, four new aperiodic task servers were proposed, based on the optimal scheduler ED-H. A theoretical analysis was performed with validation by a simulation study.
Keywords: Earliest Deadline First, energy harvesting, aperiodic servicing, preemptive scheduling.
