Jeudi 27 Novembre

Retour à la vue des calendrier
Jeudi 27 Novembre
Heure: 16:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Precise Robustness Analysis of Real-Time Systems
Description: Étienne André Quantifying the robustness of a real-time system consists in
measuring the maximum extension of the timing delays such that the
system still satisfies its specification.
In this work, we introduce a more precise notion of robustness,
measuring the allowed variability of the timing delays in their
We consider here the formalism of time Petri nets extended with
inhibitor arcs.
We use the inverse method, initially defined for timed automata.
Its output, in the form of a parametric linear constraint relating
all timing delays, allows the designer to characterise the system local
robustness, and hence to identify the delays allowing the least variability.
We also exhibit a condition and a construction for rendering robust
a non-robust system.
This work is a joint work with Laure Petrucci.