séminaire MoveRSS

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


15/03/2011
Intervenant(s) : 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
 Mentions légales
Carte du site |