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)

• 10h30-11h00 Pause

• Session 1 : Utilisation de FIACRE

  • 11h00-11h30 Modélisation et Vérification du Double-buffer Protocole avec FIACRE Manuel Garnacho, Jean-Paul Bodeveix, Mamoun Filali IRIT

  • 11h30-12h00 Verifying Real-Time Requirements of Timed Business Process Models Nawal Guermouche, Silvano Dal Zilio LAAS

• 12h00-13h30 Repas

• Session 2 : Preuve formelle

  • 13h30-14h00 Premières expériences pour l’édition correcte par construction de modèles Mounira Kezadri, Marc Pantel IRIT

  • 14h00-14h30 SMT-AI: an Abstract Interpreter as Oracle for k-induction Pierre Roux, Rémi Delmas, Pierre-Loïc Garoche ONERA

  • 14h30-15h00 BDDs verified in a proof assistant Mathieu Giorgino, Martin Strecker IRIT

• 15h00-15h30 Pause

• Session 3 : Architectures multi-processeurs (1)

  • 15h30-16h00 Off-line Optimal Multiprocessor Scheduling of Dependent Periodic Tasks Mikel Cordovilla, Frédéric Boniol, Eric Noulard, Claire Pagetti ONERA

  • 16h00-16h30 Ordonnancement partitionné strictement périodique avec délais de communication sur une plate-forme IMA Ahmad Al Sheikh, Olivier Brun, Pierre-Emmanuel Hladik, Balakrishma Prabhu LAAS

  • 16h30-17h00 Analyzing end-to-end Functional Delays on an IMA Platform Michaël Lauer, Jérôme Ermont, Claire Pagetti, Frédéric Boniol ONERA

Jeudi 7 avril 2011

• 9h00-10h00 Conférencier invité
  Approximations, regroupement et contrôle de trajectoires dans les systèmes hybrides Laurent Fribourg LSV, ENS Cachan

• 10h00-10h30 Pause

• Session 4 : Architectures multi-processeurs (2)

  • 10h30-11h00 Reconciling Distributed and Shared Hash Tables Approaches for Parallel State Space Construction Rodrigo Saad, Bernard Berthomieu, Silvano Dal Zilio LAAS

  • 11h00-11h30 NC-Maude: A Rewriting Tool to Play with Network Calculus Marc Boyer ONERA

  • 11h30-12h00 Aggregation with non-preemptive priority William Mangoua Sofack, Marc Boyer, Frédéric Boniol ONERA

• 12h00-13h30 Repas

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

  • 13h30-14h00 Spécification et vérification de patrons de propriétés pour des langages dédiés Faiez Zalila, Xavier Crégut, Marc Pantel IRIT

  • 14h00-14h30 Paths to property violation: a structural approach for analyzing counter-examples Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels Airbus, ONERA et LAAS

  • 14h30-15h00 Vérification d’un générateur de code par génération d’annotations Marc Pantel, Arnaud Dieumegard IRIT