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,...
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
Logical Methods in Computer Science e.V.
2024-01-01
|
Series: | Logical Methods in Computer Science |
Subjects: | |
Online Access: | https://lmcs.episciences.org/10434/pdf |
_version_ | 1797268424136589312 |
---|---|
author | Bineet Ghosh Étienne André |
author_facet | Bineet Ghosh Étienne André |
author_sort | Bineet Ghosh |
collection | DOAJ |
description | 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. |
first_indexed | 2024-04-25T01:32:15Z |
format | Article |
id | doaj.art-5da87b4d80e14cd2b9a1f6a82c259fdd |
institution | Directory Open Access Journal |
issn | 1860-5974 |
language | English |
last_indexed | 2024-04-25T01:32:15Z |
publishDate | 2024-01-01 |
publisher | Logical Methods in Computer Science e.V. |
record_format | Article |
series | Logical Methods in Computer Science |
spelling | doaj.art-5da87b4d80e14cd2b9a1f6a82c259fdd2024-03-08T10:45:17ZengLogical Methods in Computer Science e.V.Logical Methods in Computer Science1860-59742024-01-01Volume 20, Issue 110.46298/lmcs-20(1:2)202410434Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding modelBineet GhoshÉtienne André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.https://lmcs.episciences.org/10434/pdfelectrical engineering and systems science - systems and controlcomputer science - software engineering |
spellingShingle | Bineet Ghosh Étienne André Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model Logical Methods in Computer Science electrical engineering and systems science - systems and control computer science - software engineering |
title | Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model |
title_full | Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model |
title_fullStr | Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model |
title_full_unstemmed | Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model |
title_short | Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model |
title_sort | offline and online energy efficient monitoring of scattered uncertain logs using a bounding model |
topic | electrical engineering and systems science - systems and control computer science - software engineering |
url | https://lmcs.episciences.org/10434/pdf |
work_keys_str_mv | AT bineetghosh offlineandonlineenergyefficientmonitoringofscattereduncertainlogsusingaboundingmodel AT etienneandre offlineandonlineenergyefficientmonitoringofscattereduncertainlogsusingaboundingmodel |