In this paper, we present OpenMADS, an open source tool for modeling and analysis of distributed systems. OpenMADS generates comprehensive availability models by using the input of SysML specifications and MARTE annotations, which are automatically translated into deterministic and stochastic Petri nets. The integrated use of analytic models (e.g., Petri Nets or Markov chains) with semi-formal modeling languages, like SysML or UML, can provide important insights to the designers regarding different distributed infrastructures, and consequently, allows them to choose the infrastructure that fits the company budget or satisfies a given service level agreement. To show the applicability of OpenMADS, we demonstrate the process of availability modeling and evaluation based on the example of a Web server system. © 2013 Springer-Verlag.
CITATION STYLE
Andrade, E. C., Alves, M., Matos, R., Silva, B., & Maciel, P. (2013). OpenMADS: An open source tool for modeling and analysis of distributed systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8153 LNCS, pp. 277–284). https://doi.org/10.1007/978-3-642-40793-2_25
Mendeley helps you to discover research relevant for your work.