AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour June, 2006

Journée Automatique Embarquée le 26 octobre 2006

Friday 30 June 2006

Journée Enjeux de l’Automatique Embarquée

 
26 octobre 2006 à l’Ecole Normale Supérieure de Cachan
Organisée par le groupe INCOS avec la participation des groupes RdP, SdH du GdR MACS et du GdR ASR
 
A l’initiative des Informaticiens relevant du GdR (Groupe de Recherche) ASR (Architecture, Système, Réseaux), la communauté scientifique Automatique du GdR MACS (Modélisation, Analyse et Conduite des Systèmes dynamiques) a été interpellée pour participer à une action commune ciblée sur la conception des systèmes embarqués “AFSEC” (Approches Formelles pour les Systèmes embarqués Communicants). Vous trouverez les premières informations à l’adresse http://afsec.asr.cnrs.fr.

A ce titre, le GT INCOS, le GT RdP, le GT SdH invitent les chercheurs de l’Automatique Discrète, des Systèmes Hybrides, de la Sûreté de Fonctionnement et les Informaticiens, le 26 octobre 2006 à l’Ecole Nationale Supérieure de Cachan à une première journée industrielle intitulée “Enjeux de l’Automatique Embarquée”. La secteur concernée par cette journée est l’Automobile, objet embarqué par nature, incontournable (ne serait-ce que le nombre de projets R&D internationaux ouverts ainsi qu’au niveau national de la constitution des pôles de compétitivité). A  ce titre, nous souhaiterions vous inviter à participer à cette journée pour apporter à la communauté votre point de vue. Les points développés concernent tant l’amont (conception, formalisation, preuves..) que l’aval (implémentation, outils, vérification…) et doit mettre en relief la problématique et les verrous de l’industriel.
 

Programme final de la journée

 

  • 10h                     Accueil des participants
  • 10h15 – 10h30     Présentation de l’action AFSEC par Olivier H. ROUX et Claude JARD.
  • 10h30 - 11h30      Exposé de Johnson Controls ( http://www.johnsoncontrols.com/) :
    L’électronique embarqué automobile : vision d’un équipementier.
  • 11 h30 -12h30      Exposé de PSA Peugeot Citroën ( http://www.psa-peugeot-citroen.com/fr/matin.php) :
    Enjeux & Points durs dans la conception des systèmes mécatronique automobiles.
  • 12h30                   Déjeuner
  • 14h – 15h             Exposé de Jean-Pierre ELLOY- IRCCyN UMR 6597
    Une spécification «complète», préalable à la sûreté des systèmes embarqués ? ou «la place des mécanismes de vérification dans leur processus de développement»
  • 15 h – 16h30        Table ronde
  •  
     

Lieu de la journée : Espace Condorcet situé au premier étage du bâtiment principal de l’ENS
Infos pratiques : Accès à l’ENS Cachan
Modalités d’inscription :
Pour s’inscrire, envoyer un mail à Nidhal Rezg
en précisant votre Nom et Prénom ainsi que votre laboratoire.

Pdf de l’annonce de la journée : journee_AE_26_10_06.pdf

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

DCDS’07 (du 13 au 15 juin 2007)

Friday 30 June 2006

The first IFAC Workshop on Dependable Control of Discrete Systems (DCDS’07)
Du 13 au 15 juin 2007, à l’École Normale Supérieure de Cachan : DCDS’07

Soumission des articles : 8 janvier 2007
Notification de l’acceptation : 12 mars 2007

Publié dans Manifestations, Conférences | Pas de commentaire »