研究人员开发了一个新框架，使用 LOLA 流规范语言统一了运行时验证和基于模型的诊断。这种集成方法无需单独的工具链即可实现连续的在线故障定位和检测。该系统可以处理时不变故障和瞬时故障，并能适应非确定性观测。 AI
排序理由 该集群包含一篇详细介绍新框架的学术论文。[lever_c_demoted from research: ic=1 ai=0.4]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
新框架统一了运行时验证和基于模型的诊断
报道来源 [1]
-
A Unified Framework for Runtime Verification and Model-Based Diagnosis in LOLA
arXiv:2606.23720v1 Announce Type: cross Abstract: We present an integrated framework that unifies runtime verification and model-based diagnosis within the stream specification language LOLA. By encoding system descriptions, component health states, and observations into a single…