Visualization and performance analysis of formally specified communication protocols

Abstract

There is an increasing interest in developing performance enhanced extensions of standardised FDTs. We present how simulation and visualization of performance-extended formal specifications can be efficiently supported by the use of a high-level simulation environment. Requirements for selection of a proper environment are formulated and the design principles for a software package, built on top of this environment are presented. The developed software supports both editing and animated stepwise execution of the specifications using peculiar concepts like: actions, processes, operators etc. In addition the execution of simulation with a collection of statistical data and deadlock detection, as well as graphical presentation of results are supported.<>