Estimating protocol performance using a formal specification model

✍ Scribed by Raymond E. Miller; Zafar Ullah Chaudhry

• Publisher: John Wiley and Sons
• Year: 1999
• Tongue: English
• Weight: 212 KB
• Volume: 12
• Category: Article
• ISSN: 1074-5351
• DOI: 10.1002/(sici)1099-1131(199909/12)12:5/6<325::aid-dac414>3.0.co;2-u

✦ Synopsis

This paper introduces an approach for protocol performance estimation directly from a formal model of the protocol. By using the approach presented in this paper, performance of a protocol can be quickly estimated at an early stage of protocol design. The simplicity of analysis, achieved by deterministic analysis, and the tight integration of the performance model, called the performance reachability graph (PRG), with the formal speci"cation makes the approach in this paper a very useful protocol design-time tool. The approach provides a two-way path between the speci"cation model and the performance model. In one direction, the tight coupling between the speci"cation and the performance models allows a protocol designer to get quick estimates of performance from the speci"cation. In the other direction a designer can use the performance estimates to quickly identify portions of the speci"cation responsible for undesired performance characteristics and consider changes to the speci"cation to improve the overall performance.