Skip to Main content Skip to Navigation
Reports

Robustness in Scenarios. ANR IMPRO Deliverable L 4.3

Loïc Hélouët 1, *
* Corresponding author
1 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : 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.
Complete list of metadata

Cited literature [21 references]  Display  Hide  Download

https://hal.inria.fr/hal-01094363
Contributor : Loic Helouet <>
Submitted on : Friday, December 12, 2014 - 10:57:07 AM
Last modification on : Tuesday, June 15, 2021 - 4:13:17 PM
Long-term archiving on: : Friday, March 13, 2015 - 10:35:58 AM

File

ImpRo-D43.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01094363, version 1

Citation

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

Share

Metrics

Record views

238

Files downloads

97