.png){kind=icon}
返回
Efficient Parametric Model Checking Using Domain Knowledge
.png){kind=icon}
OA
AI
DOI：10.1109/TSE.2019.2912958.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
We introduce an efficient parametric model checking (ePMC) method for the analysis of reliability, performance and other quality-of-service (QoS) properties of software systems. ePMC speeds up the analysis of parametric Markov chains modelling the behaviour of software by exploiting domain-specific modelling patterns for the software components (e.g., patterns modelling the invocation of functionally-equivalent services used to jointly implement the same operation within service-based systems, or the deployment of the components of multi-tier software systems across multiple servers). To this end, ePMC precomputes closed-form expressions for key QoS properties of such patterns, and uses these expressions in the analysis of whole-system models. To evaluate ePMC, we show that its application to service-based systems and multi-tier software architectures reduces the analysis time by several orders of magnitude compared to current parametric model checking methods.
Keyword:
Markov processes
Quality of service
Analytical models
Unified modeling language
Software
Probabilistic logic
Parametric statistics
Parametric model checking
Markov models
model abstraction
probabilistic model checking
quality of service
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
5.6
论文数:
2.9K
被引数:
1.1W
机构
引用论文
.png){kind=icon}
分享收藏A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems高度 (重新) 可配置系统的定量建模和分析框架OAAI
OAAI分享收藏
查看更多内容