Performance validation of fault-tolerance software: a compositional approach

Abstract

This paper discusses the lessons learned in the modeling of a software fault tolerance solution built by a consortium of universities and industrial companies for an Esprit project called TIRAN. The requirements of high flexibility and modularity for the software have lead to a modeling approach strongly based on compositionality. Since the interest was for assessing both correctness and performance of the proposed solution, we have cared for these two aspects at the sume time, and, by means of an example, we show how this was a central aspect of our analysis.

Stochastic Petri nets and inheritance for dependability modelling

“…The associations among classes are systematically used to complete the composition formula of the PSR by identifying the set of transitions involved in the composition operator. A number of predefined models (for example the communication models of [2] and description of resources) are used in [3]. Hierarchies are there suggested as a possible source of reuse, especially for FEF, but the topic is not developed there, since it was marginal with respect to the focus of the paper.…”