Skip to Main content Skip to Navigation
Conference papers

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
Document type :
Conference papers
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download

https://hal.inria.fr/inria-00363034
Contributor : Franck Cassez <>
Submitted on : Friday, February 20, 2009 - 1:24:58 AM
Last modification on : Thursday, November 19, 2020 - 3:58:01 PM
Long-term archiving on: : Tuesday, June 8, 2010 - 8:08:15 PM

File

acsd-06.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨inria-00363034⟩

Share

Metrics

Record views

300

Files downloads

198