Journée commune CT SED / GT AFSEC - Avril 2023 - Paris

 Le 11 avril 2023 s'est tenue une journée commune du CT SED (SAGIP) et du GT AFSEC (Groupe de Travail Approches Formelles des Systèmes Embarqués Communicants du GdR GPL).  

Nous avons eu le plaisir de découvrir les travaux suivants :

• Moving Block System: Verification Framework - Rim SADDEM (LIS, Aix Marseille Université) - présentation 
• Analyse d'atteignabilité directe des systèmes (max,+)-linéaires à l'aide des polyèdres tropicaux : Application à la sûreté - Guilherme ESPINDOLA WINCK (LARIS, Université d’Angers) - présentation
• Fuzzing de systèmes à états - Rémi PARROT (IT Department - Uppsala University) - présentation
• Model-Bounded Monitoring of Hybrid Systems - Etienne ANDRE (LIPN, Université Sorbonne Paris Nord) - présentation
• Computing Linear Inductive Invariants for Petri Nets using Property Directed Reachability - Nicolas AMAT (LAAS-CNRS, INSA Toulouse) - présentation

Cette journée a regroupé 15 personnes des 2 communautés et a permis d'avoir beaucoup d'échanges.