Les journées FAC sont organisées par le groupe IFSE du RTRA STAE avec un soutien spécial de
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 Toulousain, ce thème est traité par le groupe de travail IFSE du RTRA STAE, et par les équipes de plusieurs laboratoires : IRIT-CNRS-UPS-INPT, LAAS-CNRS, ONERA.
Les journées FAC sont deux journées de séminaire ayant lieu en avril, animées par les laboratoires toulousains et par deux orateurs extérieurs. Elles sont l’occasion pour la communauté de se tenir informés des travaux des uns et des autres, et de maintenir des liens amicaux entre laboratoires voisins.
Groupe de travail IFSE
Le groupe de travail IFSE est un groupe d’animation et de réflexion impliqué dans l’ingénierie formelle des systèmes embarqués.
Les activités du groupe, dont l’organisation des journées FAC, ont été soutenues par un projet du RTRA STAE et prolongent le travail effectué dans le groupe CNRS FERIA, dont les participants étaient l’IRIT, le LAAS-CNRS et l’ONERA.
L’ingénierie système englobe l’ensemble des activités, méthodes et outils liés aux développement des systèmes embarqués. Les principaux thèmes de recherches abordés par le groupe de travail IFSE concernent les aspects formels de ces activités : logique ; preuve ; modélisation ; transformation et leur preuve d’exactitude ; …
Les travaux menés par les partenaires du groupe IFSE s’adresse à un large public et met l’accent sur la promotion des échanges avec les partenaires internationaux. Les résultats obtenus contribueront également à accroître la synergie entre les partenaires académiques et nos partenaires industriels dans les domaines de l’aéronautique et de l’espace.
Comité d’organisation des journées FAC
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.