Ces journées ont été organisées par le groupe IFSE du RTRA STAE. Les journées FAC'2013 ont eu lieu les 10 et 11 avril 2013 au LAAS. Programme des journées : Mercredi 10 avril 9h00 : accueil 9h30-10h30 : Luís Soares Barbosa (HASLab - INESC TEC & Universidade do Minho, Portugal): Introducing fault propagation in a component calculus abstract: In the specification of component-based systems, relations nicely capture nondeterminism and vagueness of requirements. Probabilistic functions go a step further by quantifying the likelihood of each possible, expected or faulty, behaviour. Such a shift from qualitative to quantitative reasoning, which is becoming pervasive in Computer Science, calls for a language able to accommodate both these aspects, while preserving the polymorphic and calculational style of relational program derivation. Recently, typed linear algebra has been suggested as a suitable candidate for such a unifying rôle, when restricting to discrete probability spaces. In this talk, this framework is put at work to discuss fault propagation in a component calculus wherein components are modelled coalgebraically as (generalised) Mealy machines.

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. Roux, R. Jobredeaux, P.-L. Garoche, E. Feron ONERA GEORGIA

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. Lei Pi, Jean-Paul Bodeveix, Mamoun Filali IRIT-UPS

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. Philippe Balbiani, Fahima Cheikh IRIT

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. Le rôle et les démarches de modélisation et de validation dans ce schéma.