skip to main content
10.1145/3185768.3186287acmconferencesArticle/Chapter ViewAbstractPublication PagesicpeConference Proceedingsconference-collections
research-article

Trace Checking of Streaming Applications through DICE-TraCT

Published: 02 April 2018 Publication History

Abstract

This paper introduces DICE-TraCT, the tool---part of the DICE toolchain---that allows developers of Data Intensive Applications to analyze traces of executions of such applications and detect deviations from the expected behavior. The tool works in tandem with the companion formal verification tool D-VerT, to check that the parameters used for the sizing of applications and that guarantee the desired safety and timing properties are indeed correct.

References

[1]
Marcello M. Bersani, Madalina Erascu, Francesco Marconi, and Matteo Rossi. {n. d.}. D3.5 DICE Verification Tools Initial Version. (. {n. d.}). http://wp.doc.ic.ac.uk/dice-h2020/wp-content/uploads/sites/75/2016/02/D3.5_DICE-verification-tools-Initial-version.pdf
[2]
Giuliano Casale, Danilo Ardagna, Matej Artac, Franck Barbier, Elisabetta Di Nitto, Alexis Henry, Gabriel Iuhasz, Christophe Joubert, Jose Merseguer, Victor Ion Munteanu, Juan Perez, Dana Petcu, Matteo Rossi, Chris Sheridan, Ilias Spais, and Daniel Vladuvsivc. 2015. DICE: Quality-Driven Development of Data-Intensive Cloud Applications Proc. of MiSE. 78--83. http://www.diceh2020.euwww.diceh2020.eu
[3]
Francesco Marconi, Marcello M. Bersani, and Matteo Rossi. 2017. Formal verification of storm topologies through D-VerT Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3--7, 2017. 1168--1174.

Cited By

View all

Index Terms

  1. Trace Checking of Streaming Applications through DICE-TraCT

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    ICPE '18: Companion of the 2018 ACM/SPEC International Conference on Performance Engineering
    April 2018
    212 pages
    ISBN:9781450356299
    DOI:10.1145/3185768
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Sponsors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 02 April 2018

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. data intensive applications
    2. storm topologies
    3. trace-checking

    Qualifiers

    • Research-article

    Funding Sources

    • Horizon 2020 Framework Programme

    Conference

    ICPE '18

    Acceptance Rates

    Overall Acceptance Rate 252 of 851 submissions, 30%

    Upcoming Conference

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)2
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 15 Feb 2025

    Other Metrics

    Citations

    Cited By

    View all

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media