Stochastic Activity Networks Templates: Supporting Variability in Performability Models
Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli

TL;DR
This paper introduces Stochastic Activity Networks Templates (SAN-T), a formalism that incorporates variability into performability models, enabling more efficient modeling of complex systems with component variations.
Contribution
The paper presents SAN-T, a novel formalism that extends SANs to include variability affecting structure and parameters, facilitating scalable modeling of complex systems.
Findings
SAN-T formalism effectively models variability in SANs
Application to environmental monitoring backbone network
Generalizes existing SAN models with variability features
Abstract
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 challenge for model-based evaluation has been the efficiency of the solution process. Recently, the problem of specifying and maintaining complex models has increasingly gained attention, as modern systems are characterized by many components and complex interactions. Components share similarities, but also exhibit variations in their behavior due to different configurations or roles in the system. From the modeling perspective, variations lead to replicating and altering a small set of base models multiple times. Variability is taken into account only informally, by defining a sample model and explaining its possible variations. In this paper we address the problem of including variability in performability…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSoftware System Performance and Reliability · Advanced Software Engineering Methodologies · Software-Defined Networks and 5G
