Title.
Accueil Partenaires Tâches Réunions Dissémination


Dissémination des résultats :

  • Participation à FDL'2014, Munich, Octobre 2014 : démonstration des dernières avancées de l'outil ISIS (TIMA)
  • Présentation de l'avancement sur les activités "microcontrôleurs" de Dolphin (SP2.2) : "The future of the 80x51 upgraded for interconnected things" (Dolphin), à CSIA-ICCAD'2014, Hong Kong, Décembre 2014
  • Présentation des travaux sur la vérification de propriétés "système" (SP2.1) : "Runtime verification of embedded systems requirements throughout the design flow" (L.Pierre), à FETCH'2015, Louvain-la-Neuve (Belgique), Janvier 2015
  • 13th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'15), Austin (Texas), Septembre 2015 : présentation de l'article "Automatic and Configurable Instrumentation of C Programs with Temporal Assertion Checkers" (M.Chabot, K.Mazet, L.Pierre), travaux en cours au Laboratoire TIMA sur le SP2.2
  • Présentation des travaux sur la synthèse de haut niveau + moniteurs embarqués (SP3.3) : "Génération de moniteurs de surveillance embarqués pour la conception d'accélérateurs matériels sécurisés" (P.Coussy), au Séminaire DGA Sécurité des systèmes électroniques embarqués, Septembre 2015
  • Publication de l'article "Auxiliary Variables in Temporal Specifications: Semantic and Practical Analysis for System-Level Requirements" (L.Pierre), ACM Transactions on Design Automation of Electronic Systems (TODAES), Volume 21 (Issue 2), Janvier 2016 : travaux du Laboratoire TIMA sur le SP2.1
  • Présentation des travaux sur GAUT (SP3.3) dans un tutorial à la conférence Compas'2016, Lorient, Juillet 2016
  • Publication de l'article "A Unified Design Flow to Automatically Generate On-Chip Monitors during High-Level Synthesis of Hardware" (M.Ben Hammouda, P.Coussy, L.Lagadec), IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Volume PP (Issue 99), Juillet 2016 : travaux du Laboratoire Lab-STICC sur le SP3.3
  • Participation à DASIP'2016, Rennes, Octobre 2016 : démonstration des dernières avancées de l'outil GAUT (Lab-STICC)
  • Publication de l'article "Taking into account indirect jumps or calls in continuous Control-Flow Checking" (L.Terras, Y.Teglia, M.Agoyan, R.Leveugle), Proc. 11th IEEE International Design & Test Symposium (IDT), Décembre 2016 : travaux du Laboratoire TIMA et STMicroelectronics sur le SP3.2