Multiformalism to support software rejuvenation modeling

Enrico Barbierato; Andrea Bobbio; Marco Gribaudo; Mauro Iacono

doi:10.1109/ISSREW.2012.92

Multiformalism to support software rejuvenation modeling

Enrico Barbierato, Andrea Bobbio, Marco Gribaudo, Mauro Iacono

Risultato della ricerca: Contributo in libro › Contributo 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 originale	English
Titolo della pubblicazione ospite	Proceedings - 23rd IEEE International Symposium on Software Reliability Engineering Workshops
Pagine	271-276
Numero di pagine	6
DOI	https://doi.org/10.1109/ISSREW.2012.92
Stato di pubblicazione	Pubblicato - 2012
Evento	23rd IEEE International Symposium on Software Reliability Engineering Workshop - Houston Durata: 27 nov 2012 → 30 nov 2012

Convegno

Convegno	23rd IEEE International Symposium on Software Reliability Engineering Workshop
Città	Houston
Periodo	27/11/12 → 30/11/12

Keywords

Fluid rejuvenation formalism
Rejuvenation
SIMTHESys
Software aging

Accesso al documento

10.1109/ISSREW.2012.92

Altri file e collegamenti

Link a IRIS PubliCatt

Cita questo

@inproceedings{04aabaae20b9466aaa48a5eee17bcae3,

title = "Multiformalism to support software rejuvenation modeling",

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. {\textcopyright} 2012 IEEE.",

keywords = "Fluid rejuvenation formalism, Rejuvenation, SIMTHESys, Software aging, Fluid rejuvenation formalism, Rejuvenation, SIMTHESys, Software aging",

author = "Enrico Barbierato and Andrea Bobbio and Marco Gribaudo and Mauro Iacono",

year = "2012",

doi = "10.1109/ISSREW.2012.92",

language = "English",

isbn = "978-076954928-6",

pages = "271--276",

booktitle = "Proceedings - 23rd IEEE International Symposium on Software Reliability Engineering Workshops",

note = "23rd IEEE International Symposium on Software Reliability Engineering Workshop ; Conference date: 27-11-2012 Through 30-11-2012",

}

TY - GEN

T1 - Multiformalism to support software rejuvenation modeling

AU - Barbierato, Enrico

AU - Bobbio, Andrea

AU - Gribaudo, Marco

AU - Iacono, Mauro

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

KW - Fluid rejuvenation formalism

KW - Rejuvenation

KW - SIMTHESys

KW - Software aging

KW - Fluid rejuvenation formalism

KW - Rejuvenation

KW - SIMTHESys

KW - Software aging

UR - http://hdl.handle.net/10807/202864

U2 - 10.1109/ISSREW.2012.92

DO - 10.1109/ISSREW.2012.92

M3 - Conference contribution

SN - 978-076954928-6

SP - 271

EP - 276

BT - Proceedings - 23rd IEEE International Symposium on Software Reliability Engineering Workshops

T2 - 23rd IEEE International Symposium on Software Reliability Engineering Workshop

Y2 - 27 November 2012 through 30 November 2012

ER -

Multiformalism to support software rejuvenation modeling

Abstract

Convegno

Keywords

Accesso al documento

Altri file e collegamenti

Fingerprint

Cita questo