From Software Models to Dependability Analysis Models

Abstract

The objective of this chapter is to describe some proposals, of interest for practitioners, from those in Chap. 7 The focus of interest is how these proposals address the translation of a D-DSML into models for analysis. Concretely, the chapter focuses on availability and reliability proposals. We selected one from Bernardi et al., addressing availability and the other from Pai and Dugan, addressing reliability. These two approaches are applied to the case studies developed in Chap. 5 Availability analysis is then applied to the secure distributed system case study, while reliability models are obtained for the mission avionics one.