Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions

@article{Brandt2014RepresentationOS,
  title={Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions},
  author={Jens Brandt and Mike Gem{\"u}nde and Klaus Schneider and Sandeep K. Shukla and Jean-Pierre Talpin},
  journal={Design Autom. for Emb. Sys.},
  year={2014},
  volume={18},
  pages={63-97}
}
For the design of embedded systems, many languages are in use, which are based on different models of computation such as event-, data-, and clock-driven paradigms as well as paradigms without a clear notion of time. Systems composed of such heterogeneous components are hard to analyze so that mainly co-simulation by coupling different simulators has been considered so-far. In this article, we propose clocked guarded actions as a unique intermediate representation that can be used as a common… CONTINUE READING
Highly Cited
This paper has 25 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 10 extracted citations

Towards a verified compiler prototype for the synchronous language SIGNAL

Frontiers of Computer Science • 2015
View 4 Excerpts
Highly Influenced

From clock-driven to data-driven models

2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE) • 2014
View 1 Excerpt

Exploring system architectures in AADL via Polychrony and SynDEx

Frontiers of Computer Science • 2013
View 1 Excerpt

References

Publications referenced by this paper.
Showing 1-10 of 65 references

The ESTEREL Language

View 5 Excerpts
Highly Influenced

The synchronous programming language Quartz

K. Schneider
Internal Report 375, • 2009
View 6 Excerpts
Highly Influenced

SHIM: a deterministic model for heterogeneous embedded systems

IEEE Trans. VLSI Syst. • 2006
View 5 Excerpts
Highly Influenced

Taming heterogeneity - the Ptolemy approach

Proceedings of the IEEE • 2003
View 4 Excerpts
Highly Influenced