A Tool for the Performance Analysis of Concurrent Systems
Formal Description Techniques have been successfully experimented with for specifying and verifying concurrent systems. Generally, Formal Description Techniques are not able to specify time and probability, and are unsuitable for proving that a given system works according to desired performance requirements. For these reasons, this paper presents a language, named ELLIPSe, based on SCCS proposed by Milner providing the designer with a formal framework for reasoning about time and probability of parallel systems. An automated tool is also presented to perform the performance analysis of real systems.
Unable to display preview. Download preview PDF.
- [des88]Design 2.0 Manual. Meta Software Corporation, 150 Cambridge Park Drive, Cambridge, MA 02140, 1988.Google Scholar
- [GS88]A. Giacalone and S. A. Smolka. Intregrated environments for formally based design and simulation of concurrent systems. Special Issue on Integrated Software Engineering Environments, IEEE Transactions on Software Engineering, 1988.Google Scholar
- [KS83]P. C. Kanellakis and S. A. Smolka. CCS expressions, finite state processes, and three problems of equivalence. In Proceedings of the 2nd ACM Symposium on Principles ofDistributed Computing, Montreal, Canada, pages 228–240, August 1983. Revised version to appear in Information and Computation.Google Scholar
- [KS88]P. C. Kane Hakis and S. A. Smolka. On the analysis of cooperation and antagonism in networks of communicating processes. Algorithmica, 1988.Google Scholar
- [OA88]Design Open Architecture Development System Manual. Meta Software Corporation, 150 Cambridge Park Drive, Cambridge, MA 02140, 1988.Google Scholar
- [Par85]J. Parrow. Fairness properties in process algebra with applications in communication protocol verification. Ph.D. Thesis DoCS 85/03, Department of Computer Science, Department of Computer Science, Uppsala University, Uppsala, Sweden, 1985.Google Scholar