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

Loose synchronization of event-triggered networks for distribution of synchronous programs

Published: 27 September 2004 Publication History

Abstract

Dataflow synchronous languages have attracted considerable interest in domains such as real-time control and hardware design. The potential benefits are promising: Discrete-time semantics and deterministic concurrency reduce the state-space of parallel designs, and the engineer's intuition of uniformly progressing physical time is clearly reflected. However, for deriving implementations, use of synchronous programs is currently limited to hardware synthesis, generation of non-distributed software, or deployment on time-triggered architectures.In this paper, it is shown how synchronous dataflow designs can be used for synthesizing distributed applications based on target architectures that do not provide a global time base by default. We propose a distribution method called "synchronization cascade" where the nodes' local clocks depend on each other in a tree-like manner. For evaluation of the method, we characterize some requirements for firm real-time applications, and evaluate our approach with respect to the postulated requirements.

References

[1]
A. Bauer and J. Romberg. Model-based deployment: From a high-level view to low-level code. In Proceedings of the 1st International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES), Hamilton, Canada, June 2004.
[2]
A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. L. Guernic, and R. D. Simone. The synchronous languages twelve years later. Proceedings of the IEEE, 2003.
[3]
A. Benveniste, P. Caspi, P. L. Guernic, H. Marchand, J.-P. Talpin, and S. Tripakis. A protocol for loosely time-triggered architectures. In Proceedings of EMSOFT 2002. Springer-Verlag, 2002.
[4]
M. Broy and K. Stølen. Specification and Development of Interactive Systems. Springer, 2001.
[5]
P. Caspi, A. Girault, and D. Pilaud. Automatic distribution of reactive systems for asynchronous networks of processors. IEEE Transactions on Software Engineering, 25(3):416--427, May/June 1999.
[6]
T. Führer, B. Müller, F. Hartwich, and R. Hugel. Time triggered CAN (TTCAN). In SAE 2001, Detroit. SAE number 2001-01-0073.
[7]
F. Huber, B. Schätz, and G. Einert. Consistent Graphical Specification of Distributed Systems. In J. Fitzgerald, C. Jones, and P. Lucas, editors, Industrial Applications and Strengthened Foundations of Formal Methods (FME'97), LNCS 1313, pages 122--141. Springer Verlag, 1997.
[8]
H. Kopetz. Real-Time Systems: Design Principles for Distributed Embedded Applications. Kluwer, Boston, 1997.
[9]
K. Tindell and A. Burns. Guaranteeing message latencies on controller area network (CAN). In Proceedings 1st International CAN Conference, September 1994.
[10]
J. Welch and N. Lynch. A new fault-tolerant algorithm for clock synchronization. Information and Computation, 77(1):1--36, 1988.

Cited By

View all
  • (2015)Efficient distribution of Triggered Synchronous Block Diagrams on asynchronous platforms2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS)10.1109/SAMOS.2015.7363666(113-122)Online publication date: Jul-2015
  • (2014)Optimized implementation of synchronous models on industrial LTTA systemsJournal of Systems Architecture10.1016/j.sysarc.2014.01.00360:4(315-328)Online publication date: Apr-2014
  • (2010)Loosely time-triggered architectures for cyber-physical systemsProceedings of the Conference on Design, Automation and Test in Europe10.5555/1870926.1870931(3-8)Online publication date: 8-Mar-2010
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
EMSOFT '04: Proceedings of the 4th ACM international conference on Embedded software
September 2004
316 pages
ISBN:1581138601
DOI:10.1145/1017753
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: 27 September 2004

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. AutoFocus
  2. code distribution
  3. embedded software
  4. scheduling
  5. synchronous languages

Qualifiers

  • Article

Conference

EMSOFT04
Sponsor:

Acceptance Rates

Overall Acceptance Rate 60 of 203 submissions, 30%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

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

Other Metrics

Citations

Cited By

View all
  • (2015)Efficient distribution of Triggered Synchronous Block Diagrams on asynchronous platforms2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS)10.1109/SAMOS.2015.7363666(113-122)Online publication date: Jul-2015
  • (2014)Optimized implementation of synchronous models on industrial LTTA systemsJournal of Systems Architecture10.1016/j.sysarc.2014.01.00360:4(315-328)Online publication date: Apr-2014
  • (2010)Loosely time-triggered architectures for cyber-physical systemsProceedings of the Conference on Design, Automation and Test in Europe10.5555/1870926.1870931(3-8)Online publication date: 8-Mar-2010
  • (2010)A unifying view of loosely time-triggered architecturesProceedings of the tenth ACM international conference on Embedded software10.1145/1879021.1879047(189-198)Online publication date: 24-Oct-2010
  • (2010)Loosely Time-Triggered Architectures for Cyber-Physical Systems2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)10.1109/DATE.2010.5457246(3-8)Online publication date: Mar-2010
  • (2008)Implementing Synchronous Models on Loosely Time Triggered ArchitecturesIEEE Transactions on Computers10.1109/TC.2008.8157:10(1300-1314)Online publication date: 1-Oct-2008
  • (2008)Time-robust discrete control over networked Loosely Time-Triggered Architectures2008 47th IEEE Conference on Decision and Control10.1109/CDC.2008.4738619(3595-3600)Online publication date: Dec-2008
  • (2007)Loosely time-triggered architectures based on communication-by-samplingProceedings of the 7th ACM & IEEE international conference on Embedded software10.1145/1289927.1289964(231-239)Online publication date: 30-Sep-2007
  • (2005)AutoMoDe - Notations, Methods, and Tools for Model-Based Development of Automotive SoftwareSAE Technical Paper Series10.4271/2005-01-1281Online publication date: 11-Apr-2005
  • (2005)Distributing synchronous programs using bounded queuesProceedings of the 5th ACM international conference on Embedded software10.1145/1086228.1086287(325-334)Online publication date: 18-Sep-2005
  • Show More Cited By

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