Team

The Project is based on the collaborative effort of 15 research groups organized in six Research Units. The members of the team are well known experienced researchers in the performance evaluation international area.

The Research Units have collaborations with prestigious international Universities and research centers, as well as with outstanding scientists. The members of the Research Units are in the Editorial Boards of top scientific journals and in the Program Committees of major international conferences. The members of the Research Units have a large publication record, consisting of papers appeared in international journals and in proceedings of outstanding performance evaluation conferences and of international books.

The expertise of the Research Units covers a broad range of performance evaluation topics, ranging from workload models to models based on formalisms, such as, single queue, queueing networks, stochastic Markovian and non Markovian processes, timed Petri Nets, to simulation techniques, to techniques for automatic generation of performance prediction models. This complementary expertise will be of benefit for the Project. Moreover, the profitable collaborations set up in the past between the Research Units within a large number of Italian and international research projects represent a guarantee of success for this Project.

In what follows, we will summarize the tasks of each Research Unit with respect to the five Work Packages (WP) identified in the Project.

The Research Unit of University of Pavia, Polytechnic of Milan and University of Roma "La Sapienza" will work in WP1,WP2, WP5. In particular, for what concerns WP1, the activities will deal with measurement techniques and methodologies for workload characterization of multi-layer complex systems. In the framework of WP2, the Research Unit will study the issues related to modelling the risk of the provider in contracts based on Service Level Agreement. Finally, in WP5, the activities will deal with the support services required by distributed simulation to guarantee correctness and efficiency.

The Research Unit of University of Torino will work in WP2, WP3 and WP4. In particular, for what concerns WP2, the activities will deal with a comparison of the modelling formalisms aimed at specifying the qualitative and quantitative of complex systems. Moreover, the Research unit will focus on modelling IP networks. The activities carried out within WP3 are related to the generation of Petri nets starting from UML and fault trees. Within WP4, the Research Unit will work on efficient analytical solution techniques of stochastic Petri nets.

The Research Unit of University of Bologna and University of Pisa will work in WP5. In particular, the activities will deal with the design and implementation of distributed simulation platforms. The Research Unit will also work on the design of distributed simulation models aimed at the evaluation of the core network of the UMTS system.

The Research Unit of University of Roma "Tor Vergata" and the University Ca' Foscari of Venezia will work in WP2, WP3, WP4 and WP5. In particular, for what concerns WP2, the activities will deal with modelling formalisms for the evaluation of complex systems. In WP3, the Research Unit will work on the automatic generation of performance and dependability models starting from description languages. Within WP4, the activities will focus on exact and approximate solution techniques for systems characterized by finite capacity. Finally, in WP5, the Research Unit will address the design of distributed simulation platforms.

The Research Unit of University of Firenze, University of Messina and University of Piemonte Orientale will work in WP2, WP3 and WP4. In particular, for what concerns WP2, the activities will deal with discrete and stochastic models. For what concerns WP3, the activities are related to the automatic generation of performance models of real-time systems starting from their SDL description. Within WP4, the Research Unit will address the analytical solution of deterministic and stochastic Petri nets and of Petri nets with partial symmetries. Moreover, the activities will include the construction of models of protocols by means of non Markovian Petri nets and distributed solution algorithms.

The Research Unit of CNUCE CNR will work in WP1, WP2, WP4 and WP5. In particular, for what concerns WP1, the activities will focus on the benchmarking of transactional Web systems and on the issues related to energy consumption of mobile terminals and to the characterization of replication policies. Within WP2, the Research Unit will study the models for the evaluation of the QoS delivered by distributed platforms. In WP4, the activities will focus on modelling wireless communication systems. Finally, in WP5, the activities will deal with the modelling of geographically distributed Web servers.

For more information: perf at www.perf.it
Site maintained by the University of Pavia