Monitoring and Fault-Diagnosis with Digital Clocks

Abstract : We study the monitoring and fault-diagnosis problems for dense-time real-time systems, where observers (monitors and diagnosers) have access to digital rather than analog clocks. Analog clocks are infinitely-precise, thus, not implementable. We show how, given a specification modeled as a timed automaton and a timed automaton model of the digital clock, a sound and optimal (i.e., as precise as possible) digital-clock monitor can be synthesized. We also show how, given plant and digital clock modeled as timed automata, we can check existence of a digital-clock diagnoser and, if one exists, how to synthesize it. Finally, we consider the problem of existence of digital-clock diag- nosers where the digital clock is unknown. We show that there are cases where a digital clock, no matter how precise, does not exist, even though the system is diagnosable with analog clocks. Finally, we provide a sufficient condition for digital-clock diagnosability. check whether the observed behavior satisfies the specification. This is the objective of the observer, which in this case is called a monitor. Our goal is to synthesize a monitor automatically from the specification. In the fault-diagnosis problem, we have a model of the system, for instance, in the form of an (untimed or timed) automaton. We also know that the system may produce some faults. However, these faults are not directly observable, thus, their occurrence must be deduced from other observations (this can be seen as a grey-box setting). The objective of the observer, which in this case is called a diagnoser, is to detect whether a fault occurred or not, and this as soon as possible after the fault happened. In this case, before we attempt to synthesize a diagnoser, we must first check existence of a diagnoser, called diagnosability. Indeed, a diagnoser may not exist in cases where the system
Type de document :
Communication dans un congrès
6th Int. Conf. on Application of Concurrency to System Design (ACSD'06), Jun 2006, Turku, Finland. IEEE Computer Society, 2006
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00363034
Contributeur : Franck Cassez <>
Soumis le : vendredi 20 février 2009 - 01:24:58
Dernière modification le : vendredi 6 juillet 2018 - 10:08:02
Document(s) archivé(s) le : mardi 8 juin 2010 - 20:08:15

Fichier

acsd-06.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00363034, version 1

Citation

Karine Altisen, Franck Cassez, Stavros Tripakis. Monitoring and Fault-Diagnosis with Digital Clocks. 6th Int. Conf. on Application of Concurrency to System Design (ACSD'06), Jun 2006, Turku, Finland. IEEE Computer Society, 2006. 〈inria-00363034〉

Partager

Métriques

Consultations de la notice

251

Téléchargements de fichiers

101