Monitoring, Fault Diagnosis and Testing Real-time Systems using Analog and Digital Clocks
Stavros Tripakis · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2008
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.