Toggle Main Menu Toggle Search

Open Access padlockePrints

Automating synthesis of asynchronous communication mechanisms

Lookup NU author(s): Dr Fei Xia, Professor Alex Yakovlev


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed processes in digital systems. In previous work, systematic ACM synthesis methods have been proposed. In this paper, we advance this work by developing algorithms and software tools which automate most of the ACM synthesis process. Firstly, an interleaving specification is constructed in the form of a state graph, and secondly, a Petri net model of an "ACM-type" is derived using the theory of regions. The method is applied to a number of "standard" writing and reading policies of ACMs with shared memory and unidirectional control variables.

Publication metadata

Author(s): Gorgonio K, Cortadella J, Xia F, Yakovlev A

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 5th International Conference on Application of Concurrency to System Design

Year of Conference: 2007

Pages: 75-100

ISSN: 0169-2968

Publisher: Fundamenta Informaticae, IOS Press

Library holdings: Search Newcastle University Library for this item

ISBN: 18758681