ACI Alidecs
Réunion de travail
LIP6

23 mai 2005

Une réunion de travail de l'ACI sécurité Alidecs à eu lieu à Paris (Jussieu).

Lundi 23 mai, 10h

Quatre exposés ont été donnés, le reste du temps ayant été consacré à des discussions.

• Marc Pouzet
  Une extension conservative du dataflow synchrone avec des machines a itats. (transparents)
  (collaboration avec Jean-Louis Colaço et Bruno Pagano)
• Paul Caspi
  Automates de mode en Simulink (transparents)
• Louis Mandel
  Connexion entre Reactve ML et Lucky (simulateur de systèmes indéterministes) (transparents)
• Pascal Raymond
  
Un langage impératif pour la description des systèmes indéterministes/stockastiques (transparents)

Voici une liste de thèmes de discussion (ni exhaustive, ni limitative) :

• Définition d'une unité modulaire réactive : interface, fonctionnalité, contrat etc.
• Schémas de composition réactive : data-flow/control-flow, communications (broadcast, mémoire partagée, réseaux de Kahn ...), rôle/importance de l'exécutif etc.
• Avancement du projet : faire un point sur les technos à intégrer dans l'atelier.