séminaire Move
Contraintes sur le temps logique dans la conception de systèmes embarqués.
Tuesday, March 15, 2011Ré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