A Framework for the Evaluation of Worst-Case System Efficiency

TL;DR

This paper introduces FASE, a tool for evaluating the worst-case efficiency of asynchronous systems using a timed process algebra, and demonstrates its application on buffer implementations with improved applicability.

Contribution

The paper presents FASE, a new evaluation tool based on PAFAS, incorporating novel solutions to enhance its practical applicability to real-world asynchronous systems.

Findings

FASE effectively evaluates worst-case efficiency of asynchronous systems.

Comparison of buffer implementations shows FASE's practical utility.

Results align with previous efficiency preorders, validating FASE.

Abstract

In this paper we present FASE (Fast Asynchronous Systems Evaluation), a tool for evaluating worst-case efficiency of asynchronous systems. This tool implements some well-established results in the setting of a timed CCS-like process algebra: PAFAS (a Process Algebra for Faster Asynchronous Systems). Moreover, we discuss some new solutions that are useful to improve the applicability of FASE to concrete meaningful examples. We finally use fase to evaluate the efficiency of three different implementations of a bounded buffer and compare our results with previous ones obtained when the same implementations have been contrasted according to an efficiency preorder.