Evaluating the Efficiency of Asynchronous Systems with FASE

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). T...

Full description

Saved in:
Bibliographic Details
Published inarXiv.org
Main Authors Buti, Federico, Massimo Callisto De Donato, Corradini, Flavio, Di Berardini, Maria Rita, Vogler, Walter
Format Paper
LanguageEnglish
Published Ithaca Cornell University Library, arXiv.org 06.05.2011
Subjects
Efficiency
Systems analysis
Online AccessGet full text

Cover

More Information
Summary: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.
ISSN:2331-8422