AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour November, 2008

Quelques appels à projet ANR

Thursday 20 November 2008

En rapport avec les thèmes de l’AFSEC :

3 appels à projets ANR en Sciences et Technologies de l’information :
(Clôture le 19 février 2009)

  • ARPEGE (Systèmes Embarqués et Grandes Infrastructures)
  • COSINUS (Conception et Simulation).
  • L’appel à projets de l’ANR intitulé Domaines émergents et programme phare mémoire avec des mots clés tels que : langages et modèles de programmation ; architectures matérielles ; calcul formel ; algorithmique ; recherche opérationnelle ; graphes ; parallélisme.

Un appel à projets dans le thème programmes transversaux :
Clôture le 23 février 2009

  • SYSCOMM (Systèmes Complexes et Modélisation Mathématique)

Publié dans Appels à projets | Pas de commentaire »

Création du sous-groupe de l’AFSEC : WEED (Worst End to End Delay)

Wednesday 19 November 2008

Le groupe devrait officiellement voir le jour en janvier 2009

Publié dans WEED | Pas de commentaire »

Programmes ANR 2009

Tuesday 18 November 2008

La programmation des futurs appels ANR vient d’être affichée sur le site de l’ANR.

Page ANR : http://www.agence-nationale-recherche.fr/Documents?NodId=14&lngInfoId=243
Télécharger la programmation-2009.pdf

Publié dans Appels à projets | Pas de commentaire »

Journée “dépliages des modèles temporisés”.

Friday 14 November 2008

Journée “dépliages des modèles temporisés”.
Le 03/12/08 à l’ENS Campus de Ker-Lann (Rennes) .
de 10h15 à 17h

3 exposés le matin :
• Dépliage symbolique des réseaux de Petri. Application aux TPN. C. Jard
• Dépliage d’un réseau de Petri temporel par annotations temporelles symboliques. L.M. Traonouez
• Dépliage des réseaux d’automates temporisés. T. Chatain

Travail collectif l’après-midi et discussion sur de nouveaux projets collaboratifs.

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

Parution du traité IC2 AFSEC :

Sunday 2 November 2008

Traité IC2 (Hermes Lavoisier), série Informatique et systèmes d’information :
Approches formelles des systèmes embarqués communicants
sous la direction de
Olivier H. Roux et Claude Jard

Table des matières :

  • Chapitre 1. Modéliser et véri?er : pourquoi, comment ?
  • Chapitre 2. Les modèles du temps réel
  • Chapitre 3. Model Checking temporisé
  • Chapitre 4. Contrôle des systèmes temporisés
  • Chapitre 5. Diagnostic des systèmes temporisés
  • Chapitre 6. Véri?cation quantitative de chaînes de Markov
  • Chapitre 7. Outils de Model Checking
  • Chapitre 8. Outils pour l’analyse des modèles hybrides

Liste des auteurs :

Gerd BEHRMANN, Béatrice BÉRARD, Franck CASSEZ, Thao DANG, Alexandre DAVID, Susanna DONATELLI, Jean-Pierre ELLOY, Goran FREHSE, Antoine GIRARD, Serge HADDAD, Claude JARD, Kim G. LARSEN, Colas LE GUERNIC, Didier LIME, Morgan MAGNIN, Nicolas MARKEY, Paul PETTERSSON, Jacob Illum RASMUSSEN, Olivier H. ROUX, Stavros TRIPAKIS et Wang YI.

Télécharger le descriptif

Publié dans Ouvrages - Journaux | Pas de commentaire »