Evènement pour le groupe Modélisation et Verification


Date 2012-12-20  11:30-12:30
TitreRuntime Enforcement of Timed Properties 
RésuméRuntime enforcement is a powerful technique to ensure that a running system respects some desired properties. Using an enforcement monitor, an (untrustworthy) input execution (in the form of a sequence of events) is modified into an output sequence that complies to a property. Runtime enforcement has been extensively studied over the last decade in the context of untimed properties. In this talk, we introduce runtime enforcement of timed properties. We revisit the foundations of runtime enforcement when time between events matters. We discuss how runtime enforcers can be synthesized for a safety or co-safety timed property. Proposed runtime enforcers are time retardant: to produce an output sequence, additional delays are introduced between the events of the input sequence to correct it. 
Lieu076 
OrateurAntoine Rollet 
Emailantoine.rollet@labri.fr 
UrlLaBRI 



Aucun document lié à cet événement.

Retour
Retour à l'index