Exceptions constitute a widely accepted fault tolerance mechanism, suitable to manage both hardware and software faults. In performability analysis it is a common practice to exploit software tools capable of describing a system using models expressed in various formalisms. Often these tools provide extensibility features that allow augmenting the primitives of a given formalism, but in most cases they lack of exception support. This paper aims at filling this gap, by introducing a general mechanism to add support for exception handling to most of the existing formalisms. The validity of the proposed method is supported by two modelling cases that benefit in clarity and economy. © 2011 Springer-Verlag.

Barbierato, E., Gribaudo, M., Iacono, M., Marrone, S., Performability modeling of exceptions-aware systems in multiformalism tools, in Electronic Notes in Theoretical Computer Science, (Venezia, 20-22 June 2011), Lecture Notes in Computer Science, Basilea 2011:6751 257-272. [10.1007/978-3-642-21713-5_19] [http://hdl.handle.net/10807/202867]

Performability modeling of exceptions-aware systems in multiformalism tools

Barbierato, Enrico;
2011

Abstract

Exceptions constitute a widely accepted fault tolerance mechanism, suitable to manage both hardware and software faults. In performability analysis it is a common practice to exploit software tools capable of describing a system using models expressed in various formalisms. Often these tools provide extensibility features that allow augmenting the primitives of a given formalism, but in most cases they lack of exception support. This paper aims at filling this gap, by introducing a general mechanism to add support for exception handling to most of the existing formalisms. The validity of the proposed method is supported by two modelling cases that benefit in clarity and economy. © 2011 Springer-Verlag.
2011
Inglese
Electronic Notes in Theoretical Computer Science
8th International Conference on Analytical and Stochastic Modelling and Applications, ASMTA 2011
Venezia
20-giu-2011
22-giu-2011
978-364221712-8
Lecture Notes in Computer Science
Barbierato, E., Gribaudo, M., Iacono, M., Marrone, S., Performability modeling of exceptions-aware systems in multiformalism tools, in Electronic Notes in Theoretical Computer Science, (Venezia, 20-22 June 2011), Lecture Notes in Computer Science, Basilea 2011:6751 257-272. [10.1007/978-3-642-21713-5_19] [http://hdl.handle.net/10807/202867]
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10807/202867
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 25
  • ???jsp.display-item.citation.isi??? ND
social impact