Monitoring with uncertainty
We discuss the problem of runtime verification of an instrumented program that misses to emit and to monitor some events. These gaps can occur when a monitoring overhead control mechanism is introduced to disable the monitor of an application with real-time constraints. We show how to use statistica...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2013-08-01
|
| Series: | Electronic Proceedings in Theoretical Computer Science |
| Online Access: | http://arxiv.org/pdf/1308.5329v1 |
| _version_ | 1811302817365753856 |
|---|---|
| author | Ezio Bartocci Radu Grosu |
| author_facet | Ezio Bartocci Radu Grosu |
| author_sort | Ezio Bartocci |
| collection | DOAJ |
| description | We discuss the problem of runtime verification of an instrumented program that misses to emit and to monitor some events. These gaps can occur when a monitoring overhead control mechanism is introduced to disable the monitor of an application with real-time constraints. We show how to use statistical models to learn the application behavior and to "fill in" the introduced gaps. Finally, we present and discuss some techniques developed in the last three years to estimate the probability that a property of interest is violated in the presence of an incomplete trace. |
| first_indexed | 2024-04-13T07:36:03Z |
| format | Article |
| id | doaj.art-b3204ff8cb06468b92a1bd48e62081b7 |
| institution | Directory Open Access Journal |
| issn | 2075-2180 |
| language | English |
| last_indexed | 2024-04-13T07:36:03Z |
| publishDate | 2013-08-01 |
| publisher | Open Publishing Association |
| record_format | Article |
| series | Electronic Proceedings in Theoretical Computer Science |
| spelling | doaj.art-b3204ff8cb06468b92a1bd48e62081b72022-12-22T02:56:09ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802013-08-01124Proc. HAS 20131410.4204/EPTCS.124.1Monitoring with uncertaintyEzio BartocciRadu GrosuWe discuss the problem of runtime verification of an instrumented program that misses to emit and to monitor some events. These gaps can occur when a monitoring overhead control mechanism is introduced to disable the monitor of an application with real-time constraints. We show how to use statistical models to learn the application behavior and to "fill in" the introduced gaps. Finally, we present and discuss some techniques developed in the last three years to estimate the probability that a property of interest is violated in the presence of an incomplete trace.http://arxiv.org/pdf/1308.5329v1 |
| spellingShingle | Ezio Bartocci Radu Grosu Monitoring with uncertainty Electronic Proceedings in Theoretical Computer Science |
| title | Monitoring with uncertainty |
| title_full | Monitoring with uncertainty |
| title_fullStr | Monitoring with uncertainty |
| title_full_unstemmed | Monitoring with uncertainty |
| title_short | Monitoring with uncertainty |
| title_sort | monitoring with uncertainty |
| url | http://arxiv.org/pdf/1308.5329v1 |
| work_keys_str_mv | AT eziobartocci monitoringwithuncertainty AT radugrosu monitoringwithuncertainty |