OpenMADS

Openmads: An open source tool for modeling and analysis of distributed systems. 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.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element


References in zbMATH (referenced in 2 articles , 1 standard article )

Showing results 1 to 2 of 2.
Sorted by year (citations)

  1. Andrade, Ermeson; Nogueira, Bruno; Matos, Rubens; Callou, Gustavo; Maciel, Paulo: Availability modeling and analysis of a disaster-recovery-as-a-service solution (2017)
  2. Andrade, Ermeson C.; Alves, Marcelo; Matos, Rubens; Silva, Bruno; Maciel, Paulo: Openmads: An open source tool for modeling and analysis of distributed systems (2013) ioport