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}
}

• Zvi Har'el, Robert P. Kurshan
• Published in AT&T Technical Journal 1990
• DOI:10.1002/j.1538-7305.1990.tb00102.x

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

Save to Library

Create Alert

Cite

View on IEEE