通过DICE-TraCT的流应用跟踪检查

Companion of the 2018 ACM/SPEC International Conference on Performance Engineering Pub Date : 2018-04-02 DOI:10.1145/3185768.3186287

M. Bersani, F. Marconi, M. Rossi

{"title":"通过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":"{\"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}","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

摘要

本文介绍了DICE- tract工具——DICE工具链的一部分——它允许数据密集型应用程序的开发人员分析此类应用程序执行的跟踪并检测与预期行为的偏差。该工具与配套的形式验证工具D-VerT协同工作，以检查用于应用程序尺寸的参数，并确保所需的安全性和定时属性确实正确。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Trace Checking of Streaming Applications through DICE-TraCT

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Companion of the 2018 ACM/SPEC International Conference on Performance Engineering

自引率

0.00%

发文量