DefinePK

Abstract

This paper presents an integrated approach to verify general properties of protocols and to analyze their performance based on a formal model called Integrated Timed Transmission Grammar (ITTG). It has been noted that un-timed protocol models cannot be used to verify a protocol in which time constraints are essential for the correct functioning of the protocol. ITTG is an extended and refined protocol model resulting from an evolutionary series of the Transmission Grammar-based models such as the Transmission Grammar (TG) and the Time Transmission Grammar (TTG). We can use our timed protocol model for verification of timed-dependent protocols as well as for performance analysis of protocols.