Availability analysis of software architecture decomposition alternatives for local recovery

Name: Availability analysis of software architecture decomposition alternatives for local recovery
Author: Sözer, Hasan, Stoelinga, M., Boudali, H., Aksit, M.

İsim	Availability analysis of software architecture decomposition alternatives for local recovery
Yazar	Sözer, Hasan, Stoelinga, M., Boudali, H., Aksit, M.
Basım Tarihi:	2017
Konu	Dependability, Availability, Fault tolerance, Local recovery, Software architecture evaluation
Tür	Süreli Yayın
Dil	İngilizce
Dijital	Evet
Yazma	Hayır
Kütüphane:	Özyeğin Üniversitesi
Demirbaş Numarası	0963-9314
Kayıt Numarası	d4294525-99bc-48db-9423-94e28bf1dc26
Lokasyon	Computer Science
Tarih	2017
Notlar	Due to copyright restrictions, the access to the full text of this article is only available via subscription.
Örnek Metin	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 .
DOI	10.1007/s11219-016-9315-9
Cilt	25

Kaynağa git Özyeğin Üniversitesi

Aramaya Dön

Özyeğin Üniversitesi

Kaynağa git

Availability analysis of software architecture decomposition alternatives for local recovery

Yazar Sözer, Hasan, Stoelinga, M., Boudali, H., Aksit, M.

Basım Tarihi 2017

Konu Dependability, Availability, Fault tolerance, Local recovery, Software architecture evaluation

Tür Süreli Yayın

Dil İngilizce

Dijital Evet

Yazma Hayır

Kütüphane Özyeğin Üniversitesi

Demirbaş Numarası 0963-9314

Kayıt Numarası d4294525-99bc-48db-9423-94e28bf1dc26

Lokasyon Computer Science

Tarih 2017

Notlar Due to copyright restrictions, the access to the full text of this article is only available via subscription.

Örnek Metin 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 .

DOI 10.1007/s11219-016-9315-9

Cilt 25