La XXXI° édition des journées FAC aura lieu les 8 et 9 avril 2026 à l’ENSEEIHT, avec le support de l’ONERA. INP-ENSEEIHT, 2, rue Charles CAMICHEL 31000 TOULOUSE salle des thèses (C002) (se présenter au poste de garde.) Ces journées sont organisées par le groupe IFSE du RTRA STAE avec un soutien spécial de l’ENAC, l’INSA Toulouse, ISAE-Supaero, l’ONERA, Toulouse-INP et de l’Université Toulouse III, Paul Sabatier. Programme des journées Mercredi 8 avril 09h00 : Accueil et présentation des journées 09h30-10h30 : Invited talk. Alexandre Muzy (International Laboratory on Learning Systems - IRL CNRS ILLS, Montréal.): L’activité, clé des systèmes complexes : modélisation et simulation fidèles à leur fonctionnement, du formel au cerveau

C’est avec une profonde tristesse que nous apprenions, il y a un peu moins d’un an, le décès de Matthieu Roy, survenu le 26 mai 2024. Matthieu était un collègue et ami cher, reconnu pour son esprit brillant et sa curiosité intellectuelle. Il avait rejoint le LAAS-CNRS en 2004, après un doctorat en algorithmique répartie de l’Université de Rennes 1. Ses travaux ont couvert des domaines variés, allant de la théorie des systèmes répartis à l’analyse de la mobilité humaine, en passant par les systèmes embarqués et l’analyse de la sûreté de fonctionnement.

La XXX° édition des journées FAC a wu lieu les 2 et 3 avril 2025 à l’ISAE, en collaboration avec l’ONERA. Ces journées sont organisées par le groupe IFSE du RTRA STAE avec un soutien spécial de l’ENAC, l’INSA Toulouse, ISAE-Supaero, l’ONERA, Toulouse-INP et de l’Université Toulouse III, Paul Sabatier. Programme des journées Mercredi 2 avril 09h00 : accueil et présentation des journées 09h30-10h30 : Invited talk. Stefania Dumbrava (SAMOVAR et ENSIIE, équipe ACMES): Reliable Graph Data Processing at Scale: Challenges and Opportunities

La XXIX° édition des journées FAC a eu lieu les 3 et 4 avril 2024 au LAAS-CNRS. Ces journées sont organisées par le groupe IFSE du RTRA STAE avec un soutien spécial de l’ENAC, l’INSA Toulouse, ISAE-Supaero, l’ONERA, Toulouse-INP et de l’Université Toulouse III, Paul Sabatier. Programme des journées Mercredi 3 avril 09h00 : accueil et présentation des journées 09h30-10h30 : Invited talk. Laurent Mounier (Vérimag, Univ. Grenoble): Vérification formelle pour la détection et l’analyse de vulnérabilités logicielles

La XXVIII° édition des journées FAC a eu lieu les 5 et 6 avril 2023 à l’ISAE. Ces journées sont organisées par le groupe IFSE du RTRA STAE avec un soutien spécial de l’INSA Toulouse, de l’ISAE, de l’ONERA et de l’Université Toulouse III, Paul Sabatier. Programme des journées Mercredi 5 avril 09h00 : accueil présentation des journées 09h30-10h30 : Invited talk. Mathieu Martel : (LAMPS, Univ. Perpignan) Matrix Computations: In Seek of Frugality

La XXVII° édition des journées FAC a eu lieu les 14 et 15 octobre 2021 à l’ENAC (bâtiment Bréguet, amphithéâtre Bellonte, 7, avenue Édouard-Belin, Toulouse). Ces journées sont organisées par le groupe IFSE du RTRA STAE avec un soutien spécial de l’INSA Toulouse, de l’ISAE et de l’ENAC. Programme des journées Jeudi 14 octobre 09h00 : accueil présentation des journées 09h30-10h30 : Invited talk. Joao Marques-Silva (IRIT, Toulouse): Logic-Based Explainable AI.

La XXVII° édition des journées FAC devait avoir lieu en avril 2020 à l’ISAE. Pour raison de crise sanitaire qu’il n’est pas necessaire de préciser, la réunion a dû être annulée. Nous souhaitions néanmoins garder une trace des exposés qui avaient été programmé et remercier chaleureusement nos collègues qui avaient proposé une présentation, ainsi que nos conférenciers invités, Cezara Drăgoi (INRIA & ENS Paris) et Jean-Christophe Filliatre (LRI, Université Paris Sud & CNRS / INRIA Saclay).

