Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
S. Silvetti, L. Nenzi, E. Bartocci, L. Bortolussi:
"Signal Convolution Logic";
Vortrag: Proc. of ATVA 2018: the 16th International Symposium on Automated Technology for Verification and Analysis,
Los Angeles, CA, USA;
07.10.2018
- 10.10.2018; in: "Proc. of ATVA 2018: the 16th International Symposium on Automated Technology for Verification and Analysis",
11138
(2018),
S. 267
- 283.
Kurzfassung englisch:
We introduce a new logic called Signal Convolution Logic (SCL) that combines temporal logic with convolutional filters from digital signal processing. SCL enables to reason about the percentage of time a formula is satisfied in a bounded interval. We demonstrate that this new logic is a suitable formalism to effectively express non-functional requirements in Cyber-Physical Systems displaying noisy and irregular behaviours. We define both a qualitative and quantitative semantics for it, providing an efficient monitoring procedure. Finally, we prove SCL at work to monitor the artificial pancreas controllers that are employed to automate the delivery of insulin for patients with type-1 diabetes.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-01090-4_16
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.