Affiliations: Department of Software, Universitat
Politécnica de Catalunya Barcelona, Spain. E-mail: [email protected];
[email protected] | School of Electrical, Electronic and Computer
Engineering, University of Newcastle upon Tyne, Newcastle, UK.
E-mails: [email protected];[email protected]
Abstract: 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.
Keywords: Asynchronous communicationmechanisms, Petri nets, concurrent and distributed systems, embedded systems, hardware and software codesign, protocols, synthesis
