Stochastic Activity Networks Templates: Supporting Variability in Performability Models

Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli

Model-based evaluation is extensively used to estimate performance and reliability of dependable systems. Traditionally, those systems were small and self-contained, and the main c…