La XXVI° édition des journées FAC a eu lieu les 27 et 28 mars prochain à l’IRT Saint Exupéry (bâtiment B612, Toulouse). Ces journées sont organisées par le groupe IFSE du RTRA STAE avec un soutien spécial de l’INSA Toulouse. Programme des journées: Mercredi 27 mars 09h00 : accueil présentation des journées et actualités du chantier IFSE par Marc Pantel 09h30-10h30 : Karine Heydemann, (LIP6 / Univ. Pierre et Marie Curie): Attaques en faute: modélisation, sécurisation et analyse de robustesse de code. Les attaques en faute sur les systèmes embarqués sont puissantes : elles permettent de récupérer des informations sensibles, de contourner des protections, d’escalader des privilèges… S’en prémunir nécessite d’identifier les modèles de faute induits par les moyens d’injection de fautes, de concevoir des protections et de valider la robustesse de ces protections. L’exposé a pour objectif de présenter la problématique et un panorama de l’ensemble de travaux réalisés depuis plusieurs années, au LIP6 et en collaboration avec différents partenaires (académiques et industriels). Certains travaux seront présentés plus en détails. Notamment la première partie de l’exposé se concentrera sur la définition de modèle de faute à partir d’expérimentations réelles par injection d’impulsion électromagnétique. La deuxième partie de l’exposé concernera la conception de schéma de protections, notamment un mis en oeuvre à la compilation. Enfin, l’exposé se terminera par la présentation de l’outil RobustB permettant d’analyser la robustesse de code binaire soumis à des fautes. La conclusion présentera des perspectives et questions ouvertes. 10h30-11h00 : pause 11h00-12h30 : session chair: Philippe Queinnec Petri Net Reductions for Counting Markings. Bernard Berthomieu , Didier Le Botlan, Silvano Dal Zilio Identification of multi-core interference. Frédéric Boniol, Claire Pagetti and Nathanaël Sensfelder Revisiting Bounded Reachability Analysis of Timed Automata Based on MILP. Iulian Ober 12h30-14h00 : repas 14h-15h30 : session chair: Erik Martin-Dorel Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm. Guillaume Davy, Eric Feron, Pierre-Loic Garoche and Didier Henrion Convergence and covering on graphs for wait-free robots. Armando Castañeda, Sergio Rajsbaum, Matthieu Roy On the Impact of Numerical Accuracy Optimization on General Performances of Programs. Nasrine Damouche 15h30-16h00 : pause 16h00-17h30 : session chair: Claire Pagetti Analysis and Synthesis of Weighted Marked Graph Petri Nets. Raymond R. Devillers, Thomas Hujsa Event-B formalization of a variability-aware component model patterns framework. Jean-Paul Bodeveix, Arnaud Dieumegard, Mamoun Filali Model Based System Engineering for Co-Simulation in Extended Enterprise. Renan Leroux, Marc Pantel, Ileana Ober, Jean-Michel Bruel

La XXV° édition des journées FAC a eu lieu les 4 et 5 avril 2018 à l’IRIT - site UPS. Ces journées sont organisées par le groupe IFSE du RTRA STAE. Programme des journées Mercredi 4 avril 09h00 : accueil - présentation des journées et actualités du chantier IFSE par Marc Pantel 09h30-10h30 : Katell Morin-Allory, (TIMA / Univ. Grenoble Alpes) : Assertions et systèmes matériels. 10h30-11h00 : pause 11h00-12h00 : Automatic Conformance Testing of Safety Instrumented Systems for Offshore Oil Platforms. Veiga H.W., de Queiroz M.H., Farines JM., de Lima M.L An Acting system based on Skill Petri net Composition (ASPiC). Charles Lesire, Franck Pommereau Coincidence Problem in CPS Simulations: the R-ROSACE Case Study. Henrick Deschamps, Gerlando Cappello, Janette Cardoso, Pierre Siron 12h30-14h00 : repas 14h-15h30 : Asynchronous Message Orderings Beyond Causality. Adam Shimi, Aurélie Hurault, Philippe Quéinnec Sufficient conditions for the marked graph realisability of labelled transition systems. Eike Best, Thomas Hujsa, Harro Wimmel Automorphisms of Types in Certain Type Theories and Representation of Finite Groups. Sergei Soloviev 15h30-16h00 : pause 16h00-17h30 : Analyse des délais de propagation des défaillances avec AltaRica. Alexandre Albore, Silvano Dal Zilio, Guillaume Infantes, Christel Seguin, Pierre Virelizier Verifying Graph Transformations with Guarded Logics. Jon Haël Brenas, Rachid Echahed, Martin Strecker

Ces journées sont organisées par le groupe IFSE du RTRA STAE. Les journées FAC'2017 se sont tenues les 29 et 30 mars à l’ONERA. Programme des journées : Mercredi 30 mars 09h00 : accueil 09h30-10h30 : Catherine Dubois, ENSIIE : Interopérabilité des prouveurs : Dedukti, Zenon et FoCaLize à la rescousse. 10h30-11h00 : pause 11h00-12h00 : systèmes distribués Asynchronous Communication Models: a Menagerie of Refinements. Florent Chevrou, Aurélie Hurault, Shin Nakajima, Philippe Quéinnec A study of the Chord protocol using Electrum. Jeanne Tawa, Julien Brunel, David Chemouil 12h00-14h00 : pause 14h-15h30 : validation et vérification Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems. Arnaud Dieumegard, Adres Toom, Marc Pantel Correct-by-Construction Specification to Verified Code. Ning Ge, Arnaud Dieumegard, Eric Jenn, Laurent Voisin, SMT-Based Synthesis of Fault-Tolerant Architectures. Kevin Delmas, Rémi Delmas, Claire Pagetti, 15h30-16h00 : pause 16h00-17h30 : temps-réel A formal encoding of Clock Constraints Specification Language in Agda : Denotational semantics and Instant refinment. Mathieu Montin, Marc Pantel Outillage pour la modélisation, la vérification et la génération d’applications temporisées et embarquées P.E. Hladik, S. Dal Zilio, O. Pasquier, S. Pillement, B. Berthomieu Distributed Simulation of Heterogeneous and Real-time Systems. Gilles Lasnier, Janette Cardoso, Pierre Siron, Claire Pagetti, Patricia Derler