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
@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} }