Robustness in Scenarios. ANR IMPRO Deliverable L 4.3

Loc Hélouët 1, *
* Auteur correspondant
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.
Type de document :
Rapport
[Technical Report] ANR IMPRO. 2014, pp.23
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01094363
Contributeur : Loic Helouet <>
Soumis le : vendredi 12 décembre 2014 - 10:57:07
Dernière modification le : jeudi 15 novembre 2018 - 11:58:45
Document(s) archivé(s) le : vendredi 13 mars 2015 - 10:35:58

Fichier

ImpRo-D43.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01094363, version 1

Citation

Loc Hélouët. Robustness in Scenarios. ANR IMPRO Deliverable L 4.3. [Technical Report] ANR IMPRO. 2014, pp.23. 〈hal-01094363〉

Partager

Métriques

Consultations de la notice

181

Téléchargements de fichiers

74