Reliability analysis in component-based development via probabilistic model checking

Kód výsledku v 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>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

Reliability analysis in component-based development via probabilistic model checking

Popis výsledku v původním jazyce

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).

Název v anglickém jazyce

Reliability analysis in component-based development via probabilistic model checking

Popis výsledku anglicky

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).

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2012

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering (CBSE '12)

ISBN

9781450313452

ISSN

—

e-ISSN

—

Počet stran výsledku

10

Strana od-do

83-92

Název nakladatele

ACM

Místo vydání

New York, NY, USA

Místo konání akce

Bertinoro, Italy

Datum konání akce

25. 6. 2012

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—