Modeling and Verification of Communication Protocols in Sara: The X.21 Interface
- 1 December 1980
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-29 (12) , 1038-1052
- https://doi.org/10.1109/tc.1980.1675509
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
This publication has 12 references indexed in Scilit:
- Formal Methods in Communication Protocol DesignIEEE Transactions on Communications, 1980
- Protocol Representation with Finite-State ModelsIEEE Transactions on Communications, 1980
- A General Transition Model for Protocols and Communication ServicesIEEE Transactions on Communications, 1980
- Formal Techniques for Protocol Specification and VerificationComputer, 1979
- Evaluation methods in SARA---the graph model simulatorPublished by Association for Computing Machinery (ACM) ,1979
- Petri NetsACM Computing Surveys, 1977
- Recoverability of Communication Protocols--Implications of a Theoretical StudyIEEE Transactions on Communications, 1976
- A Methodology for the Design and Implementation of Communication ProtocolsIEEE Transactions on Communications, 1976
- DCDS digital simulating systemPublished by Association for Computing Machinery (ACM) ,1969
- Experiments on Models of Computations and SystemsIEEE Transactions on Electronic Computers, 1967