Model-Based Diagnosis of Real-Time Systems: Robustness Against Varying Latency, Clock Drift, and Out-of-Order Observations

• Published in: ACM transactions on embedded computing systems Vol. 22; no. 4; pp. 1 - 48
• Main Authors: Köhl, Maximilian A., Hermanns, Holger
• Format: Journal Article
• Language: English
• Published: New York, NY ACM 26.07.2023
• Subjects: Computer systems organization; Embedded systems; Fault tolerance; Formal languages and automata theory; Hardware; Real-time systems; Theory of computation; timed automata; Online fault diagnosis; embedded real-time systems

Online fault diagnosis techniques are a key enabler of effective failure mitigation. For real-time systems, the problem of identifying faults is aggravated by timing imprecisions such as varying latency between events and their observation. This paper tackles the challenge of diagnosing faults based...