Runtime Verification最新文献

Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees 基于学习的预测性监测方法与共形统计保证

Runtime Verification Pub Date : 2023-12-04 DOI: 10.1007/978-3-031-44267-4_26

Francesca Cairoli, Luca Bortolussi, Nicola Paoletti

引用次数: 1

Runtime Monitoring DNN-Based Perception - (via the Lens of Formal Methods) 基于 DNN 感知的运行时监控--（通过形式化方法的视角）

Runtime Verification Pub Date : 2023-10-06 DOI: 10.1007/978-3-031-44267-4_24

Chih-Hong Cheng, Michael Luttenberger, Rongjie Yan

引用次数: 0

Towards Specificationless Monitoring of Provenance-Emitting Systems 向无规范溯源发射系统监控方向发展

Runtime Verification Pub Date : 2022-07-21 DOI: 10.48550/arXiv.2207.14163

M. Stoffers, Alexander Weinert

引用次数: 1

Relaxing safety for metric first-order temporal logic via dynamic free variables 基于动态自由变量的度量一阶时间逻辑松弛安全性

Runtime Verification Pub Date : 2022-06-17 DOI: 10.48550/arXiv.2206.08714

J. J. H. Y. Munive

引用次数: 2

Real-time Visualization of Stream-based Monitoring Data 基于流的监测数据的实时可视化

Runtime Verification Pub Date : 2022-05-25 DOI: 10.48550/arXiv.2205.12823

Jan Baumeister, B. Finkbeiner, S. Gumhold, Malte Schledjewski

{"title":"Real-time Visualization of Stream-based Monitoring Data","authors":"Jan Baumeister, B. Finkbeiner, S. Gumhold, Malte Schledjewski","doi":"10.48550/arXiv.2205.12823","DOIUrl":"https://doi.org/10.48550/arXiv.2205.12823","url":null,"abstract":". Stream-based runtime monitors are used in safety-critical applications such as Unmanned Aerial Systems (UAS) to compute comprehensive statistics and logical assessments of system health that provide the human operator with critical information in hand-over situations. In such applications, a visual display of the monitoring data can be much more helpful than the textual alerts provided by a more traditional user interface. This visualization requires extensive real-time data processing, which includes the synchronization of data from diﬀerent streams, ﬁltering and aggregation, and priorization and management of user attention. We present a visualization approach for the RTLola monitoring framework. Our approach is based on the principle that the necessary data processing is the responsibility of the monitor itself, rather than the responsibility of some external visualization tool. We show how the various aspects of the data transformation can be described as RTLola stream equations and linked to the visualization component through a bidirec-tional synchronous interface. In our experience, this approach leads to highly informative visualizations as well as to understandable and easily maintainable monitoring code.","PeriodicalId":146397,"journal":{"name":"Runtime Verification","volume":"291 7","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114041249","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

A Barrier Certificate-Based Simplex Architecture with Application to Microgrids 基于屏障证书的单纯形体系结构及其在微电网中的应用

Runtime Verification Pub Date : 2022-02-20 DOI: 10.1007/978-3-031-17196-3_6

Amol Damare, Shouvik Roy, S. Smolka, S. Stoller

引用次数: 1

Neural Predictive Monitoring under Partial Observability 部分可观察性下的神经预测监测

Runtime Verification Pub Date : 2021-08-16 DOI: 10.1007/978-3-030-88494-9_7

Francesca Cairoli, L. Bortolussi, Nicola Paoletti

引用次数: 9

Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings 运行时间验证:第20届国际会议，RV 2020，洛杉矶，加州，美国，2020年10月6日至9日，论文集

Runtime Verification Pub Date : 2020-11-26 DOI: 10.1007/978-3-030-60508-7

Jan Baumeister, B. Finkbeiner, Matthis Kruse, Maximilian Schwenger