Reliability analysis in component-based development via probabilistic model checking

Investor logo
Investor logo

Warning

This publication doesn't include Faculty of Education. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

BENEŠ Nikola BÜHNOVÁ Barbora ČERNÁ Ivana OŠLEJŠEK Radek

Year of publication 2012
Type Article in Proceedings
Conference Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering (CBSE '12)
MU Faculty or unit

Faculty of Informatics

Citation
Doi http://dx.doi.org/10.1145/2304736.2304752
Field Informatics
Keywords Reliability; component-based systems; probabilistic model checking; Markov decision processes (MDP)
Attached files
Description Engineering of highly reliable systems requires support of sophisticated design methods allowing software architects to competently decide between various design alternatives already early in the development process. Architecture-based reliability prediction provides such capability. The formalisms and analytical methods employed by existing approaches are however often limited to a single reliability measure (the probability of failure on demand) and consideration of behavioural uncertainty (focusing on the uncertainty in model parameters, not the behaviour itself). This paper presents a formal reliability assessment approach for component-based systems based on the probabilistic model checking of various reliability-related properties specified in probabilistic linear temporal logic (PLTL). The systems are formalized as Markov decision processes (MDP), which allows software architects to encode behavioural uncertainties into the models in terms of nondeterministic (scheduler-decided) choices in the MDP.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.