The study of software aging and rejuvenation is based on models that conjugate the complexity of architectural models with the problem of time dependence of parameters. Exploiting the metaphors of common performance-oriented modeling formalisms (such as Petri nets or queuing networks) with the support of proper solution techniques can help modelers in approaching the analysis of complex software-based systems. This paper shows how SIMTHESys (a multiformalism modeling framework) can be used to approach the modeling problem by implementing a new user-defined modeling formalisms and the related fluid-based solution engine. © 2012 IEEE.
Barbierato, E., Bobbio, A., Gribaudo, M., Iacono, M., Multiformalism to support software rejuvenation modeling, in Proceedings - 23rd IEEE International Symposium on Software Reliability Engineering Workshops, (Houston, 27-30 November 2012), IEEE, New York 2012: 271-276. [10.1109/ISSREW.2012.92] [http://hdl.handle.net/10807/202864]
Multiformalism to support software rejuvenation modeling
Barbierato, EnricoUltimo
;Bobbio, AndreaPrimo
;
2012
Abstract
The study of software aging and rejuvenation is based on models that conjugate the complexity of architectural models with the problem of time dependence of parameters. Exploiting the metaphors of common performance-oriented modeling formalisms (such as Petri nets or queuing networks) with the support of proper solution techniques can help modelers in approaching the analysis of complex software-based systems. This paper shows how SIMTHESys (a multiformalism modeling framework) can be used to approach the modeling problem by implementing a new user-defined modeling formalisms and the related fluid-based solution engine. © 2012 IEEE.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
