.png){kind=icon}
返回
Uncertainty in runtime verification: A survey
.png){kind=icon}
OA
AI
DOI：10.1016/j.cosrev.2023.100594.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Runtime Verification can be defined as a collection of formal methods for studying the dynamic evaluation of execution traces against formal specifications. Aside from creating a monitor from specifications and building algorithms for the evaluation of the trace, the process of gathering events and making them available for the monitor and the communication between the system under analysis and the monitor are critical and important steps in the runtime verification process. In many situations and for a variety of reasons, the event trace could be incomplete or could contain imprecise events. When a missing or ambiguous event is detected, the monitor may be unable to deliver a sound verdict. In this survey, we review the literature dealing with the problem of monitoring with incomplete traces. We list the different causes of uncertainty that have been identified, and analyze their effect on the monitoring process. We identify and compare the different methods that have been proposed to perform monitoring on such traces, highlighting the advantages and drawbacks of each method.@2023 The Authors Published by Elsevier Inc. This is an open access article under the CC By licence (http://creativecommons.org/licenses/by/4.0/)
Keyword:
REAL-TIME
ENVIRONMENT
AUTOMATA
LOGICS
期刊
IF:
12.7
论文数:
2.3K
被引数:
5.2K
机构
引用论文
The benefit of multiple angle observations for visible band remote sensing using night lights.png)
OAAI
IF0
OAAI分享收藏A TUTORIAL ON HIDDEN MARKOV-MODELS AND SELECTED APPLICATIONS IN SPEECH RECOGNITION关于语音识别中的隐马尔可夫模型和选定应用的教程PROCEEDINGS OF THE IEEE
PROCEEDINGS OF THE IEEEIF25.9
PREAI
分享收藏Are There Gendered Pathways to Intimacy in Early Adolescents’ and Emerging Adults’ Friendships?
PREAI
分享收藏
Operation Cost Minimisation of Hybrid Solar/Electrical Water Heating Systems: Model Development
PREAI
分享收藏分享收藏
查看更多内容