GMRES: a generalized minimal residual algorithm for solving nonsymmetric linear systems
SIAM Journal on Scientific and Statistical Computing
A methodology for solving Markov models of parallel systems
Journal of Parallel and Distributed Computing
Efficient descriptor-vector multiplications in stochastic automata networks
Journal of the ACM (JACM)
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
PEPA nets: a structured performance modelling formalism
Performance Evaluation - Modelling techniques and tools for computer performance evaluation
Structured Stochastic Modeling of Fault-Tolerant Systems
MASCOTS '04 Proceedings of the The IEEE Computer Society's 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
On the benefits of using functional transitions and Kronecker algebra
Performance Evaluation
Modular Analytical Performance Models for Ad Hoc Wireless Networks
WIOPT '05 Proceedings of the Third International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks
Exploiting interleaving semantics in symbolic state-space generation
Formal Methods in System Design
PEPS2007 - Stochastic Automata Networks Software Tool
QEST '07 Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
Perfect Simulation of Stochastic Automata Networks
ASMTA '08 Proceedings of the 15th international conference on Analytical and Stochastic Modeling Techniques and Applications
Reachable State Space Generation for Structured Models which Use Functional Transitions
QEST '09 Proceedings of the 2009 Sixth International Conference on the Quantitative Evaluation of Systems
Performance Models For Master/Slave Parallel Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Analytical Modeling for Operating System Schedulers on NUMA Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Simulation of Markovian models using bootstrap method
Proceedings of the 2010 Summer Computer Simulation Conference
Stochastic Model for QoS Assessment in Multi-tier Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Performance Evaluation of Software Development Teams: a Practical Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
A Structured Stochastic Model for Prediction of Geological Stratal Stacking Patterns
Electronic Notes in Theoretical Computer Science (ENTCS)
A CTL model checker for stochastic automata networks
QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
| Hi-index | 0.00 |
Structured Markovian models are widely used to map and analyze the behavior of complex systems. However, the modeler must frequently need a deeply knowledge about specialized tools or limitations imposed on the solution of their models. This paper presents an easy and practical software tool, called SAN Lite-Solver, that applies the Power method to solve a Stochastic Automata Network (SAN) model, using a standard Multi-valued Decision Diagram (MDD) structure to compute and to store the model's reachable state space (RSS) and a Harwell-Boeing format (HBF) matrix which represents the underlying Markov chain (MC). The performance analysis of this new tool (in terms of memory used and CPU time to solve models) is presented and compared to the current approach used to solve SAN models.