ACI Alidecs
Réunion de démarrage
LIP6

21 et 22 octobre 2004

La première réunion de l'ACI sécurité Alidecs s'est tenue à Paris, au Laboratoire d'Informatique de Paris 6 (LIP6), 8 rue du Capitaine Scott, 75015 Paris. Le programme et les transparents des exposés étaient les suivants :

Jeudi 21 octobre

10h30-11h: introduction des journées et objectifs du projet (Marc Pouzet)
(transparents)

11h00-12h30 : composants

• Programmation par Composants : Alain Girault (INRIA Rhône-Alpes)
  (transparents)
• Contrats de temps logique : Florence Maraninchi (VERIMAG)
  (transparents)

12h30-14h : déjeuner

14h-18h : aspects et programmation

• Programmation par aspects : Pascal Fradet (INRIA Rhône-Alpes)
• Objets, Composants, Aspects : Bachir Djafri (LAMI, Evry)
  (transparents)
• Programmation certifiée dans Focal : Thérèse Hardin (LIP6)
  (transparents)

17h15-17h45: langage pour la simulation et le test

• Simulation de systèmes réactifs indéterministes : Pascal Raymond (VERIMAG)
  (transparents)

Vendredi 22 octobre

9h30-13h30 : Outils de Test et langages de programmation

• Test de programmes synchrones avec Lurette : Erwan Jahier (VERIMAG)
• LOFT et FairThreads : Frédéric Boussinot (INRIA Mimosa)
  (transparents)
• ReactiveML : Louis Mandel (LIP6)
  (transparents)
• Lucid Synchrone, une expérience d'extension de Lustre avec des traits de ML: Marc Pouzet (LIP6)
  (transparents)

14h-16h

• Discussions