Codesign of communication protocols
ComputerPublished 1 December 1993
Alan Wenban, John O’Leary, Gavin M. Brown
Citations33
SJR quartileQ2
SJR score0.55
SNIP1.02
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
A codesign process using Promela, a concurrent programming language, is under development and as an example, the method is applied to a simple communication system using the alternating bit protocol.
Abstract
A codesign process using Promela, a concurrent programming language, is under development. A description is given of Promela, the software compiler, and the hardware compiler. As an example, the method is applied to a simple communication system using the alternating bit protocol.>
Keywords
Computer Science
Design and validation of computer protocols
1,695 Citations1991Gerard J. Holzmann
Part 1 Basic: introduction protocol structure error control flow control and design tools: a protocol simulator a protocol validator using the validator.
Computer Networks and ISDN SystemsIntroduction to the ISO specification language LOTOS
1,293 Citations1987Tommaso Bolognesi, Ed Brinksma
Communications of the ACMA note on reliable full-duplex transmission over half-duplex links
442 Citations1969Keith A. Bartlett, R.A. Scantlebury +1 more
A simple procedure for achieving reliable full-duplex transmission over half-duple links is proposed and is compared with another of the same type, which has recently been described in the literature.
A formally verified system for logic synthesis
11 Citations2002Mark D. Aagaard, Miriam Leeser
The correctness of a logic synthesis system is implemented and proved, and the designs generated by the implementation can be claimed to be correct by construction, since the correctness of the system was proven.
Medical Entomology and ZoologyThe C answer book
6 Citations1985Tony L. Hansen
This book presents a tour of the C++ Answer Book and discusses new C++ Features, functions and files, as well as some of the concepts used in the book, which were introduced in the second edition.