Article

Coordination of Synchronous Programs

Authors:

Reinhard Budde,

G. Michele Pinna,

Axel PoignéAuthors Info & Claims

COORDINATION '99: Proceedings of the Third International Conference on Coordination Languages and Models

Pages 103 - 117

Published: 26 April 1999 Publication History

Abstract

We propose to extend the synchronous language Esterel by coordination primitives and by an asynchronous parallel composition operation on the level of modules. This is to program reactive systems such that subsystems may proceed at their own speed without enforcing a global knowledge of time. We intend is to stick with the synchronous language paradigm as close as possible since we aim for properties such as local determinism (each agent/control unit should have a predictable behaviour) or global deadlock detection, though we want to enhance modularity and flexibility of system design.

References

[1]

G. Berry. Esterel on hardware. Philosophical Transation Royal Society of London, A:87-104, 1992.

Google Scholar

[2]

G. Berry and A. Benveniste. The synchronous approach to reactive and real-time systems. Another Look at Real Time Programming, Proceedings of IEEE, 79:1270- 1282, 1991.

Google Scholar

[3]

G. Berry and G. Gonthier. The ESTEREL synchronous programming language: design, semantics, implementation. Science of Computer Programming, 19(2):87- 152, 1992.

Crossref

Google Scholar

[4]

G. Berry, S. Ramesh, and R. K. Shyamasundar. Communicating reactive processes. In Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993.

Crossref

Google Scholar

[5]

F. Boussinot and R. de Simone. The SL synchronous language. IEEE Transactions on Software Engineering, 22(4):256-266, 1996.

Crossref

Google Scholar

[6]

S. D. Brookes, C. A. R. Hoare, and A. W. Roscoe. A theory of communicating sequential processes. Journal of the ACM, 31(3):560-599, 1984.

Crossref

Google Scholar

[7]

N. Halbwachs. Synchronous Programming of Reactive Systems. The Kuwler International Series in Engineering and Computer Science. Kuwler Academic Publisher, 1993.

Crossref

Google Scholar

[8]

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language lustre. Proceedings of the IEEE, 79(9):1305-1320, 1991.

Google Scholar

[9]

D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. B. Trakhtenbrot. STATEMATE: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16(4):403-414, April 1990.

Crossref

Google Scholar

[10]

V. Saraswat, R. Jagadeesan, and V. Gupta. Foundations of timed concurrent constraint programming. In Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, pages 71-80. IEEE Computer Society Press, 1994.

Google Scholar

Cited By

View all

Colaço JHamon GPouzet MMin SYi W(2006)Mixing signals and modes in synchronous data-flow systemsProceedings of the 6th ACM & IEEE International conference on Embedded software10.1145/1176887.1176899(73-82)Online publication date: 22-Oct-2006
https://dl.acm.org/doi/10.1145/1176887.1176899
Colaço JPagano BPouzet MWolf W(2005)A conservative extension of synchronous data-flow with state machinesProceedings of the 5th ACM international conference on Embedded software10.1145/1086228.1086261(173-182)Online publication date: 18-Sep-2005
https://dl.acm.org/doi/10.1145/1086228.1086261

Coordination of Synchronous Programs
1. Theory of computation

Recommendations

An Implementation of Constructive Synchronous Programs in POLIS

Design tools for embedded reactive systems commonly use a model of computation that employs both synchronous and asynchronous communication styles. We form a junction between these two with an implementation of synchronous languages and circuits (...
Multithreaded code from synchronous programs: extracting independent threads for OpenMP
DATE '10: Proceedings of the Conference on Design, Automation and Test in Europe

Synchronous languages offer a deterministic model of concurrency at the level of actions. However, essentially all compilers for synchronous languages compile these actions into a single thread by sophisticated methods to guarantee dynamic schedules for ...
Globally Asynchronous, Locally Synchronous Circuits: Overview and Outlook

For more than 20 years, significant research effort was concentrated on globally asynchronous, locally synchronous (GALS) design methodologies. But despite several successful implementations, GALS has had little impact on industry products. This article ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

COORDINATION '99: Proceedings of the Third International Conference on Coordination Languages and Models

April 1999

413 pages

ISBN:354065836X

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 26 April 1999

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 31 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Colaço JHamon GPouzet MMin SYi W(2006)Mixing signals and modes in synchronous data-flow systemsProceedings of the 6th ACM & IEEE International conference on Embedded software10.1145/1176887.1176899(73-82)Online publication date: 22-Oct-2006
https://dl.acm.org/doi/10.1145/1176887.1176899
Colaço JPagano BPouzet MWolf W(2005)A conservative extension of synchronous data-flow with state machinesProceedings of the 5th ACM international conference on Embedded software10.1145/1086228.1086261(173-182)Online publication date: 18-Sep-2005
https://dl.acm.org/doi/10.1145/1086228.1086261

Abstract

References

Cited By

Recommendations

An Implementation of Constructive Synchronous Programs in POLIS

Multithreaded code from synchronous programs: extracting independent threads for OpenMP

Globally Asynchronous, Locally Synchronous Circuits: Overview and Outlook

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations