Issue No. 12 - December (1980 vol. 29)
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.
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. , pp. 1038-1052, December 1980, doi:10.1109/TC.1980.1675509