Performance evaluation of Fractal component based systems

International audienceComponent based system development is now a well accepted design approach in software engineering. Numerous component models have been proposed and for most of them, specific software tools allow building Component Based System (CBS). Although these tools perform several checks on the built system, few of them provide formal verification of behavioural properties nor performance evaluation of the resulting system. In this context, we have developed a general method associating to a CBS, a formal model, based on Stochastic Well formed Nets, a class of high level Petri Nets, allowing qualitative behavioural analysis together with performance evaluation of this CBS. The definition of the model heavily depends on the (run time) component model used to describe the CBS. In this paper, we instantiate our method to Fractal CBS and its reference Java implementation Julia. The method starts from the Fractal architectural description of a system, and defines rules to systematically generate elements models of the CBS and their interactions. We then apply a structured method both for qualitative and performance analysis taking into account the given implementation of the Fractal model. The main interest of our method is to take advantage of the compositional definition of such systems to carry out an efficient analysis. The paper concentrates on performance evaluation and presents our method step by step with an illustrative example

Structured Performance Analysis for Component Based Systems

International audienceThe Component Based System (CBS) paradigm is now largely used to design software systems. In addition, performance and behavioural analysis remains a required step for the design and the construction of efficient systems. This is especially the case of CBS, which involve interconnected components running concurrent processes. % This paper proposes a compositional method for modeling and structured performance analysis of CBS. Modeling is based on Stochastic Well-formed Nets (SWN), a high level model of Stochastic Petri nets, widely used for dependability analysis of concurrent systems. Starting from the definition of the system given in a suitable Architecture Description Language, and from the definition of the elementary components, we build an SWN of the global system together with a set of SWNs modeling the components of the CBS and their connections. From these models, we derive performances of the system thanks to a structured analysis induced by the structure of the CBS. We describe the application of our method through an example designed in the framework of the CORBA Component Model

The equatorial West Pacific fresh pool at the end of the La Nina event in October/November 1996

The salinity, temperature and current distributions have been measured during the TROPAC cruise (Oct./Nov. 1996) at two sections, i.e. 143°E and 150°E, during the final phase of the 1995/1996 La Niña. The results present evidence that the fresh pool and the salinity front at its eastern boundary had moved far to the west, and that a barrier layer existed in that phase. The observed currents support the idea that advective processes play an essential role in creating the thermohaline structure during this ENSO phase. In relation with this process, it is found that the westward subduction mechanism of relatively dense eastern equatorial waters may apply during that phase

Les Symétries dans les Réseaux de Petri Stochastiques (RdPS) Construction du Graphe Symbolique

The main purpose of this paper is to give a method for construction of the reduced reachability graph for Stochastic Petri Nets (SPN), the symbolic graph. This construction is achieved by exploiting the structural symetries in the net using the theory of bisimulation of places for detecting isomorphic parts in the net. The symbolic graph, being isomorphic to an agregated Markov chain, may be used to prove qualitative properties as liveness, boundness, ... Moreover, this reduced graph make more easy the computation of the performance measures of interest as the mean number of tokens in a place, the mean number of firing transition ... We have so developped a tool, SSPN (Stochastic Symetric Petri nets), for generating the symbolic graph and deducing qualitatives and quantitatives properties