{"title":"PARTES: Performance Analysis of Real-Time Embedded Systems","authors":"Benjamin Gorry, Andrew Ireland, P. King","doi":"10.1109/QEST.2007.17","DOIUrl":null,"url":null,"abstract":"The development of performance models from real-time system source code can be a time consuming process. It can be difficult to capture actual system timing values to be used in these models. The tool PARTES is introduced. PARTES facilitates the extraction of CSPL (C-based stochastic Petri net language) models from an ANSTC program which has been annotated by the user. These models are then subjected to sensitivity analysis via the SPNP (stochastic Petri net package). The results from analysis can be used to directly identify any potentially problematic timing areas in the original source code.","PeriodicalId":249627,"journal":{"name":"Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)","volume":"26 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2007-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/QEST.2007.17","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 6
Abstract
The development of performance models from real-time system source code can be a time consuming process. It can be difficult to capture actual system timing values to be used in these models. The tool PARTES is introduced. PARTES facilitates the extraction of CSPL (C-based stochastic Petri net language) models from an ANSTC program which has been annotated by the user. These models are then subjected to sensitivity analysis via the SPNP (stochastic Petri net package). The results from analysis can be used to directly identify any potentially problematic timing areas in the original source code.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
