首页|Availability analysis of software architecture decomposition alternatives for local recovery

Availability analysis of software architecture decomposition alternatives for local recovery

扫码查看
原文链接
  • NETL
  • NSTL
  • Springer Nature
We present an efficient and easy-to-use methodology to predict-at design time-the availability of systems that support local recovery. Our analysis techniques work at the architectural level, where the software designer simply inputs the software modules' decomposition annotated with failure and repair rates. From this decomposition, we automatically generate an analytical model (a continuous-time Markov chain), from which an availability measure is then computed, in a completely automated way. A crucial step is the use of intermediate models in the input/output interactive Markov chain formalism, which makes our techniques efficient, mathematically rigorous, and easy to adapt. In particular, we use aggressive minimization techniques to keep the size of the generated state spaces small. We have applied our methodology on a realistic case study, namely the MPlayer open-source software. We have investigated four different decomposition alternatives and compared our analytical results with the measured availability on a running MPlayer. We found that our predicted results closely match the measured ones.

DependabilityAvailabilityFault toleranceLocal recoverySoftware architecture evaluation

Sozer, Hasan、Stoelinga, Marielle、Boudali, Hichem、Aksit, Mehmet

展开 >

Ozyegin Univ, Sch Engn, Antepe Mah Orman Sk 34-36, TR-34794 Istanbul, Turkey

Univ Twente, Dept Comp Sci, Formal Methods & Tools Grp, Enschede, Netherlands

European Space Agcy, European Space Res & Technol Ctr, Noordwijk, Netherlands

Univ Twente, Dept Comp Sci, Software Engn Grp, Enschede, Netherlands

展开 >

2017

10.1007/s11219-016-9315-9

Software quality journal

Software quality journal

EISCI
ISSN：0963-9314
年,卷(期)：2017.25(2)
  • 3
  • 41