This Article 
 Bibliographic References 
 Add to: 
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
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.