A language for specifying and implementing the low-level functions of media access protocols
暂无分享,去创建一个
The programmable network prototyping system (PNPS) is a facility used for the rapid prototyping of communication network protocols. It consists of a collection of node emulators, a programmable channel that supports a transmission rate of 10 Mb/s, and a backbone system used for configuration, data collection, and data analysis. The authors describe PNPS in general and its network controller in particular. Then they describe LIFP, the language used to specify and implement the low-level functions of media access protocols. They illustrate its use with the CSMA/CD (carrier-sort multiple-access with collision detection) protocol and discuss the implementation of the compiler and debugger.<<ETX>>
[1] Daniel Barbará,et al. Spanner: A Tool for the Specification, Analysis, and Evaluation of Protocols , 1987, IEEE Transactions on Software Engineering.
[2] Daniel Barbará,et al. A Software Environment for the Specification and Analysis of Problems of Coordination and Concurrency , 1988, IEEE Trans. Software Eng..
[3] David P. Anderson,et al. Automated Protocol Implementation with RTAG , 1988, IEEE Trans. Software Eng..
[4] F. D. Smith,et al. A Meta-Implementation for Systems Network Architecture , 1982, IEEE Trans. Commun..