The IC system for protocol development

Cohen, David; Guinther, T.M.

doi:10.1145/55482.55505

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

1988

1994

Publication Types

Select...

Article2

Other2

Book1

Relationship

Self Cite0

Independent5

Authors

Journals

Cited by 8 publications

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

An interactive tool for design, simulation, verification, and synthesis of protocols

Chao

Wang

1994

Softw Pract Exp

View full text Add to dashboard Cite

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.

show abstract