The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.12 - December (1980 vol.29)
pp: 1038-1052
R.R. Razouk , Department of Computer Science, University of California
ABSTRACT
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, December 1980, doi:10.1109/TC.1980.1675509
15 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool