Among the non-functional requirements of a system, the performance and reliability issues play a pivotal role. Most of the times a fast response to a user’s query or a prompt reaction to an environmental change is an essential part of the system design.
ACADIA research track on performance engineering aims at developing formal languages and analysis techniques that are suitable to analyse the performance and reliability properties of autonomous, distributed and pervasive systems.
Additionally, the highly distributed nature of pervasive systems is sometimes exploited to drive smart global behaviours that arise from simple decisions taken by each agent based on a local knowledge. The design of systems with such a nature or predicting the emerging behaviours of existing ones is another challenge that is addressed by this research line.
- A. Marin, S. Balsamo, J.-M. Fourneau: LB-networks: A model for dynamic load balancing in queueing networks. Perform. Eval. Volume 115, pp. 38-53, 2017
- S. Rossi, A. Marin: Fair workload distribution for multi-server systems with pulling strategies. Perform. Eval. Volume 113, pp. 26-41 2017
- L. Gallina, G. Dei Rossi, A. Marin, S. Rossi: Evaluating Resistance to Jamming and Casual Interception in Mobile Wireless Networks , Proc. of the 15th ACM Int. Conf. on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWIM’12), 21-26 Oct 2012
- A. Marin, S. Rota Bulò, S. Balsamo: A numerical algorithm for the decomposition of cooperating structured Markov processes in Proc. of IEEE 20th Int. Symp. on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, MASCOTS 2012, Washington DC, USA
- S. Balsamo, P.G. Harrison, A. Marin: Methodological construction of product-form stochastic Petri nets for performance evaluation, in the J. of Systems and Ssoftware, vol. 85, 2012, pp. 1520-1539, 2012
- A. Marin, S. Balsamo, P.G. Harrison: Analysis of stochastic Petri nets with signals, Performance Evaluation, Volume 69, Issue 11, 2012, pp. 551-57