UPPAAL和DTRON在运行时验证中的实际应用

2015 IEEE/ACM 2nd International Workshop on Software Engineering Research and Industrial Practice Pub Date : 2015-05-16 DOI:10.1109/SERIP.2015.15

D. Truscan, Tanwir Ahmad, Faezeh Siavashi, Pekka Tuuttila

{"title":"UPPAAL和DTRON在运行时验证中的实际应用","authors":"D. Truscan, Tanwir Ahmad, Faezeh Siavashi, Pekka Tuuttila","doi":"10.1109/SERIP.2015.15","DOIUrl":null,"url":null,"abstract":"We present our experience in applying runtime verification to a real-time system using UPPAAL timed automata and a set of related tools. We discuss the benefits and limitations, and propose a concrete solution to address the latter. Using the resulting solution we are able to run quick validation cycles as well as more thorough ones depending on the scope of validation. Finally, we show that our solution was able to detect faults which were not detected by more traditional testing techniques.","PeriodicalId":293394,"journal":{"name":"2015 IEEE/ACM 2nd International Workshop on Software Engineering Research and Industrial Practice","volume":"3 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2015-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"A Practical Application of UPPAAL and DTRON for Runtime Verification\",\"authors\":\"D. Truscan, Tanwir Ahmad, Faezeh Siavashi, Pekka Tuuttila\",\"doi\":\"10.1109/SERIP.2015.15\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We present our experience in applying runtime verification to a real-time system using UPPAAL timed automata and a set of related tools. We discuss the benefits and limitations, and propose a concrete solution to address the latter. Using the resulting solution we are able to run quick validation cycles as well as more thorough ones depending on the scope of validation. Finally, we show that our solution was able to detect faults which were not detected by more traditional testing techniques.\",\"PeriodicalId\":293394,\"journal\":{\"name\":\"2015 IEEE/ACM 2nd International Workshop on Software Engineering Research and Industrial Practice\",\"volume\":\"3 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2015-05-16\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2015 IEEE/ACM 2nd International Workshop on Software Engineering Research and Industrial Practice\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SERIP.2015.15\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2015 IEEE/ACM 2nd International Workshop on Software Engineering Research and Industrial Practice","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SERIP.2015.15","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 4

摘要

我们介绍了使用UPPAAL时间自动机和一组相关工具将运行时验证应用于实时系统的经验。我们讨论了优点和局限性，并提出了解决后者的具体解决方案。使用得到的解决方案，我们可以根据验证的范围运行快速的验证周期以及更彻底的验证周期。最后，我们证明了我们的解决方案能够检测到传统测试技术无法检测到的故障。

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

查看原文本刊更多论文

A Practical Application of UPPAAL and DTRON for Runtime Verification

We present our experience in applying runtime verification to a real-time system using UPPAAL timed automata and a set of related tools. We discuss the benefits and limitations, and propose a concrete solution to address the latter. Using the resulting solution we are able to run quick validation cycles as well as more thorough ones depending on the scope of validation. Finally, we show that our solution was able to detect faults which were not detected by more traditional testing techniques.

求助全文

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

来源期刊

2015 IEEE/ACM 2nd International Workshop on Software Engineering Research and Industrial Practice

自引率

0.00%

发文量