Grigore Rosu ; Feng Chen - Semantics and Algorithms for Parametric Monitoring

lmcs:710 - Logical Methods in Computer Science, February 23, 2012, Volume 8, Issue 1 - https://doi.org/10.2168/LMCS-8(1:9)2012
Semantics and Algorithms for Parametric Monitoring

Authors: Grigore Rosu ; Feng Chen

    Analysis of execution traces plays a fundamental role in many program analysis approaches, such as runtime verification, testing, monitoring, and specification mining. Execution traces are frequently parametric, i.e., they contain events with parameter bindings. Each parametric trace usually consists of many meaningful trace slices merged together, each slice corresponding to one parameter binding. This gives a semantics-based solution to parametric trace analysis. A general-purpose parametric trace slicing technique is introduced, which takes each event in the parametric trace and dispatches it to its corresponding trace slices. This parametric trace slicing technique can be used in combination with any conventional, non-parametric trace analysis technique, by applying the later on each trace slice. As an instance, a parametric property monitoring technique is then presented. The presented parametric trace slicing and monitoring techniques have been implemented and extensively evaluated. Measurements of runtime overhead confirm that the generality of the discussed techniques does not come at a performance expense when compared with existing parametric trace monitoring systems.


    Volume: Volume 8, Issue 1
    Published on: February 23, 2012
    Accepted on: June 25, 2015
    Submitted on: December 1, 2009
    Keywords: Computer Science - Programming Languages,Computer Science - Logic in Computer Science,Computer Science - Software Engineering,D.1.5, D.2.1, D.2.4, D.2.5, D.3.1, F.3.1, F.3.2
    Fundings :
      Source : OpenAIRE Research Graph
    • CAREER: Runtime Verification and Monitoring; Funder: National Science Foundation; Code: 0448501
    • CSR---SMA: Dynamic Analysis and Control for Robust Scalable Open Distributed Systems; Funder: National Science Foundation; Code: 0509321
    • SHF: Small: IMUnit: Improved Multithreaded Unit Testing; Funder: National Science Foundation; Code: 0916893
    • CSR-EHS: Monitor and Control: Towards Dependable COTS-based Real-Time Embedded Systems; Funder: National Science Foundation; Code: 0720512

    Linked data

    Source : ScholeXplorer IsReferencedBy DOI 10.1007/978-3-662-46681-0_55
    • 10.1007/978-3-662-46681-0_55
    • 10.1007/978-3-662-46681-0_55
    • 10.1007/978-3-662-46681-0_55
    MarQ: Monitoring at Runtime with QEA
    Reger, Giles ; Cruz, Helena Cuenca ; Rydeheard, David ;

    26 Documents citing this article

    Share

    Consultation statistics

    This page has been seen 666 times.
    This article's PDF has been downloaded 367 times.