Resilience of Timed Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2020

Resilience of Timed Systems

Résumé

Imperfections in timed systems has often been addressed as a robustness problem asking whether a timed system preserves some properties despite imperfect time measurement. Robustness, however, considers systems as reliable if there exists even a infinitesimal amount of perturbation for which a system preserves its properties. This paper addresses correctness of timed systems in a different setting called resilience, that considers the behaviors of a system when unspecified timing errors such as missed deadlines occur. Given a fault model that allows transitions to fire later than allowed by their guard, we say that a system is universally resilient if and only if it always returns to a timed behavior of the non-faulty system. It is existentially resilient for a given fault model if and only if it can return to a timed behavior of the non-faulty system. We show that checking universal resilience of timed automata is undecidable, but existential resilience is in EXPSPACE. To obtain decidability and better complexity bounds, we consider untimed versions of the problem as well as known subclasses of timed automata.
Fichier principal
Vignette du fichier
ResilienceWD.pdf (523.38 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03129402 , version 1 (03-02-2021)
hal-03129402 , version 2 (26-08-2021)

Identifiants

  • HAL Id : hal-03129402 , version 1

Citer

Sundararaman Akshay, Blaise Genest, Loïc Hélouët, Shankara Krishna, Sparsa Roychowdhury. Resilience of Timed Systems. 2020. ⟨hal-03129402v1⟩
80 Consultations
202 Téléchargements

Partager

Gmail Facebook X LinkedIn More