.png){kind=icon}
返回
Controller dependability analysis by probabilistic model checking
.png){kind=icon}
PRE
AI
DOI：10.1016/j.conengprac.2006.07.003.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
This paper demonstrates how probabilistic model checking, a formal verification method for the analysis of systems which exhibit stochastic behaviour, can be applied to the study of dependability properties of software-based control systems. By using existing formalisms and tool support from this area, it is possible to construct large and complex Markov models from an intuitive high-level description and to take advantage of the efficient implementation techniques which have been developed for these tools. This paper provides an overview of probabilistic model checking and of the tool PRISM which supports these techniques. It illustrates the applicability of the approach through the use of a case study and demonstrates that a wide range of useful dependability properties can be analysed in this way. (c) 2006 Elsevier Ltd. All rights reserved.
Keyword:
formal verification
performance analysis
Markov models
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
4.6
论文数:
5.7K
被引数:
1.1W
机构
暂无机构信息
引用论文
Treatment of staghorn calculi with extracorporeal shock-wave lithotripsy and percutaneous nephrolithotomy.png)
Urology
UrologyIF0
PREAI
分享收藏Interplay between Three RND Efflux Pumps in Doxycycline-Selected Strains of Burkholderia thailandensisPLoS ONE
OAAI
PLoS ONEIF0
OAAI分享收藏
Complementation of a Defective Human Adenovirus by an Otherwise Incompatible Ovine Adenovirus Recombinant Carrying a Functional E1A GeneVirologyOAAI
VirologyIF0
OAAI分享收藏 没有更多内容
没有更多内容