Evaluating the Efficiency of Asynchronous Systems with FASE

Abstract

In this paper, we present FASE (Faster Asynchronous Systems Evaluation), a tool for evaluating the worst-case efficiency of asynchronous systems. The tool is based on some well-established results in the setting of a timed process algebra (PAFAS: a Process Algebra for Faster Asynchronous Systems). To show the applicability of FASE to concrete meaningful examples, we consider three implementations of a bounded buffer and use FASE to automatically evaluate their worst-case efficiency. We finally contrast our results with previous ones where the efficiency of the same implementations has already been considered.

14 pages, 5 figures. A preliminary version has been presented as extended abstract in Pre-Proc. of The 1st Int. Workshop on Quantitative Formal Methods, pp.101-106, Technische Universiteit Eindhoven, 2009

Cited by in corpus (2)

• Automated Analysis of MUTEX Algorithms with FASE
• A Framework for the Evaluation of Worst-Case System Efficiency