AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour la catégorie 'Ouvrages - Journaux'

Parution de l’ouvrage AFSEC : Communicating Embedded Systems - Software and Design

Saturday 12 December 2009

L’ouvrage AFSEC Communicating Embedded Systems - Software and Design sous la direction de Claude Jard et Olivier H. Roux vient de paraitre chez Wiley-ISTE.

Liste des auteurs :

Gerd BEHRMANN, Béatrice BÉRARD, Peter BULYCHEV, Joakim BYG, Thomas CHATAIN, Franck CASSEZ, Thao DANG, Alexandre DAVID, Susanna DONATELLI, 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, Jiri SRBA, Louis-Marie TRAONOUEZ, Stavros TRIPAKIS, Kenneth Y. JOERGENSEN et Wang YI.

Publié dans Ouvrages - Journaux | Pas de commentaire »

Parution du numéro spécial de JESA avec les actes de MSR

Friday 13 November 2009

Les actes de la conférence (MSR’09) organisée avec le soutien de l’AFSEC viennent de paraître sous la forme d’un numéro spécial du journal JESA vol.47 numeros 7-9.

Publié dans Actions Afsec, Ouvrages - Journaux, Conférences | 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 »

CFP IEEE TII Special Section on:“Real-Time and (Networked) Embedded Systems?

Friday 12 September 2008

IEEE Transactions on Industrial Informatics
Special Section on:
“Real-Time and (Networked) Embedded Systems?

CFP

Soumission des articles : 30 novembre 2008

Publié dans Ouvrages - Journaux | Pas de commentaire »

CFP IEEE Transactions on Industrial Informatics

Friday 14 September 2007

IEEE Transactions on Industrial Informatics
Special Section on:
“Formal Methods for Embedded Systems Design?

CFP

Soumission des articles : 31 octobre 2007

Publié dans Ouvrages - Journaux | 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 »

Systèmes temps réel

Tuesday 19 December 2006

Traité IC2 Hermès sur les systèmes temps réel (Sous la direction de Nicolas Navet)
- Volume 1 : Techniques de description et de vérification
- Volume 2 : Ordonnancement, réseaux, qualité de service
Eyrolles

Publié dans Ouvrages - Journaux | Pas de commentaire »

ERCIM

Wednesday 25 October 2006

Parution du numéro d’octobre de
la revue Ercim, spécialement consacrée aux systèmes embarqués en Europe.
ERCIM oct 2006

Publié dans Ouvrages - Journaux | Pas de commentaire »