Reliability analysis in component-based development via probabilistic model checking
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F12%3A00057593" target="_blank" >RIV/00216224:14330/12:00057593 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1145/2304736.2304752" target="_blank" >http://dx.doi.org/10.1145/2304736.2304752</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1145/2304736.2304752" target="_blank" >10.1145/2304736.2304752</a>
Alternative languages
Result language
angličtina
Original language name
Reliability analysis in component-based development via probabilistic model checking
Original language 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).
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach
Others
Publication year
2012
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering (CBSE '12)
ISBN
9781450313452
ISSN
—
e-ISSN
—
Number of pages
10
Pages from-to
83-92
Publisher name
ACM
Place of publication
New York, NY, USA
Event location
Bertinoro, Italy
Event date
Jun 25, 2012
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—