Monitoring Real-Time Systems under Parametric Delay
CoRR(2024)
摘要
Online monitoring of embedded real-time systems can be achieved by reduction
of an adequate property language, like Metric Interval Temporal Logic, to timed
automata and symbolic execution of the resulting automata on the trace observed
from the system. This direct construction however only is faithful if
observation of the trace is immediate in the sense that the monitor can assign
exact time stamps to the actions it observes, which is rarely true in practice
due to the substantial and fluctuating parametric delays introduced by the
circuitry connecting the observed system to its monitoring device. We present a
purely zone-based online monitoring procedure and its implementation which
handle such parametric delays exactly without recurrence to costly verification
procedures for parametric timed automata.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要