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.
@article{arxiv.1105.1369,
title = {Evaluating the Efficiency of Asynchronous Systems with FASE},
author = {Federico Buti and Massimo Callisto De Donato and Flavio Corradini and Maria Rita Di Berardini and Walter Vogler},
journal= {arXiv preprint arXiv:1105.1369},
year = {2011}
}
Comments
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