DocumentCode
1141314
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
Issue
12
fYear
1980
Firstpage
1038
Lastpage
1052
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;
fLanguage
English
Journal_Title
Computers, IEEE Transactions on
Publisher
ieee
ISSN
0018-9340
Type
jour
DOI
10.1109/TC.1980.1675509
Filename
1675509
Link To Document