期刊
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
卷 41, 期 11, 页码 4421-4432出版社
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)
类别
资金
- Japan Society for the Promotion of Science KAKENHI [JP19H04086]
- Japan Science and Technology Agency (JST) through Engineerable AI Project [JPMJMI20B8]
- 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.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据