research

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

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

    Similar works