La XXXI° édition des journées FAC aura lieu les 8 et 9 avril 2026 à l’ENSEEIHT.
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.
Si vous souhaitez participer, inscrivez-vous rapidement, avant le 31 mars (à 12h). La participation aux journées est gratuite, mais l’inscription est obligatoire.
Conférenciers invités
Cette année nos conférenciers invités sont:
- Olga Kouchnarenko (Université Marie et Louis Pasteur - FEMTO-ST): Motifs hiérarchiques pour l’adaptation de systèmes cyber-physiques structurés (9 avril)
Dans cette présentation, nous considérons des systèmes cyber-physiques (CPS) structurés, composés d’éléments similaires et capables d’(auto)adaptation pour satisfaire des contraintes internes et externes évolutives, par exemple en utilisant la théorie du contrôle. Pour maîtriser leur complexité et contribuer à leur développement flexible, nous introduisons des motifs hiérarchiques pour modéliser à la fois les éléments du système et les contrôleurs. Les motifs hiérarchiques reflètent la décomposition organique avec les fonctionnalités et le contrôle différents selon les niveaux. Dans ce contexte, nous proposons également une notion de raffinement de motifs compatible avec le contrôle. Des exemples illustratifs sont liés aux travaux menés dans le cadre du projet ANR ADAPT (ANR-23-CE25-0004).
- 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 (8 avril)
Les systèmes complexes sont difficiles à observer. Leur comportement n’est que partiellement accessible. Il est alors difficile de comprendre finement le fonctionnement des systèmes complexes, c’est-à-dire les mécanismes internes qui produisent ce comportement. Comment étudier finement ces mécanismes lorsqu’on ne peut les mesurer ni précisément ni exhaustivement ? Notre hypothèse est que l’activité constitue le concept primitif pour y parvenir. Elle quantifie l’intensité des changements de comportement d’un système et de ses composants. Ce cadre conceptuel permet de poser l’hypothèse de nouveaux mécanismes au plus proche du fonctionnement d’un système, et de construire des modèles et des simulations plus fidèles à ce fonctionnement. Cette approche sera mise à l’épreuve du cerveau.
À propos des journées FAC
La « formalisation des activités concurrentes » constitue un thème majeur de l’informatique, et fait l’objet de nombreux travaux de recherche et de développement, aussi bien au niveau national qu’international.
Au niveau local, ce thème est traité par le groupe de travail IFSE du RTRA STAE, et par les équipes de plusieurs laboratoires toulousains: IRIT-CNRS-UPS-INPT, LAAS-CNRS, ONERA.
Le groupe IFSE, précédemment groupe SVF de la fédération CNRS FéRIA, organise entre autres les journées FAC. Ces journées ont pour objet de présenter des travaux toulousains sur le thème de la « formalisation des activités concurrentes » : méthodes, techniques d’analyse, environnements logiciels reposant sur des bases formelles et assistant la spécification, la conception, le développement et la mise au point de systèmes réactifs, répartis et coopératifs, de réseaux de communication, de systèmes critiques…
À bientôt aux journées FAC.
Jean-Paul Bodeveix, Jean-Baptiste Raclet, Quentin Peyras, Marc Pantel, Aurélie Hurault, Pascal Sotin, Iulian Ober, Christophe Garion, Célia Picard, Camille Coquand, David Chemouil, Pierre Roux, Nicolas Amat, Julien Brunel, Clément Foucher, Tomasz Kloda, Didier Le Botlan.