Ces journées ont été organisées par le groupe IFSE du RTRA STAE. Les journées FAC'2012 ont eu lieu les 4 et 5 avril 2012, dans l’auditorium de l’IRIT-UPS. Programme des journées : Mercredi 4 avril Accueil Café à partir de 9h00 Conférencier invité Hume: a functionally-based Domain Specific Language Targeting real-time Embedded Systems Kevin Hammond The University of St Andrews 10h30-11h00 Pause Techniques de verification 11h00-11h30 A Generic Ellipsoid Abstract Domain for Linear Time Invariant Systems P.

Ces journées ont été organisées par le groupe IFSE du RTRA STAE. Les journées FAC'2011 se sont déroulée les 6 et 7 avril 2011, dans la salle de conférences du LAAS. Programme des journées : Mercredi 6 avril 2011 Accueil Café à partir de 9h00 9h15 Ouverture des Journées par Jean Arlat, Directeur Adjoint du LAAS-CNRS 9h30-10h30 Conférencier invité Safraless Procedures for Timed Specifications Jean-Francois Raskin Université Libre de Bruxelles (ULB)

Les journées FAC ont été organisées par le groupe SVF / FéRIA : Spécification, Vérification Formelles. Les journées FAC'2010 auront lieu les 31 mars et 1er avril 2010, salle du 1er étage du bâtiment d’accueil à l’ONERA. Préalablement aux journées FAC, José Luiz Fiadeiro a donné un cours intensif de 2 fois 3h le 30 mars sur la théorie des catégories appliquée à l’architecture des logiciels et systèmes. Programme des journées : Mercredi 31 mars 2010 9h30 Ouverture des Journées par Bernard Lecussan, Directeur du DTIM

La journée FAC a été organisée par le groupe SVF / FéRIA : Spécification, Vérification Formelles. La journée FAC'2009 a eu lieu le 1er avril 2009, à l’auditorium de l’IRIT. Programme de la journée : Ouverture de la journée par Mamoun Filali, IRIT-UPS 9h30-10h30 Conférencier invité An informal introduction to software architecture. David Schmidt, Kansas University 10h30-11h00 Pause Session 1 : Analyse Temps Réel 11h00-11h30 Etude comparative de l’expression des protocoles de communication AADL.

Les journées FAC ont été organisées par le groupe SVF / FéRIA : Spécification, Vérification Formelles. Les journées FAC'2008 ont eu lieu les 3 et 4 avril 2008, salle de Conférence du LAAS. Programme des journées : Jeudi 3 avril 2008 9h30 Ouverture des Journées par Raja Chatila, Directeur du LAAS-CNRS 9h45-10h.45 Conférencier invité Contrôle des systèmes temporisés. Franck Cassez IRCCyN, Nantes 10h45-11h15 Pause Session 1 : Architectures temps-réel (1)

Les journées FAC ont été organisées par le groupe SVF / FéRIA : Spécification, Vérification Formelles. Les journées FAC'2007 ont eu lieu les 15 et 16 mars 2007, salle du 1er étage, bâtiment hexagonal du CERT-ONERA. Programme des journées : Jeudi 15 mars 2007 9h15 Accueil 9h30-10h.30 Conférencier invité Conceptions Formelles - L’utilisation de vérificateurs de modèles pour débugger des cahiers des charges et proposer des solutions architecturales valides. Alain Griffault LABRI et Université de Bordeaux

Les journées FAC ont été organisées par le groupe SVF / FéRIA : Spécification, Vérification Formelles. Les journées FAC'2006 ont eu lieu les 23 et 24 mars 2006, auditorium de l’IRIT. Programme des journées : Jeudi 23 mars 2006 10h15 Accueil 10h30-11h30 Conférencier invité Langages Synchrones - Applications, Fondements et Evolutions. Charles André. Université de Nice-Sophia Antipolis/CNRS Session 1 : Modèles 11h30-12h00 A propos du problème de la composition des services électroniques.

Les journées FAC ont été organisées par le groupe SVF / FéRIA : Spécification, Vérification Formelles. Les journées FAC'2005 ont eu lieu les 9 et 10 mars 2005, salle de Conférence du LAAS. Programme des journées : Mercredi 9 mars 2005 9h30 Ouverture des journées Malik Ghallab (Directeur du LAAS). 9h45-10h45 Conférencier invité Paul Caspi (VERIMAG Grenoble) Approximation, échantillonnage et vote pour des systèmes mixtes continus-discrets : vers une approche unifiée.

Les journées FAC ont été organisées par le groupe SVF / FéRIA : Spécification, Vérification Formelles. Les journées FAC'2004 ont eu lieu les 9 et 10 mars 2004, salle du 1er étage, bâtiment hexagonal du CERT-ONERA. Programme des journées : Mardi 9 mars 2004 9h30 Ouverture des journées Jacques Cazin (Directeur du DTIM). 9h45-10h45 Conférencier invité Jean-Pierre Elloy (IRCCyN-Nantes) Présentation de la démarche de conception des architectures logicielles embarquées dans l’automobile: de la définition des exigences à l’implantation des tâches exécutables.

Les journées FAC ont été organisées par le groupe SVF / FéRIA : Spécification, Vérification Formelles. Les journées FAC'2003 ont eu lieu les 12 et 13 mars 2003, auditorium de l’IRIT. Programme des journées : Mercredi 12 mars 2003 9h15 Ouverture des journées Patrick Sallé (Directeur de FéRIA). 9h30-10h30 Conférencier invité Serge Haddad (Lamsade - Université Paris-Dauphine) Algèbre temporisée pour la conception, l’exécution et l’analyse de services Web. 10h30-11h00 Pause