skip to main content
10.1145/1086228.1086279acmconferencesArticle/Chapter ViewAbstractPublication PagesesweekConference Proceedingsconference-collections
Article

From multi-clocked synchronous processes to latency-insensitive modules

Published: 18 September 2005 Publication History

Abstract

We consider the problem of synthesizing correct-by-construction globally asynchronous, locally synchronous (GALS) implementations from modular synchronous specifications. This involves the synthesis of asynchronous wrappers that drive the synchronous clocks of the modules and perform input reading in such a fashion as to preserve, in a certain sense, the global properties of the system. Our approach is based on the theory of weakly endochronous systems, which gives criteria guaranteeing the existence of simple and efficient asynchronous wrappers. We focus on the transformation (by means of added signalling) of the synchronous modules of a multiclock synchronous specification into weakly endochronous modules, for which simple and efficient wrappers exist.

References

[1]
A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. Le Guernic, and R. de Simone. The Synchronous Languages Twelve Years Later. Proceedings of the IEEE. IEEE Press, 2003.
[2]
P. Le Guernic, J.-P. Talpin, and J.-C. Le Lann. Polychrony for system design. Journal of Circuits, Systems and Computers. World Scientific, 2003.
[3]
D. Potop-Butucaru and B. Caillaud. Correct-by-construction asynchronous implementation of modular synchronous specification. In Application of Concurrency to System Design. IEEE Press, 2005.
[4]
J.-P. Talpin, D. Potop-Butucaru, J. Ouy, B. Caillaud. Compositional synthesis of latency-insensitive systems from multi-clocked synchronous specifications. Research Report n. 1730. IRISA, June 2005.

Cited By

View all
  • (2023)The polychronous model of computation and Kahn process networksScience of Computer Programming10.1016/j.scico.2023.102958228:COnline publication date: 1-Jun-2023
  • (2009)Modeling and Analyzing the Implementation of Latency-Insensitive Protocols Using the Polychrony FrameworkElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2009.07.025245(3-22)Online publication date: 1-Aug-2009
  • (2008)Compositional design of isochronous systemsProceedings of the conference on Design, automation and test in Europe10.1145/1403375.1403598(928-933)Online publication date: 10-Mar-2008
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
EMSOFT '05: Proceedings of the 5th ACM international conference on Embedded software
September 2005
390 pages
ISBN:1595930914
DOI:10.1145/1086228
  • Conference Chair:
  • Wayne Wolf
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 18 September 2005

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. compositional mapping
  2. separate compilation

Qualifiers

  • Article

Conference

EMSOFT05
Sponsor:

Acceptance Rates

Overall Acceptance Rate 60 of 203 submissions, 30%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)2
  • Downloads (Last 6 weeks)0
Reflects downloads up to 19 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2023)The polychronous model of computation and Kahn process networksScience of Computer Programming10.1016/j.scico.2023.102958228:COnline publication date: 1-Jun-2023
  • (2009)Modeling and Analyzing the Implementation of Latency-Insensitive Protocols Using the Polychrony FrameworkElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2009.07.025245(3-22)Online publication date: 1-Aug-2009
  • (2008)Compositional design of isochronous systemsProceedings of the conference on Design, automation and test in Europe10.1145/1403375.1403598(928-933)Online publication date: 10-Mar-2008
  • (2008)Separate Compilation of Polychronous SpecificationsElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2008.02.006200:1(51-70)Online publication date: 1-Feb-2008
  • (2006)Polychronous mode automataProceedings of the 6th ACM & IEEE International conference on Embedded software10.1145/1176887.1176900(83-92)Online publication date: 22-Oct-2006

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media