séminaire Move

Contraintes sur le temps logique dans la conception de systèmes embarqués.

Mardi 15 mars 2011
Régis Gascon (INRIA Sophia-Antipolis)

Je présenterai un langage de contrainte permettant d'exprimer des contraintes chronologiques et causales sur les évènements du système (horloges logiques) et certains de mes travaux en cours sur ce langage: d'une part la comparaison de ce langage avec la logique temporelle linéaire et d'autre part l'extension de ce langage avec un systeme de priorités.

Beatrice.Berard (at) nulllip6.fr