2021
Contribution to conference  Open Access

TAPAS: a tool for stochastic evaluation of large interdependent composed models with absorbing states

Masetti G., Robol L., Chiaradonna S., Di Giandomenico F.

Stochastic evaluation  Composed model  Markov chain  CTMC  Reliability model 

TAPAS is a new tool for efficient evaluation of dependability and performability attributes of systems composed of many interconnected components. The tool solves homogeneous continuous time Markov chains described by stochastic automata network models structured in submodels with absorbing states. The measures of interest are defined by a reward structure based on submodels composed through transition-based synchronization. The tool has been conceived in a modular and flexible fashion, to easily accommodate new features. Currently, it implements an array of state-based solvers that addresses the state explosion problem through powerful mathematical techniques, including Kronecker algebra, Tensor Trains and Exponential Sums. A simple, yet representative, case study is adopted, to present the tool and to show the feasibility of the supported methods, in particular from memory consumption point of view.

Source: TOSME Workshop - Tools for Stochastic Modelling and Evaluation (performance, dependability, security and verification), Online workshop, 12/11/2021



Back to previous page
BibTeX entry
@inproceedings{oai:it.cnr:prodotti:467624,
	title = {TAPAS: a tool for stochastic evaluation of large interdependent composed models with absorbing states},
	author = {Masetti G. and Robol L. and Chiaradonna S. and Di Giandomenico F.},
	booktitle = {TOSME Workshop - Tools for Stochastic Modelling and Evaluation (performance, dependability, security and verification), Online workshop, 12/11/2021},
	year = {2021}
}