{"title":"Trace Checking of Streaming Applications through DICE-TraCT","authors":"M. Bersani, F. Marconi, M. Rossi","doi":"10.1145/3185768.3186287","DOIUrl":null,"url":null,"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.","PeriodicalId":10596,"journal":{"name":"Companion of the 2018 ACM/SPEC International Conference on Performance Engineering","volume":"126 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2018-04-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Companion of the 2018 ACM/SPEC International Conference on Performance Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3185768.3186287","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1
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.