AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour February, 2007

Journée du groupe RdP : “Modèles du temps réel” (23 mars 2007)

Monday 19 February 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,
soutenue par l’action inter-GDR AFSEC du CNRS.

Vendredi 23 mars 2007
CNAM Paris, salle 30.-1.01
(entrée 2, rue Conté, métro Arts et Métiers, Réaumur Sébastopol)
de 09h45 à 17h30

Programme

    matin

  • 9h30-10h: accueil
  • 10h -11h: Olivier H. Roux (IRCCyN):
    Extensions temporelles des réseaux de Petri (P, T, A - Time Petri Nets)
  • 11h -11h45: Benoit Trouillet (LAGIS):
    Une approche formelle du comportement temporel d’une classe de réseau de Petri
  • 11h45-12h30: Samir Hamaci (ISTIA):
    Linéarisation de systèmes à événements discrets dans l’algèbre (min,+) -
    Application : Evaluation de performances

  • 12h30 - 14h00: repas

    après-midi

  • 14h00-15h00: Serge Haddad (LAMSADE):
    Réseaux de Petri temporels et Automates temporisés
  • 15h00-16h00: François Laroussinie (LSV):
    Model checking des SED temporisés
  • 16h00-16h45: Thomas Bourdeaud’hui(LAGIS):
    Diagnostic à l’aide de réseaux de Petri temporels
  • 16h40-17h15: Mohamed Khalid Didi ALaoui (ISTIA):
    Modélisation, classification et analyse des graphes d’événements temporels: vivacité
  • 17h15-17h45: discussion sur le thème, discussion RdP francophone: journées suivantes, école, …

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

JDEDS suite de MSR’05

Sunday 18 February 2007

Le numéro spécial de jDEDS (journal of Discrete Event Dynamic Systems) qui a suivi
MSR’05 est disponible électroniquement, et sera en papier le volume
17, issue 2, en mai 2007.

————-
Special issue of the
journal of Discrete Event Dynamic Systems : Theory and Applications
on Modelling of Reactive Systems

This special issue is composed of five articles selected, augmented and
rewritten from papers presented at the fifth edition of the MSR’05
conference on Modelling Reactive Systems (the francophone colloque sur
la Modélisation des Systèmes Réactifs), which was held in October 2005
in Autrans, near Grenoble, France. The next MSR’07 will be held in Lyon:
http://www.ens-lyon.fr/LIP/MSR07/

It will be available as volume 17, issue 2, in may 2007. It can already
be accessed on the journal website, provided you have an electronic
subscription, through the “Online First” link in the “Content Status”
section on the right hand of the page:
http://springerlink.metapress.com/content/1573-7594/

Publié dans Ouvrages - Journaux | Pas de commentaire »

Premières Assises Françaises du Logiciel Embarqué (7 mars 2007)

Sunday 18 February 2007

Premières Assises Françaises du Logiciel Embarqué
à Paris le Mercredi 7 mars 2007
ACCUEIL

Programme et inscription :
Programme

Publié dans Manifestations, Séminaires | Pas de commentaire »

MSR’07 (du 17 au 19 octobre 2007)

Friday 2 February 2007

Sixième Colloque Francophone sur la Modélisation des Systèmes Réactifs

Lyon, du 17 au 19 Octobre 2007
MSR’07

Soumission des articles : 5 février 2007 - extension : 26 février 2007
Notification de l’acceptation : 4 mai 2007

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