Performance Analysis of Communication Systems Formally Speciied in Sdl

Abstract

This paper rst presents the SDL{oriented method of software design and then points out how to handle the non{functional, quantitative design of an SDL{system using performance analysis. Finally, a new tool, named SDL Performance Evaluation Tool (SPEET) 2 , is presented for the performance analysis of formally speciied systems under real{time conditions… (More)

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.