Multiformalism to support software rejuvenation modeling

Enrico Barbierato, Andrea Bobbio, Marco Gribaudo, Mauro Iacono

Risultato della ricerca: Contributo in libroContributo a convegno

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.
Lingua originaleEnglish
Titolo della pubblicazione ospiteProceedings - 23rd IEEE International Symposium on Software Reliability Engineering Workshops
Pagine271-276
Numero di pagine6
DOI
Stato di pubblicazionePubblicato - 2012
Evento23rd IEEE International Symposium on Software Reliability Engineering Workshop - Houston
Durata: 27 nov 201230 nov 2012

Convegno

Convegno23rd IEEE International Symposium on Software Reliability Engineering Workshop
CittàHouston
Periodo27/11/1230/11/12

Keywords

  • Fluid rejuvenation formalism
  • Rejuvenation
  • SIMTHESys
  • Software aging

Fingerprint

Entra nei temi di ricerca di 'Multiformalism to support software rejuvenation modeling'. Insieme formano una fingerprint unica.

Cita questo