4.5 Article Proceedings Paper

Online Reset for Signal Temporal Logic Monitoring

出版社

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
DOI: 10.1109/TCAD.2022.3197693

关键词

Monitoring; Semantics; Gears; Optimized production technology; Runtime; Syntactics; Robustness; Hybrid systems; monitor reset; online monitoring; signal diagnostics; signal temporal logic (STL)

资金

  1. Japan Society for the Promotion of Science KAKENHI [JP19H04086]
  2. Japan Science and Technology Agency (JST) through Engineerable AI Project [JPMJMI20B8]
  3. JST [JPMJER1603]

向作者/读者索取更多资源

The article introduces an optimal reset technique to continue monitoring after a violation event in online monitoring. By detecting the end of a violation event in real time and skipping the event, it can continue to monitor possible future violation events.
Online monitoring is a popular validation approach in which the temporal behavior of a system is checked to assess whether it satisfies a given specification expressed, e.g., in signal temporal logic (STL). This is done by employing a monitor that, at each time point, states the specification validity: satisfied, violated, or unknown. In some settings, monitoring should continue even after a violation episode is detected, to detect possible future violation episodes. However, for a monitor just relying on STL semantics, this is not possible, as, once the specification is violated by an input signal, any continuation of the signal still violates the specification. To tackle this problem, we here propose an optimal reset technique that, at runtime, detects the end of a violation episode and shifts the evaluation of the monitor to skip such an episode. In this way, the monitoring can continue to detect possible other future violation episodes. We propose a framework that integrates the reset technique with an existing monitoring approach. Experiments on two Simulink models show that the technique can effectively reset the monitor and report all the violation episodes, with a negligible overhead on the monitoring cost.

作者

我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。

评论

主要评分

4.5
评分不足

次要评分

新颖性
-
重要性
-
科学严谨性
-
评价这篇论文

推荐

暂无数据
暂无数据