TwoTowers 3.0: Enhancing Usability


TwoTowers is a software tool for the functional verification and performance evaluation of computer, communication and software systems represented through stochastic process algebra (SPA). In this paper we describe a novel version (3.0), in which the modeling language is no longer a pure SPA, but a SPA-based architectural description language called Æmilia. We show that TwoTowers 3.0 improves on the previous version in terms of usability, because Æmilia hides most of the technicalities of SPA, and also in terms of efficiency, bacause a new algorithm for state space generation has been implemented.

DOI: 10.1109/MASCOT.2003.1240656

Extracted Key Phrases

4 Figures and Tables

Cite this paper

@inproceedings{Bernardo2003TwoTowers3E, title={TwoTowers 3.0: Enhancing Usability}, author={Marco Bernardo}, booktitle={MASCOTS}, year={2003} }