kirancodes.me
To Proof Maintenance & Beyond!
ICSE 2016

Efficient large-scale trace checking using mapreduce

Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro

Full textDOI 10.1145/2884781.2884832dblp

Abstract

The problem of checking a logged event trace against a temporal logic specification arises in many practical cases. Unfortunately, known algorithms for an expressive logic like MTL (Metric Temporal Logic) do not scale with respect to two crucial dimensions: the length of the trace and the size of the time interval of the formula to be checked. The former issue can be addressed by distributed and parallel trace checking algorithms that can take advantage of modern cloud computing and programming frameworks like MapReduce. Still, the latter issue remains open with current state-of-the-art approaches.

BibTeX
@inproceedings{Bersani-al:ICSE16,
  author    = {Marcello M. Bersani and
               Domenico Bianculli and
               Carlo Ghezzi and
               Srdan Krstic and
               Pierluigi San Pietro},
  title     = {Efficient large-scale trace checking using mapreduce},
  booktitle = {ICSE},
  pages     = {888--898},
  publisher = {{ACM}},
  year      = {2016},
}

Related papers