Multiformalism to support software rejuvenation modeling

被引:7
作者
Barbierato, Enrico [1 ]
Bobbio, Andrea [2 ]
Gribaudo, Marco [3 ]
Iacono, Mauro [4 ]
机构
[1] Univ Turin, Dipartimento Informat, I-10149 Turin, Italy
[2] Univ Piemonte Orientale Amedeo Avogadro, Dipartimento Scienze Innovazione Tecnolog, Alessandria, Italy
[3] Politecn Milan, Dipartimento Elett Informazione, Milan, Italy
[4] Seconda Univ Napoli, Dipartimento Scienze Politiche, Caserta, Italy
来源
23RD IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSRE 2012) | 2012年
关键词
Software aging; Rejuvenation; SIMTHESys; Fluid rejuvenation formalism; STOCHASTIC PETRI NETS; FLUSH-OUT ARCS;
D O I
10.1109/ISSREW.2012.92
中图分类号
TP31 [计算机软件];
学科分类号
081205 [计算机软件];
摘要
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.
引用
收藏
页码:271 / 276
页数:6
相关论文
共 23 条
[1]
Monitoring Smoothly Degrading Systems for Increased Dependability [J].
Avritzer A. ;
Weyuker E.J. .
Empirical Software Engineering, 1997, 2 (1) :59-77
[2]
Barbierato E., 2013, ELECT NOTES THEOR CO
[3]
Barbierato E, 2011, P 5 INT ICST C PERF, P121
[4]
Barbierato E, 2011, LECT NOTES COMPUT SC, V6751, P257
[5]
Defining Formalisms for Performance Evaluation With SIMTHESys [J].
Barbierato, Enrico ;
Gribaudo, Marco ;
Iacono, Mauro .
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2011, 275 :37-51
[6]
Bobbio A, 1998, COMPUT SYST SCI ENG, V13, P339
[7]
Bobbio A., 1999, 8 INT C PETR PERF MO, P83
[8]
Bobbio Andrea, 2008, IEEE INT C SOFTW REL, V2008, P1
[9]
Chillarege R., 2011, Proceedings of the 2011 IEEE Third International Workshop on Software Aging and Rejuvenation (WoSAR 2011), P7, DOI 10.1109/WoSAR.2011.17
[10]
Cotroneo D., 2011, Proceedings of the 2011 IEEE Third International Workshop on Software Aging and Rejuvenation (WoSAR 2011), P1, DOI 10.1109/WoSAR.2011.15