poster

Compositionality in Synchronous Data Flow: modular code generation from hierarchical SDF graphs

Authors:

Stavros Tripakis,

Dai Bui,

Bert Rodiers,

Edward A. LeeAuthors Info & Claims

ICCPS '10: Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems

Page 199

https://doi.org/10.1145/1795194.1795223

Published: 13 April 2010 Publication History

Get Access

Abstract

A widespread model of computation, particularly suited for signal processing applications, which are often a key element in cyber-physical systems, is Synchronous (or Static) Data Flow (SDF). But hierarchical SDF models are not compositional: a composite SDF actor (e.g., actor P of Figure 1) cannot be represented as an atomic SDF actor without loss of information that can lead to deadlocks (Figure 2).

To solve this problem, we propose in [1] DSSF profiles (Figure 3). DSSF (Deterministic SDF with Shared FIFOs) forms a compositional abstraction of composite actors that can be used for modular compilation. We provide algorithms for automatic synthesis of non-monolithic DSSF profiles of composite actors given DSSF profiles of their sub-actors. We show how different tradeoffs can be explored when synthesizing such profiles, in terms of size of the generated profile versus reusability (preserving information necessary to avoid deadlocks) as well as algorithmic complexity. We show that our method guarantees maximal reusability and report on a prototype implementation in Ptolemy II.

Reference

[1]

S. Tripakis, D. Bui, B. Rodiers, and E. A. Lee. Compositionality in Synchronous Data Flow: Modular Code Generation from Hierarchical SDF Graphs. Technical Report UCB/EECS-2009-143, EECS Department, University of California, Berkeley, Oct 2009. http://www.eecs.berkeley.edu/Pubs/TechRpts/2009/EECS-2009-143.html.

Crossref

Google Scholar

Cited By

View all

Falk JNeubauer KHaubelt CZebelein CTeich J(2018)Integrated Modeling Using Finite State Machines and Dataflow GraphsHandbook of Signal Processing Systems10.1007/978-3-319-91734-4_23(825-864)Online publication date: 14-Oct-2018
https://doi.org/10.1007/978-3-319-91734-4_23
Derler PRavindran KLimaye RTalpin J(2016)Specification of precise timing in synchronous dataflow modelsProceedings of the 14th ACM-IEEE International Conference on Formal Methods and Models for System Design10.5555/3343414.3343427(85-94)Online publication date: 18-Nov-2016
https://dl.acm.org/doi/10.5555/3343414.3343427
Falk JSchwarzer TGlab MTeich JZebelein CHaubelt C(2015)Quasi-static scheduling of data flow graphs in the presence of limited channel capacities2015 13th IEEE Symposium on Embedded Systems For Real-time Multimedia (ESTIMedia)10.1109/ESTIMedia.2015.7351766(1-10)Online publication date: Oct-2015
https://doi.org/10.1109/ESTIMedia.2015.7351766
Show More Cited By

Recommendations

Compositionality in synchronous data flow: Modular code generation from hierarchical SDF graphs

Hierarchical SDF models are not compositional: a composite SDF actor cannot be represented as an atomic SDF actor without loss of information that can lead to rate inconsistency or deadlock. Motivated by the need for incremental and modular code ...
Compositionality in Dataflow Synchronous Languages

Modularity is advocated as a solution for the design of large systems; the mathematical translation of this concept is often that of compositionality. This paper is devoted to the issues of compositionality for modular code generation, in dataflow ...
Compositionality in Dataflow Synchronous Languages: Specification and Code Generation
COMPOS'97: Revised Lectures from the International Symposium on Compositionality: The Significant Difference

Modularity is advocated as a solution for the design of large systems, the mathematical translation of this concept is often that of compositionality. This paper is devoted the issues of compositionality aiming at modular code generation, for dataflow ...

Comments

Information & Contributors

Information

Published In

ICCPS '10: Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems

April 2010

208 pages

ISBN:9781450300667

DOI:10.1145/1795194

Conference Chairs:
Janos Sztipanovits,
Raj Rajkumar

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 13 April 2010

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Poster

Funding Sources

Conference

ICCPS '10

Sponsor:

IEEE-CS\TCRT
SIGBED

ICCPS '10: ACM/IEEE 1st International Conference on Cyber-Physical Systems

April 13 - 15, 2010

Stockholm, Sweden

Acceptance Rates

Overall Acceptance Rate 25 of 91 submissions, 27%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
122
Total Downloads

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

Reflects downloads up to 03 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Falk JNeubauer KHaubelt CZebelein CTeich J(2018)Integrated Modeling Using Finite State Machines and Dataflow GraphsHandbook of Signal Processing Systems10.1007/978-3-319-91734-4_23(825-864)Online publication date: 14-Oct-2018
https://doi.org/10.1007/978-3-319-91734-4_23
Derler PRavindran KLimaye RTalpin J(2016)Specification of precise timing in synchronous dataflow modelsProceedings of the 14th ACM-IEEE International Conference on Formal Methods and Models for System Design10.5555/3343414.3343427(85-94)Online publication date: 18-Nov-2016
https://dl.acm.org/doi/10.5555/3343414.3343427
Falk JSchwarzer TGlab MTeich JZebelein CHaubelt C(2015)Quasi-static scheduling of data flow graphs in the presence of limited channel capacities2015 13th IEEE Symposium on Embedded Systems For Real-time Multimedia (ESTIMedia)10.1109/ESTIMedia.2015.7351766(1-10)Online publication date: Oct-2015
https://doi.org/10.1109/ESTIMedia.2015.7351766
Geilen MFalk JHaubelt CBasten TTheelen BStuijk S(2014)Performance analysis of weakly-consistent scenario-aware dataflow graphs2014 48th Asilomar Conference on Signals, Systems and Computers10.1109/ACSSC.2014.7094470(393-397)Online publication date: Nov-2014
https://doi.org/10.1109/ACSSC.2014.7094470
(2013)Back to basicsProceedings of the Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign10.5555/3041405.3041482(35-46)Online publication date: 1-Oct-2013
https://dl.acm.org/doi/10.5555/3041405.3041482
Oh H(2013)Port Based Actor Model with Kahn Process Network Model and Decidable Dataflow ModelJournal of Signal Processing Systems10.1007/s11265-012-0682-671:1(75-88)Online publication date: 1-Apr-2013
https://dl.acm.org/doi/10.1007/s11265-012-0682-6
Hausmans JGeuns SWiggers MBekooij MJerraya ACarloni LMaraninchi FRegehr J(2012)Compositional temporal analysis model for incremental hard real-time system designProceedings of the tenth ACM international conference on Embedded software10.1145/2380356.2380390(185-194)Online publication date: 7-Oct-2012
https://dl.acm.org/doi/10.1145/2380356.2380390
Stulova ALeupers RAscheid G(2012)Throughput driven transformations of Synchronous Data Flows for mapping to heterogeneous MPSoCs2012 International Conference on Embedded Computer Systems (SAMOS)10.1109/SAMOS.2012.6404168(144-151)Online publication date: Jul-2012
https://doi.org/10.1109/SAMOS.2012.6404168
Derler PLee EVincentelli A(2012)Modeling Cyber–Physical SystemsProceedings of the IEEE10.1109/JPROC.2011.2160929100:1(13-28)Online publication date: Jan-2012
https://doi.org/10.1109/JPROC.2011.2160929

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Recommendations