Premium
An interactive tool for design, simulation, verification, and synthesis of protocols
Author(s) -
Chao Daniel Y.,
Wang David T.
Publication year - 1994
Publication title -
software: practice and experience
Language(s) - English
Resource type - Book series
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
ISBN - 0-8186-5292-6
DOI - 10.1002/spe.4380240805
Subject(s) - computer science , software engineering
We have developed a user‐friendly CAD graphical tool 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: the capability of modeling both control and data flows, reduction and analysis, simulation of network behavior and performance, coding (parametrized 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.