AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour April, 2007

Ecole d’été temps réel ETR2007 du 03 au 07 septembre 2007

Tuesday 24 April 2007

La cinquième école d’été temps-réel ETR 2007 ( http://www2.irccyn.ec-nantes.fr/ETR07/)
aura lieu à Nantes, du 3 au 7 septembre 2007.

Le programme est maintenant disponible : Programme. Il se compose de 5 sessions :

  • Développement de systèmes temps réel : modèles, paradigmes et langages
  • Les enjeux industriels
  • Méthodes formelles
  • Ordonnancement et supports d’execution ;
  • Reseaux et qualite de service.

Les doctorants sont invités à présenter leurs travaux à la communauté temps réel au cours des sessions doctorants, ce qui sera l’occasion de favoriser l’échange d’idées, d’expérience et d’informations.
Soumission des articles doctorants : 27 mai 2007

Publié dans Actions Afsec, Ecoles d'été | Pas de commentaire »

Compte-rendu de la journée du 23/03/2007

Sunday 15 April 2007

Journée Modèles du temps réel: Réseaux de Petri temporisés et temporels, automates temporisés

proposée par le groupe francophone Réseaux de Petri (Vendredi 23 mars 2007 au CNAM Paris),
soutenue par l’action inter-GDR AFSEC du CNRS.

Une prochaine journée commune AFSEC/groupe Réseaux de Petri est prévue en janvier 2008 sur Les outils pour les Réseaux de Petri

Résumés et Transparents des présentations
ou dans la page Afsec Documents

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