Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1007/978-3-642-40793-2_25 | SAFECOMP |
Field | DocType | Citations |
Petri net,Unified Modeling Language,Systems engineering,Computer science,Service-level agreement,Markov chain,Modeling language,Stochastic Petri net,Systems Modeling Language,Reliability engineering,Distributed computing,Web server | Conference | 4 |
PageRank | References | Authors |
0.42 | 10 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ermeson C. Andrade | 1 | 44 | 6.00 |
Marcelo Alves | 2 | 17 | 2.94 |
Rubens S. Matos | 3 | 158 | 16.86 |
Bruno Silva | 4 | 124 | 16.86 |
Paulo Romero Martins Maciel | 5 | 363 | 59.24 |