AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour November, 2006

Compte-rendu de la journée du 26/10/2006

Monday 27 November 2006

Journée Enjeux de l’Automatique Embarquée

 
Journée AFSEC du 26 octobre 2006 à l’Ecole Normale Supérieure de Cachan.
Organisée en coopération avec le groupe INCOS avec la participation des groupes RdP, SdH du GdR MACS et du GdR ASR pour la présentation d’une action commune ciblée sur la conception des systèmes embarqués “AFSEC” (Approches Formelles pour les Systèmes embarqués Communicants).
Plus de 60 participants : une majorité d’automaticiens et une présence significative d’informaticiens.

Transparents des présentations :

  • L’électronique embarqué automobile - Vision d’un équipementier
  • Une spécification « complète » préalable à la sûreté de fonctionnement ?
  • Liste des participants :

  • liste des inscrits du 26/10/06

    Publié dans Actions Afsec, Journées | Pas de commentaire »