2012
Architecture-Based Reliability Prediction with the Palladio Component Model
BROSCH, Franz, Heiko KOZIOLEK, Barbora BÜHNOVÁ a Ralf REUSSNERZákladní údaje
Originální název
Architecture-Based Reliability Prediction with the Palladio Component Model
Autoři
BROSCH, Franz (276 Německo), Heiko KOZIOLEK (276 Německo), Barbora BÜHNOVÁ (203 Česká republika, garant, domácí) a Ralf REUSSNER (276 Německo)
Vydání
IEEE transactions on software engineering, New York, IEEE Computer Society, 2012, 0098-5589
Další údaje
Jazyk
angličtina
Typ výsledku
Článek v odborném periodiku
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Spojené státy
Utajení
není předmětem státního či obchodního tajemství
Odkazy
Impakt faktor
Impact factor: 2.588
Kód RIV
RIV/00216224:14330/12:00061729
Organizační jednotka
Fakulta informatiky
UT WoS
000311556100005
Klíčová slova anglicky
Software architectures; quality analysis and evaluation; reliability; design tools and techniques
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 22. 4. 2013 05:25, RNDr. Pavel Šmerk, Ph.D.
Anotace
V originále
With the increasing importance of reliability in business and industrial software systems, new techniques of architecture-based reliability engineering are becoming an integral part of the development process. These techniques can assist system architects in evaluating the reliability impact of their design decisions. Architecture-based reliability engineering is only effective if the involved reliability models reflect the interaction and usage of software components and their deployment to potentially unreliable hardware. However, existing approaches either neglect individual impact factors on reliability or hard-code them into formal models, which limits their applicability in component-based development processes. This paper introduces a reliability modelling and prediction technique that considers the relevant architectural factors of software systems and explicitly models the component usage profile and execution environment. The technique offers a UML-like modelling notation, whose models are automatically transformed into a formal analytical model. Our work builds upon the Palladio Component Model, employing novel techniques of information propagation and reliability assessment. We validate our technique with sensitivity analyses and simulation in two case studies. The case studies demonstrate effective support of usage profile analysis and architectural configuration ranking, together with the employment of reliability-improving architecture tactics.
Návaznosti
LA09016, projekt VaV |
|