Title :
An interactive tool for design, simulation, verification, and synthesis of protocols
Author :
Chao, Daniel Y. ; Wang, David T.
Author_Institution :
Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
fDate :
31 Jan-2 Feb 1994
Abstract :
A user-friendly CAD graphical tool, running on Sun workstations, has been designed for the design, verification, simulation, and synthesis of protocols based on an interactive tool for Petri net and state diagram designs. Special features of this tool are: capability of modelling of both control and data flows, reduction and analysis, simulation of network behavior and performance, coding (parameterized protocols and automatic implementation) synthesis (two party protocol and ordinary Petri nets), animation and flexible design. Since it is Petri net based it allows simulation during all design phases and has extensive applications such as parallel debugging and simulation, expert systems, etc. Future enhancements of this tool are also discussed
Keywords :
CAD; Petri nets; formal verification; protocols; software tools; telecommunications computing; Petri net; Sun workstation; animation; automatic implementation; coding; computer network; data analysis; data flow model; data reduction; expert system; flexible design; interactive tool; parallel debugging; protocol; simulation; state diagram design; synthesis; user-friendly CAD graphical tool; verification; Analytical models; Automatic control; Control system synthesis; Design automation; Network synthesis; Performance analysis; Petri nets; Protocols; Sun; Workstations;
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.284395
