Monitoring, Fault Diagnosis and Testing Real-time Systems using Analog and Digital Clocks

Author Stavros Tripakis



PDF
Thumbnail PDF

File

DagSemProc.07011.3.pdf
  • Filesize: 75 kB
  • 2 pages

Document Identifiers

Author Details

Stavros Tripakis

Cite AsGet BibTex

Stavros Tripakis. Monitoring, Fault Diagnosis and Testing Real-time Systems using Analog and Digital Clocks. In Runtime Verification. Dagstuhl Seminar Proceedings, Volume 7011, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
https://doi.org/10.4230/DagSemProc.07011.3

Abstract

We give an overview of known methods for monitoring, fault diagnosis and testing problems for real-time systems using timed automata as the main model. We present techniques for constructing monitors/diagnosers/testers with analog or digital clocks. We list a number of open problems in the field.
Keywords
  • Monitoring
  • fault diagnosis
  • testing
  • timed automata

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail