Abstract:
The production of error-free protocols or complex process interactions is essential to reliable communications. This paper presents techniques for both the detection of e...Show MoreMetadata
Abstract:
The production of error-free protocols or complex process interactions is essential to reliable communications. This paper presents techniques for both the detection of errors in protocols and for prevention of errors in their design. The methods have been used successfully to detect and correct errors in existing protocols. A technique based on a reachability analysis is described which detects errors m a design. This "perturbation technique" has been implemented and has successfully detected inconsistencies or errors in existing protocol designs including both X.21 and X.25. The types of errors handled are state deadlocks, unspecified receptions, nonexecutable interactions, and state smbiguities. These errors are discussed and their effects considered. An interactive design technique is then described that prevents design errors. The technique is based on a set of production rules which guarantee that complete reception capability is provided in the interacting processes. These rules have been implemented in the form of a tracking algorithm that prevents a designer from creating unspecified receptions and nonexecutable interactions and monitors for the presence of state deadlocks and ambiguities.
Published in: IEEE Transactions on Communications ( Volume: 28, Issue: 4, April 1980)
Some thoughts on “Algorithm Design and Analysis” teaching reform
Yan Shaohong,Feng Lichao,Liu Baoxiang,Ji Nan
Differential GPS reference station algorithm-design and analysis
J. Farrell,T. Givargis
Broadcast gossip algorithms: Design and analysis for consensus
Tuncer C. Aysal,Mehmet E. Yildiz,Anand D. Sarwate,Anna Scaglione
A computer-aided protocol design by production systems approach
C.-M. Huang,Y.-I. Chang,M.T. Liu
Delay controllable protocol with multiple priorities for home automation network
Zhaohui Ye,Shiyuan Yang
A new AODV-based routing protocol adequate for monitoring applications in oil & gas production environments
Ivanovitch Silva,Luiz Affonso Guedes,Francisco Vasques
PDPS: a protocol design system by production systems approach
C.-M. Huang,Y.-I. Chang,M.T. Liu
A calibration algorithm design and analysis for VIIRS Thermal Emissive Bands based on the EOS MODIS approach
B. Guenther,X. Xiong,W.L. Barnes,R.E. Murphy
Elf: computer automation and error correction for a microwave network analyzer
W.K. Williams,R.C. Compton,D.B. Rutledge
Property verification of communication protocols based on probabilistic reachability analysis
M. Baldi,E. Macii,M. Poncino