LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Links » Das LIP6 organisiert

séminaire MoveRSS

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


15.03.2011
Beteiligte : 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
Plan |