D. Truscan, Tanwir Ahmad, Faezeh Siavashi, Pekka Tuuttila
{"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}
引用次数: 4
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
