This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Modeling and Verification of Communication Protocols in Sara: The X.21 Interface
December 1980 (vol. 29 no. 12)
pp. 1038-1052
R.R. Razouk, Department of Computer Science, University of California
This paper models the CCITT X.21 interface specification using a graph model and verifies the behavior of the interface using analysis tools accessible through UCLA's SARA (System Architects' Apprentice) design aid system. Behavior of the interface is modeled in three domains: control flow, data flow, and interpretation. Explicit models of assumed behavior for the environment and for the system under study are incorporated in a SARA world view such that systematic analysis and simulation can be applied.
Index Terms:
verification, Automated control-flow analysis, communication protocols, computer-aided design, deadlock detection, graph models
Citation:
R.R. Razouk, G. Estrin, "Modeling and Verification of Communication Protocols in Sara: The X.21 Interface," IEEE Transactions on Computers, vol. 29, no. 12, pp. 1038-1052, Dec. 1980, doi:10.1109/TC.1980.1675509
Usage of this product signifies your acceptance of the Terms of Use.