A Survey of Runtime Monitoring Instrumentation Techniques

Runtime Monitoring is a lightweight and dynamic verification technique that involves observing the internal operations of a software system and/or its interactions with other external entities, with the aim of determining whether the system satisfies or violates a correctness specification. Compilat...

Full description

Saved in:
Bibliographic Details
Published in:Electronic proceedings in theoretical computer science 2017-08, Vol.254 (Proc. PrePost 2017), p.15-28
Main Authors: Cassar, Ian, Francalanza, Adrian, Aceto, Luca, Ingólfsdóttir, Anna
Format: Article
Language:English
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by cdi_FETCH-LOGICAL-c299t-e6b1afff4c4d3a9468583c7507e2328e6335c417155b9a3eb412b472315ab32f3
cites cdi_FETCH-LOGICAL-c299t-e6b1afff4c4d3a9468583c7507e2328e6335c417155b9a3eb412b472315ab32f3
container_end_page 28
container_issue Proc. PrePost 2017
container_start_page 15
container_title Electronic proceedings in theoretical computer science
container_volume 254
creator Cassar, Ian
Francalanza, Adrian
Aceto, Luca
Ingólfsdóttir, Anna
description Runtime Monitoring is a lightweight and dynamic verification technique that involves observing the internal operations of a software system and/or its interactions with other external entities, with the aim of determining whether the system satisfies or violates a correctness specification. Compilation techniques employed in Runtime Monitoring tools allow monitors to be automatically derived from high-level correctness specifications (aka. properties). This allows the same property to be converted into different types of monitors, which may apply different instrumentation techniques for checking whether the property was satisfied or not. In this paper we compare and contrast the various types of monitoring methodologies found in the current literature, and classify them into a spectrum of monitoring instrumentation techniques, ranging from completely asynchronous monitoring on the one end and completely synchronous monitoring on the other.
doi_str_mv 10.4204/EPTCS.254.2
format article
fullrecord <record><control><sourceid>doaj_cross</sourceid><recordid>TN_cdi_doaj_primary_oai_doaj_org_article_8f7b911231194551ba1145fb849a3557</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><doaj_id>oai_doaj_org_article_8f7b911231194551ba1145fb849a3557</doaj_id><sourcerecordid>oai_doaj_org_article_8f7b911231194551ba1145fb849a3557</sourcerecordid><originalsourceid>FETCH-LOGICAL-c299t-e6b1afff4c4d3a9468583c7507e2328e6335c417155b9a3eb412b472315ab32f3</originalsourceid><addsrcrecordid>eNpNkE1LAzEURYMoWGpX_oHZy9R8TibLUqoWKoqt65CkSU1pE00yQv99x1bEt7mPC_csDgC3CI4phvR-9rqaLseY0TG-AAMMOasxauHlv_8ajHLewv6IwFQ0AyAm1bJL3_ZQRVe9daH4va2eY_AlJh821Tzkkrq9DUUVH0O1suYj-K_O5htw5dQu29FvDsH7w2w1faoXL4_z6WRRGyxEqW2jkXLOUUPXRAnatKwlhjPILSa4tQ0hzFDEEWNaKGI1RVhTjgliShPsyBDMz9x1VFv5mfxepYOMystTEdNGqlS82VnZOq4FQv0WCcoY0gohypxuaU9mjPesuzPLpJhzsu6Ph6D8kShPEmUvUWJyBNXAYnQ</addsrcrecordid><sourcetype>Open Website</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>A Survey of Runtime Monitoring Instrumentation Techniques</title><source>ROAD: Directory of Open Access Scholarly Resources</source><creator>Cassar, Ian ; Francalanza, Adrian ; Aceto, Luca ; Ingólfsdóttir, Anna</creator><creatorcontrib>Cassar, Ian ; Francalanza, Adrian ; Aceto, Luca ; Ingólfsdóttir, Anna</creatorcontrib><description>Runtime Monitoring is a lightweight and dynamic verification technique that involves observing the internal operations of a software system and/or its interactions with other external entities, with the aim of determining whether the system satisfies or violates a correctness specification. Compilation techniques employed in Runtime Monitoring tools allow monitors to be automatically derived from high-level correctness specifications (aka. properties). This allows the same property to be converted into different types of monitors, which may apply different instrumentation techniques for checking whether the property was satisfied or not. In this paper we compare and contrast the various types of monitoring methodologies found in the current literature, and classify them into a spectrum of monitoring instrumentation techniques, ranging from completely asynchronous monitoring on the one end and completely synchronous monitoring on the other.</description><identifier>ISSN: 2075-2180</identifier><identifier>EISSN: 2075-2180</identifier><identifier>DOI: 10.4204/EPTCS.254.2</identifier><language>eng</language><publisher>Open Publishing Association</publisher><ispartof>Electronic proceedings in theoretical computer science, 2017-08, Vol.254 (Proc. PrePost 2017), p.15-28</ispartof><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c299t-e6b1afff4c4d3a9468583c7507e2328e6335c417155b9a3eb412b472315ab32f3</citedby><cites>FETCH-LOGICAL-c299t-e6b1afff4c4d3a9468583c7507e2328e6335c417155b9a3eb412b472315ab32f3</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,780,784,27924,27925</link.rule.ids></links><search><creatorcontrib>Cassar, Ian</creatorcontrib><creatorcontrib>Francalanza, Adrian</creatorcontrib><creatorcontrib>Aceto, Luca</creatorcontrib><creatorcontrib>Ingólfsdóttir, Anna</creatorcontrib><title>A Survey of Runtime Monitoring Instrumentation Techniques</title><title>Electronic proceedings in theoretical computer science</title><description>Runtime Monitoring is a lightweight and dynamic verification technique that involves observing the internal operations of a software system and/or its interactions with other external entities, with the aim of determining whether the system satisfies or violates a correctness specification. Compilation techniques employed in Runtime Monitoring tools allow monitors to be automatically derived from high-level correctness specifications (aka. properties). This allows the same property to be converted into different types of monitors, which may apply different instrumentation techniques for checking whether the property was satisfied or not. In this paper we compare and contrast the various types of monitoring methodologies found in the current literature, and classify them into a spectrum of monitoring instrumentation techniques, ranging from completely asynchronous monitoring on the one end and completely synchronous monitoring on the other.</description><issn>2075-2180</issn><issn>2075-2180</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2017</creationdate><recordtype>article</recordtype><sourceid>DOA</sourceid><recordid>eNpNkE1LAzEURYMoWGpX_oHZy9R8TibLUqoWKoqt65CkSU1pE00yQv99x1bEt7mPC_csDgC3CI4phvR-9rqaLseY0TG-AAMMOasxauHlv_8ajHLewv6IwFQ0AyAm1bJL3_ZQRVe9daH4va2eY_AlJh821Tzkkrq9DUUVH0O1suYj-K_O5htw5dQu29FvDsH7w2w1faoXL4_z6WRRGyxEqW2jkXLOUUPXRAnatKwlhjPILSa4tQ0hzFDEEWNaKGI1RVhTjgliShPsyBDMz9x1VFv5mfxepYOMystTEdNGqlS82VnZOq4FQv0WCcoY0gohypxuaU9mjPesuzPLpJhzsu6Ph6D8kShPEmUvUWJyBNXAYnQ</recordid><startdate>20170823</startdate><enddate>20170823</enddate><creator>Cassar, Ian</creator><creator>Francalanza, Adrian</creator><creator>Aceto, Luca</creator><creator>Ingólfsdóttir, Anna</creator><general>Open Publishing Association</general><scope>AAYXX</scope><scope>CITATION</scope><scope>DOA</scope></search><sort><creationdate>20170823</creationdate><title>A Survey of Runtime Monitoring Instrumentation Techniques</title><author>Cassar, Ian ; Francalanza, Adrian ; Aceto, Luca ; Ingólfsdóttir, Anna</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c299t-e6b1afff4c4d3a9468583c7507e2328e6335c417155b9a3eb412b472315ab32f3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2017</creationdate><toplevel>online_resources</toplevel><creatorcontrib>Cassar, Ian</creatorcontrib><creatorcontrib>Francalanza, Adrian</creatorcontrib><creatorcontrib>Aceto, Luca</creatorcontrib><creatorcontrib>Ingólfsdóttir, Anna</creatorcontrib><collection>CrossRef</collection><collection>DOAJ Directory of Open Access Journals</collection><jtitle>Electronic proceedings in theoretical computer science</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Cassar, Ian</au><au>Francalanza, Adrian</au><au>Aceto, Luca</au><au>Ingólfsdóttir, Anna</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>A Survey of Runtime Monitoring Instrumentation Techniques</atitle><jtitle>Electronic proceedings in theoretical computer science</jtitle><date>2017-08-23</date><risdate>2017</risdate><volume>254</volume><issue>Proc. PrePost 2017</issue><spage>15</spage><epage>28</epage><pages>15-28</pages><issn>2075-2180</issn><eissn>2075-2180</eissn><abstract>Runtime Monitoring is a lightweight and dynamic verification technique that involves observing the internal operations of a software system and/or its interactions with other external entities, with the aim of determining whether the system satisfies or violates a correctness specification. Compilation techniques employed in Runtime Monitoring tools allow monitors to be automatically derived from high-level correctness specifications (aka. properties). This allows the same property to be converted into different types of monitors, which may apply different instrumentation techniques for checking whether the property was satisfied or not. In this paper we compare and contrast the various types of monitoring methodologies found in the current literature, and classify them into a spectrum of monitoring instrumentation techniques, ranging from completely asynchronous monitoring on the one end and completely synchronous monitoring on the other.</abstract><pub>Open Publishing Association</pub><doi>10.4204/EPTCS.254.2</doi><tpages>14</tpages><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier ISSN: 2075-2180
ispartof Electronic proceedings in theoretical computer science, 2017-08, Vol.254 (Proc. PrePost 2017), p.15-28
issn 2075-2180
2075-2180
language eng
recordid cdi_doaj_primary_oai_doaj_org_article_8f7b911231194551ba1145fb849a3557
source ROAD: Directory of Open Access Scholarly Resources
title A Survey of Runtime Monitoring Instrumentation Techniques
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-04T14%3A55%3A39IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-doaj_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=A%20Survey%20of%20Runtime%20Monitoring%20Instrumentation%20Techniques&rft.jtitle=Electronic%20proceedings%20in%20theoretical%20computer%20science&rft.au=Cassar,%20Ian&rft.date=2017-08-23&rft.volume=254&rft.issue=Proc.%20PrePost%202017&rft.spage=15&rft.epage=28&rft.pages=15-28&rft.issn=2075-2180&rft.eissn=2075-2180&rft_id=info:doi/10.4204/EPTCS.254.2&rft_dat=%3Cdoaj_cross%3Eoai_doaj_org_article_8f7b911231194551ba1145fb849a3557%3C/doaj_cross%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c299t-e6b1afff4c4d3a9468583c7507e2328e6335c417155b9a3eb412b472315ab32f3%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true