Abstract
With the advent of formal specification languages, it has become possible to represent complex communication protocols formally and unambiguously. Presence of automated tools for protocol specification and verification has made inroads for the wide-spread use of formal languages. One of the often neglected issues in protocol development activities centered around formal languages is the performance efficiency of the protocol under given network implementation. Many performance simulation tools are available, but they either do not use standard formal languages for protocol specification or lack a comprehensive performance prediction capability. In this paper we present a software tool which unifies formal protocol specification and performance prediction and thus enables protocols specified in FDT Estelle to be simulated for performance on a given network configuration which include point-to-point networks, common bus ethernet, ring and multihop static and mobile packet radio networks. It allows fine tuning of an otherwise correct protocol to improve its efficiency without the actual implementation and thus it helps in building rapid and efficient prototypes.
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
