Simulation and formal specification of protocols for mobile radio networks-an integrated approach

Formal description tools allow a very detailed specification and microscopic analysis of a communication system in a mobile radio network. Additionally the performance of protocols in a mobile radio environment has to be evaluated on a larger scale where several protocol instances communicate in parallel via the radio channel. The paper presents an integrated simulation approach combining the benefits of a detailed standardised protocol specification with the performance evaluation in larger environments. A prototype implementation and a case study show the feasibility of the integrated approach