A fail safe end-to-end protocol is one that delivers all packets ordered and without duplication [1,2]. Such a protocol for real time computer networks incorporating message priority levels is presented in this paper. The model, formal specifications and simulation results on a 8 node transputer network are presented in this paper.
展开▼