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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Rugina, A.-E., Kanoun, K., Kaâniche, M.: The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation. In: EDCC (2008)
Team, A.: The ArgoUML Tool (2013), http://argouml.tigris.org/
Zimmermann, A., Knoke, M., Huck, A., Hommel, G.: Towards Version 4.0 of TimeNET. In: MMB,, pp. 1–4 (2006)
Silva, B., Callou, G., Tavares, E., Maciel, P., et al.: Astro: An Integrated Environment for Dependability and Sustainability Evaluation. In: Sustainable Computing: Informatics and Systems (2012)
Marsan, M., Chiola, G.: On Petri Nets with Deterministic and Exponentially Distributed Firing Times. In: Rozenberg, G. (ed.) APN 1987. LNCS, vol. 266, pp. 132–145. Springer, Heidelberg (1987)
Gómez-MartÃnez, E., Merseguer, J.: ArgoSPE: Model-Based Software Performance Engineering. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 401–410. Springer, Heidelberg (2006)
Andrade, E., Machida, F., et al.: Modeling and Analyzing Server System with Rejuvenation Through SysML and Stochastic Reward Nets. In: ARES (2011)
Andrade, E., Alves, M., Maciel, P.: OpenMADS: An Open Source Tool for Modeling and Analysis of Distributed Systems (2013), http://code.google.com/p/openmads/
Machida, F., Andrade, E., et al.: Candy: Component-Based Availability Modeling Framework for Cloud Service Management Using SysML. In: SRDS (2011)
Ciardo, G., Muppala, J., Trivedi, K.: SPNP: Stochastic Petri Net Package. In: Proceedings of the Third International Workshop, PNPM, pp. 142–151 (1989)
InterCAX, Paramagic - SysML Parametric Solver for MagicDraw (2013), http://www.intercax.com/sysml
Amorim, L., Maciel, P., Nogueira, M., Barreto, R., Tavares, E.: Mapping Live Sequence Chart to Coloured Petri Nets for Analysis and Verification of Embedded Systems. ACM SIGSOFT Software Engineering Notes 31 (2006)
Hause, M., et al.: The SysML Modelling Language. In: Fifteenth European Systems Engineering Conference, vol. 9 (2006)
Faugere, M., et al.: Marte: Also an UML Profile for Modeling AADL Applications. In: ICECCS (2007)
Hause, M., Gloucestershire, C., Hn, G.: Artisan Software Tools (2013), http://www.atego.com/products/artisan-studio/
Gérard, S.: Papyrus UML (2013), http://www.papyrusuml.org
Yin, X., Javier, A., Machida, F., Andrade, E., Trivedi, K.: Availability Modeling and Analysis for Data Backup and Restore Operations. In: SRDS (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
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: Bitsch, F., Guiochet, J., Kaâniche, M. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2013. Lecture Notes in Computer Science, vol 8153. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40793-2_25
Download citation
DOI: https://doi.org/10.1007/978-3-642-40793-2_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40792-5
Online ISBN: 978-3-642-40793-2
eBook Packages: Computer ScienceComputer Science (R0)