Selected publications at LSV: 2009

Abstract:
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.

@inproceedings{ACDFR-msr09,
   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 = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/ACDFR-msr09.pdf},
   volume = {43},
   year = {2009},
}