Date and Time: Thursday, 1 October 2009, 15:45 - 16:45

Location: HG 6.96

Speaker: Massimo Callisto (FM)

Title: PAFAS and FASE: theory and practice to evaluate the performance efficiency of asynchronous systems

Abstract:

In the context of analysis of complex systems, PAFAS is a CCS-like process algebra proposed as a useful tool for comparing the Worst-Case Efficiency. Based on the timed test scenario and since each action of the system has a time bound for its execution, PAFAS offers several kinds of theories which allow us to study these abstract systems to determine if one is faster than another. This efficiency analysis can be both qualitative (P is faster than Q) and quantitative (P is faster than Q of a factor x). Since the ``qualitative faster than’’ preorder gives intuition about the efficiency between systems, get a measure about this difference is more attractive.

In this talk we give a brief overview on PAFAS and the main concepts about how the efficiency evaluation is done (especially the quantitative one). We also present FASE, a corresponding tool which applies the above WCE quantitative preorder on PAFAS processes. Finally we show how with FASE is possible to compare the efficiency of three different implementations of the same buffer. Since these implementations were also studied using the qualitative efficiency preorder, now we show that the same analysis can be done with the quantitative one with the support of FASE.

We will compare our results with the qualitative one. We also show our currently outgoing work to extend the efficiency preorder (both qualitative and quantitative) and to improve the FASE tool.