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

2008/01/01 by Stavros Tripakis, Tripakis, Stavros
Computer Science · #Formal Methods in Verification #Monitoring #Software Testing and Debugging Techniques #VLSI and Analog Circuit Testing #fault diagnosis #testing #timed automata

paper · doi:10.4230/dagsemproc.07011.3

openalex publication_date 2008/01/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

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.

Related

• Dynamic Observers for Fault Diagnosis of Timed Systems
• Efficient Runtime Verification of Real-Time Systems under Parametric Communication Delays
• Efficient Monitoring of Timed Properties
• Synchronizing clocks in the presence of faults
• A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation