Visualization and performance analysis of formally specified communication protocols
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.