论文标题
使用边界模型对分散的不确定日志的离线和在线节能监控
Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model
论文作者
论文摘要
监视分布式网络物理系统的正确性至关重要。当某些样品不确定或缺失时，发现可能的安全违规可能会很难。我们在此处监视黑框网络物理系统，日志在状态和时间戳尺寸上都不确定：也就是说，不仅有一些不确定的记录值是已知的记录值，而且还不确定日志的时间也不确定。此外，我们利用由动力学系统的非线性扩展给出的过度评估但表达的模型。鉴于离线日志，我们的方法能够使用有限数量的错误警报来监视对安全规格的日志。作为第二个贡献，我们表明我们的方法可在线使用，以最大程度地减少样品触发器的数量，以旨在促进效率。我们将方法应用于三个基准测试，一种麻醉型号，一个自适应巡航控制器和飞机轨道系统。
Monitoring the correctness of distributed cyber-physical systems is essential. Detecting possible safety violations can be hard when some samples are uncertain or missing. We monitor here black-box cyber-physical system, with logs being uncertain both in the state and timestamp dimensions: that is, not only the logged value is known with some uncertainty, but the time at which the log was made is uncertain too. In addition, we make use of an over-approximated yet expressive model, given by a non-linear extension of dynamical systems. Given an offline log, our approach is able to monitor the log against safety specifications with a limited number of false alarms. As a second contribution, we show that our approach can be used online to minimize the number of sample triggers, with the aim at energetic efficiency. We apply our approach to three benchmarks, an anesthesia model, an adaptive cruise controller and an aircraft orbiting system.
