ACM Computing Surveys (CSUR)
Design and verification of communication procedures: A bottom-up approach
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Evaluation methods in SARA—the graph model simulator
SIGMETRICS '79 Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems
Multiprocessors, semaphores, and a graph model of computation
Multiprocessors, semaphores, and a graph model of computation
Flow of control, resource allocation, and the proper termination of programs
Flow of control, resource allocation, and the proper termination of programs
A graph-model analysis of computer communications protocols.
A graph-model analysis of computer communications protocols.
A methodology for digital system design based on structural and functional modeling.
A methodology for digital system design based on structural and functional modeling.
Computer-aided design and evaluation of digital computer systems
Computer-aided design and evaluation of digital computer systems
DCDS digital simulating system
AFIPS '69 (Fall) Proceedings of the November 18-20, 1969, fall joint computer conference
Automated validation of a communications protocol: the CCITT X.21 recommendation
IBM Journal of Research and Development
Requirements definition and its interface to the SARA design methodology for computer-based systems
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
Hi-index | 14.98 |
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.