Software for analytical development of communications protocols

@article{Harel1990SoftwareFA,
  title={Software for analytical development of communications protocols},
  author={Zvi Har'el and Robert P. Kurshan},
  journal={AT&T Technical Journal},
  year={1990},
  volume={69},
  pages={45-59}
}
We describe a way to develop and implement communications protocols so they are logically sound and meet stated requirements. Our methodology employs a software system called the coordination-specification analyzer (COSPAN) to facilitate logical testing (in contrast to simulation or system execution testing). Logical testing of a communications protocol is carried out on a succession of models of the protocol. Starting with a high-level model (e.g., a formal abstraction of a protocol standard… CONTINUE READING
Highly Cited
This paper has 207 citations. REVIEW CITATIONS

Citations

Publications citing this paper.

208 Citations

0102030'91'97'04'11'18
Citations per Year
Semantic Scholar estimates that this publication has 208 citations based on the available data.

See our FAQ for additional information.