Best of Three Worlds: Towards Sound Architectural Dependability Models
Hichem Boudali, Boudewijn R. H. M. Haverkort, M. Küntz, Mariëlle I. A. Stoelinga · University of Twente Research Information · 2007
This paper surveys the most prominent formalisms for availability and reliability analysis and discusses the pros and cons of these approaches. Based on our findings, we outline a solution that unites the merits of the existing approaches into a sound architectural dependability model. I.