Other formats:
BibTeX
LaTeX
RIS
@inproceedings{991995,
author = {Beneš, Nikola and Bühnová, Barbora and Černá, Ivana and Ošlejšek, Radek},
address = {New York, NY, USA},
booktitle = {Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering (CBSE '12)},
doi = {http://dx.doi.org/10.1145/2304736.2304752},
keywords = {Reliability; component-based systems; probabilistic model checking; Markov decision processes (MDP)},
howpublished = {tištěná verze "print"},
language = {eng},
location = {New York, NY, USA},
isbn = {978-1-4503-1345-2},
pages = {83-92},
publisher = {ACM},
title = {Reliability analysis in component-based development via probabilistic model checking},
year = {2012}
}
TY - JOUR
ID - 991995
AU - Beneš, Nikola - Bühnová, Barbora - Černá, Ivana - Ošlejšek, Radek
PY - 2012
TI - Reliability analysis in component-based development via probabilistic model checking
PB - ACM
CY - New York, NY, USA
SN - 9781450313452
KW - Reliability
KW - component-based systems
KW - probabilistic model checking
KW - Markov decision processes (MDP)
N2 - 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.
ER -
BENEŠ, Nikola, Barbora BÜHNOVÁ, Ivana ČERNÁ and Radek OŠLEJŠEK. Reliability analysis in component-based development via probabilistic model checking. In \textit{Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering (CBSE '12)}. New York, NY, USA: ACM, 2012, p.~83-92. ISBN~978-1-4503-1345-2. Available from: https://dx.doi.org/10.1145/2304736.2304752.
|
