Selected publications at LSV: 2009

We deal with the problem of synthesis of timing constraints for concurrent systems. Such systems are modeled by networks of timed automata where some constants, represented as parameters, can be tuned. A suitable value of these parameters is assumed to be known from a preliminarily simulation process. We present a method which infers a zone of suitable points around this reference functioning point. This zone is defined by a system of linear inequalities over the parameters. This method is applied to the case study of a networked automation system.

   address = {Nantes, France},
   author = {Andr{\'e}, {\'E}tienne and Chatain, {\relax Th}omas and De{ }Smet, Olivier and Fribourg, Laurent and Ruel, Silvain},
   booktitle = {{A}ctes du 7{\`e}me {C}olloque sur la {M}od{\'e}lisation des {S}yst{\`e}mes {R}{\'e}actifs ({MSR}'09)},
   editor = {Lime, Didier and Roux, Olivier H.},
   month = nov,
   number = {7-9},
   pages = {1049-1064},
   publisher = {Herm{\`e}s},
   series = {Journal Europ{\'e}en des Syst{\`e}mes Automatis{\'e}s},
   title = {Synth{\`e}se de contraintes temporis{\'e}es pour une architecture d'automatisation en r{\'e}seau},
   url = {},
   volume = {43},
   year = {2009},