Monitorability under assumptions

T.A. Henzinger, N.E. Sarac, in:, Runtime Verification, Springer International Publishing, 2020, pp. 3–18.

Download
OA monitorability.pdf 478.15 KB

Book Chapter | Published | English
Department
Series Title
LNCS
Abstract
We introduce the monitoring of trace properties under assumptions. An assumption limits the space of possible traces that the monitor may encounter. An assumption may result from knowledge about the system that is being monitored, about the environment, or about another, connected monitor. We define monitorability under assumptions and study its theoretical properties. In particular, we show that for every assumption A, the boolean combinations of properties that are safe or co-safe relative to A are monitorable under A. We give several examples and constructions on how an assumption can make a non-monitorable property monitorable, and how an assumption can make a monitorable property monitorable with fewer resources, such as integer registers.
Publishing Year
Date Published
2020-10-02
Book Title
Runtime Verification
Acknowledgement
This research was supported in part by the Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award).
Volume
12399
Page
3-18
Conference
RV: Runtime Verification
Conference Location
Los Angeles, CA, United States
Conference Date
2020-10-06 – 2020-10-09
IST-REx-ID

Cite this

Henzinger TA, Sarac NE. Monitorability under assumptions. In: Runtime Verification. Vol 12399. Springer International Publishing; 2020:3-18. doi:10.1007/978-3-030-60508-7_1
Henzinger, T. A., & Sarac, N. E. (2020). Monitorability under assumptions. In Runtime Verification (Vol. 12399, pp. 3–18). Los Angeles, CA, United States: Springer International Publishing. https://doi.org/10.1007/978-3-030-60508-7_1
Henzinger, Thomas A, and Naci E Sarac. “Monitorability under Assumptions.” In Runtime Verification, 12399:3–18. Springer International Publishing, 2020. https://doi.org/10.1007/978-3-030-60508-7_1.
T. A. Henzinger and N. E. Sarac, “Monitorability under assumptions,” in Runtime Verification, vol. 12399, Springer International Publishing, 2020, pp. 3–18.
Henzinger TA, Sarac NE. 2020. Monitorability under assumptions. Runtime Verification. RV: Runtime Verification, LNCS, vol. 12399. 3–18.
Henzinger, Thomas A., and Naci E. Sarac. “Monitorability under Assumptions.” Runtime Verification, vol. 12399, Springer International Publishing, 2020, pp. 3–18, doi:10.1007/978-3-030-60508-7_1.
All files available under the following license(s):
Copyright Statement:
This Item is protected by copyright and/or related rights. [...]
Main File(s)
File Name
Access Level
OA Open Access
Date Uploaded
2020-10-15
MD5 Checksum
00661f9b7034f52e18bf24fa552b8194


Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar
ISBN Search