Automating Synthesis of Asynchronous Communication Mechanisms

descriptionPublicationkeyboard_double_arrow_right Article , Conference object 11 Oct 2006 Spain Publisher:IEEEJournal:Fifth International Conference on Application of Concurrency to System Design (ACSD'05)

Authors: Jordi Cortadella; Kyller Costa Gorgônio; Fei Xia 0001; Alexandre Yakovlev;

doi: 10.1109/acsd.2005.5

handle: 2117/133459

Automating Synthesis of Asynchronous Communication Mechanisms

- Summary
- Subjects
- Metrics

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 the major part 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 notion of an ACM-region. The method is applied to a number of "standard" writing and reading policies of ACMs with shared memory and unidirectional control variables. Peer Reviewed

Country

Spain

Related Organizations

Universitat Polite`cnica de Catalunya
Spain
Newcastle University
United Kingdom

Keywords

synthesis, :Enginyeria de la telecomunicació::Telemàtica i xarxes d'ordinadors [Àrees temàtiques de la UPC], Interleaved codes, asynchronous communication mechanisms, Communication system software, protocols, Petri nets, Distributed systems, hardware and software codesign, Àrees temàtiques de la UPC::Enginyeria de la telecomunicació::Telemàtica i xarxes d'ordinadors, Read-write memory, Mètodes formals (Informàtica), Ordinadors, Xarxes d' -- Disseny i construcció, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), concurrent and distributed systems, Computer networks -- Design and construction, Data communication, Computer networks, Formal methods (Computer science), Communication system control, Circuit synthesis, Network design and communication in computer systems, Asynchronous communication, Petri, Xarxes de, embedded systems, Joining processes, Connectors

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average