Robustness in Scenarios. ANR IMPRO Deliverable L 4.3

Loïc Hélouët (1)

1 SUMO - SUpervision of large MOdular and distributed systems

This document considers robustness problems for timed sce-narios. Robustness questions come from discrepancies between idealized representation of time in models and the actual measure of time and im-plementation of clocks in real architectures. A robustness question can usually we described as: given a set of requirements, how does architec-tural assumptions and imperfect time measurement affect the semantics of the specified behaviors? We propose different interpretations of time, that consider that measured time can be imprecise, that clocks are dis-crete, or that some time may elapse between the moment when the de-cision to perform an action is taken (for instance when a timer expires) and its actual execution. We then consider properties of timed scenarios such as consistency (does a specification describe at least one execution), path consistency (is it the case that for every timed run of a scenario description, there exists a consistent timed execution ?), and semantics preservation (is the behavior of the model the same with a timed seman-tics as without time constraints ?), and the robustness of such properties with respect to different timed semantics.

Domaines: Théorie et langage formel [cs.FL]

Loïc Hélouët. Robustness in Scenarios. ANR IMPRO Deliverable L 4.3. [Technical Report] ANR IMPRO. 2014, pp.23. ⟨hal-01094363⟩