Title :
Visualization and performance analysis of formally specified communication protocols
Author :
Walch, M. ; Wolisz, A. ; Wolf-Gunthe, J.
Author_Institution :
Tech. Univ. Berlin, Germany
fDate :
31 Jan-2 Feb 1994
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
Keywords :
data visualisation; digital simulation; formal specification; protocols; telecommunications computing; actions; animated stepwise execution; deadlock detection; design principles; formal description techniques; formally specified communication protocols; graphical presentation; high-level simulation environment; operators; performance analysis; performance enhanced extensions; performance-extended formal specifications; processes; simulation; software package; standardised FDTs; statistical data; visualization; Animation; Computational modeling; Electronic mail; Formal specifications; Performance analysis; Protocols; Resource management; Stochastic processes; System recovery; Visualization;
Conference_Titel :
Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, 1994., MASCOTS '94., Proceedings of the Second International Workshop on
Conference_Location :
Durham, NC
Print_ISBN :
0-8186-5292-6
DOI :
10.1109/MASCOT.1994.284409
