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.
|Publisher||Centre for Telematics and Information Technology (CTIT)|
|Number of pages||5|
|Place of Publication||Enschede|
|Publication status||Published - Sep 2007|