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

  • 11h30-12h00 Etude du comportement temporel de données réparties. Tanguy Le Berre, Gérard Padiou, Philippe Quéinnec IRIT-INPT

  • 12h00-12h30 Structuration des résultats de validation de systèmes temps réel par l’Ingénierie Dirigée par les Modèles : application aux études d’ordonnancement. Florian Many, David Doose ONERA-DTIM

• 12h30-14h00 Pause Repas

• Session 2 : Validation

  • 14h00-14h30 A Multi-Periodic Synchronous Data-Flow Language. Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti ONERA-DTIM, EADS Astrium Space Transportation

  • 14h30-15h00 Implémentation d’une technique de réduction à la volée d’espace d’états. Rodrigo Saad, Silvano Dal Zilio, Bernard Berthomieu, François Vernadat LAAS-CNRS

  • 15h00-15h30 Pola : un langage dédié au domaine des systèmes temps réel vérifiables par model checking. Florent Peres, Pierre-Emmanuel Hladik, François Vernadat LAAS-CNRS

• 15h30-16h00 Pause

• Session 3 : Analyse statique

  • 16h00-16h30 Analyse statique partielle pour le pire temps d’exécution. Clément Ballabriga, Hugues Cassé IRIT-UPS

  • 16h30-17h00 Ordonnanceur vérifié pour un générateur de code automatique qualifiable. Nassima Izerrouken, Marc Pantel, Xavier Thirioux IRIT-INPT, Continental