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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.