Title :
Modeling and Verification of Communication Protocols in Sara: The X.21 Interface
Author :
Razouk, Rami R. ; Estrin, Gerald
Author_Institution :
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.
Keywords :
Automated control-flow analysis; communication protocols; computer-aided design; deadlock detection; graph models; verification; Access protocols; Analytical models; Art; Automatic control; Combinatorial mathematics; Communication system control; Explosions; Pathology; Power system modeling; State-space methods; Automated control-flow analysis; communication protocols; computer-aided design; deadlock detection; graph models; verification;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/TC.1980.1675509
