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)

    • 11h15-11h45 Programming Languages For Hard Real-Time Embedded Systems. Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti, Marc Pouzet ONERA, IRIT, EADS Astrium et LRI

    • 11h45-12h15 Model checking prioritized time Petri nets. Bernard Berthomieu, Florent Peres, François Vernadat LAAS

  • 12h15-14h00 Repas

  • Session 2 : Architectures temps-réel (2)

    • 14h00-14h30 Une approche UML pour l’analyse temporelle de communications de groupes sécurisées. Sara Mota, Thierry Villemur LAAS

    • 14h30-15h00 -Cohérence temporelle des calculs répartis embarqués._ Nadège Pontisso, Gérard Padiou, Philippe Quéinnec IRIT

    • 15h00-15h30 Real-Time Failure Detectors. Thomas Robert, Matthieu Roy, Jean-Charles Fabre LAAS

  • 15h30-16h00 Pause

  • Session 3 : Evaluation

    • 16h00-16h30 Stochastic upper bounds for heterogeneous flows using a Static Priority Queueing on an AFDX network. Frédéric Ridouard, Jean-Luc Scharbarg, Christian Fraboul IRIT

    • 16h30-17h00 Reliability study of a data transfer protocol with multi-redundancies packets. Guy Juanole, Tarik Khoutaif LAAS et SAGEM

Vendredi 4 avril 2008

  • 9h00-10h.00 Conférencier invité
    Techniques de monitorage pour la vérification de propriétés. Ana Rosa Cavalli Institut TELECOM / TELECOM & Management SudParis

  • 10h00-10h30 Pause

  • Session 4 : Test et Simulation

    • 10h30-11h00 Optimisation des coûts de test des systèmes temps réel par la synthèse de testeur optimal. Rachid Bouaziz IRIT

    • 11h00-11h30 Testing mobile computing applications: toward a scenario language and tools. Minh Duc N’Guyen, Hélène Waeselynck, Nicolas Rivière LAAS

    • 11h30-12h00 Introducing Simulation and Model Animation in the MDE Topcased Toolkit. Benoît Combemale, Xavier Crégut, Jean-Patrice Giacometti, Pierre Michel, Marc Pantel IRIT, Airbus et ONERA

  • 12h00-13h30 Repas

  • Session 5 : Ingénierie dirigée par les modèles

    • 13h30-14h00 Vers la génération de modèles de sûreté de fonctionnement. Xavier Dumas, Claire Pagetti, Laurent Sagaspe, Pierre Bieber, Philippe Dhaussy ONERA et ENSIETA

    • 14h00-14h30 Ladder Metamodeling & PLC Program Validation through Time Petri Nets. Darlam Bender, Benoît Combemale, Xavier Cregut, Jean-Marie Farines, Bernard Berthomieu, François Vernadat Univ. de Santa Catarina, IRIT et LAAS

    • 14h30-15h00 Certifying an Automated Code Generator Using Formal Tools: Preliminary experiments in the GeneAuto project. Nassima Izerrouken, Xavier Thirioux, Marc Pantel, Martin Strecker IRIT

  • 15h00 Fin des journées