http://axe-methodes-formelles.imag.fr/index.php?action=history&feed=atom&title=Synth%C3%A8se 2026-06-08T02:46:39Z Historique des versions pour cette page sur le wiki MediaWiki 1.39.17 http://axe-methodes-formelles.imag.fr/index.php?title=Synth%C3%A8se&diff=30&oldid=prev 2019-02-11T09:02:32Z

<p>Page créée avec « == Prospective pour l&#039;evaluation de 2019 == === Défis sociétaux === ==== Sûreté des systèmes (logiciels, matériels, et cyperphysiques) ==== ==== Adaptation du num... »</p> <p><b>Nouvelle page</b></p><div>== Prospective pour l&#039;evaluation de 2019 ==<br /> <br /> === Défis sociétaux ===<br /> <br /> ==== Sûreté des systèmes (logiciels, matériels, et cyperphysiques) ====<br /> <br /> ==== Adaptation du numérique à la transition écologique ====<br /> <br /> Adaptation du numérique au défi majeur que constitue la transition écologique ou aux conséquences de notre échec à relever ce défi : méthodes pour mieux comprendre l&#039;impact environnemental et sociétal du numérique, besoins accrus en résilience, nécessité de recréer des systèmes et des infrastructures économes en énergie, ressources, maintenance, etc.<br /> <br /> ==== Confidentialité ====<br /> <br /> === Problématiques ===<br /> <br /> ==== Explicabilité et accountability des systèmes embarqués et cyber-physiques ====<br /> <br /> Avec la complexité et l&#039;autonomie croissantes des CPS les besoins d&#039;accountability et d&#039;explicabilité deviennent cruciaux : pour être socialement acceptables les comportements des CPS doivent être explicables. Ce besoin touche particulièrement les systèmes dont la prise de décisions est basée sur l&#039;intelligence artificielle, mais il n&#039;est pas limité à l&#039;IA. Outre la sûreté, le respect - et la violation - de propriétés comme la sécurité et la vie privée doivent être rendus explicables. Cette explicabilité doit servir, en particulier, à départager les responsabilités juridiques entre acteurs en cas de dysfonctionnements des CPS.<br /> <br /> ==== Construction certifiée de systèmes ====<br /> <br /> ==== Correction d&#039;erreurs ====<br /> <br /> <br /> === Thèmes de recherche ===<br /> <br /> ==== Langages de haut niveau typés pour la science des données ====<br /> <br /> Importance prépondérante de la préparation des données (nettoyage,<br /> requêtage, manipulation distribuée des données, etc.) dans la<br /> construction d&#039;applications en intelligence artificielle. Construction de systèmes de types pour l&#039;analyse de la manipulation de données. Construction de méthodes d&#039;analyse et de compilation optimisante pour ces langages et en particulier pour le requêtage.<br /> <br /> ==== Concepts, langages et outils pour la modélisation et vérification de systèmes complexes ====<br /> <br /> * réécriture de graphes<br /> * raisonnement automatisé, etc.<br /> <br /> ==== Formalisation de preuve en mathématiques appliquées et en informatique théorique ====<br /> <br /> e.g.:<br /> * développement de corpus certifiés de définitions<br /> * théorèmes et algorithmes pour les mathématiques financières, la logique, etc.<br /> <br /> ==== Informatique quantique ====<br /> <br /> ==== Embedded IA ====<br /> <br /> &quot;Embedded IA&quot; et plus specifiquement &quot;embedded machine learning&quot;. On voit ainsi emerger des implementations FPGA et ASIC pour faire du ML et des CNN (convolutional neural networks), ainsi que du deploiement sur des multi-coeurs.</div>

Mechenim