research-article

A new data flow analysis model for TDM

Authors:

Orlando Moreira,

Pieter J.L. CuijpersAuthors Info & Claims

EMSOFT '12: Proceedings of the tenth ACM international conference on Embedded software

Pages 237 - 246

https://doi.org/10.1145/2380356.2380399

Published: 07 October 2012 Publication History

Abstract

This paper proposes a new data ow model for analyzing the worst-case temporal behavior of resource arbitration through Time Division Multiplexing (TDM).

TDM arbitration allows resource sharing amongst the tasks of concurrent applications, where each application may have its own end-to-end hard real time requirements, such as minimum throughput and maximum latency. Current data flow modeling techniques for the temporal analysis of TDM arbitration over-estimate the worst-case temporal behavior of tasks. This causes unnecessary over-reservation of resources to the application, leading to under-utilization of system re- sources and unnecessary rejection of additional applications.

We propose a conservative data ow model that accurately estimates the worst-case temporal behavior of TDM arbitration. Unlike existing models, we do not make restrictive assumptions on the characteristics of TDM, nor on the amount of resources reserved. This enables optimized resource allocation for TDM arbitration. We present a new model that closely mimicks the worst-case temporal behavior of TDM arbitration. We formally prove that this model is conservative with respect to the worst-case behavior of TDM arbitration, and we prove that it is strictly more accurate than the state-of-the-art. Quantitatively, we show that our new model leads to a 20% improvement of resource allocation, in a case study of a wireless LAN radio down-link.

References

[1]

A. Ahtinen et al. Multi-radio Scheduling and Resource Sharing on a Software Defined Radio Computing Platform. In SDR Forum Conference, 2008.

[2]

L. Almeida and P. Pedreiras. Scheduling within temporal partitions: response-time analysis and server design. In Proceedings of ACM EMSOFT, 2004.

Digital Library

[3]

F. Baccelli et al. Synchronization and Linearity. John Wiley and Sons, 1992.

[4]

M. Bekooij et al. Dataow analysis for real-time embedded multiprocessor system design. Dynamic and Robust Streaming in and between Connected Consumer Electronic Devices, 2005.

[5]

B. Bhattacharya and S. S. Bhattacharyya. Parameterized dataow modeling for dsp systems. IEEE Trans. on Signal Processing, 2001.

Digital Library

[6]

G. Bilsen et al. Cyclo-static dataow. IEEE Trans. on Signal Processing, 1996.

Digital Library

[7]

J. T. Buck. Scheduling Dynamic Dataow Graphs with Bounded Memory Using the Token Flow Model. PhD thesis, University of California at Berkeley, 1993.

Digital Library

[8]

G. Buttazzo. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Springer Science+Business Media, Inc., 2005.

Digital Library

[9]

A. Dasdan. Experimental analysis of the fastest optimum cycle ratio and mean algorithms. ACM Trans. Des. Autom. Electron. Syst., 9, Oct. 2004.

Digital Library

[10]

M. Geilen. Reduction techniques for synchronous dataow graphs. In Proceedings of DAC, 2009.

Digital Library

[11]

A. Hamann and R. Ernst. TDMA time slot and turn optimization with evolutionary search techniques. In Proceedings of DATE conference, pages 312--317, 2005.

Digital Library

[12]

M. Holenderski et al. Grasp: Tracing, visualizing and measuring the behavior of real-time systems. In International Workshop WATERS, july 2010.

[13]

E. Lee and D. Messerschmitt. Synchronous data flow. Proceedings IEEE, 75(9):1235--1245, Sep 1987.

[14]

A. Lele. Data-ow based temporal analysis for TDM arbitration. Master's thesis, Technische Universiteit Eindhoven, 2011.

[15]

A. K. Mok, A. X. Feng, and D. Chen. Resource partition for real-time systems. In Proceedings of IEEE RTAS. IEEE Computer Society, 2001.

Digital Library

[16]

O. Moreira and M. Bekooij. Self-timed scheduling analysis for real-time applications. EURASIP Journal on Advances in Signal Processing, 2007.

[17]

O. Moreira, F. Valente, and M. Bekooij. Scheduling multiple independent hard-real-time jobs on a heterogeneous multiprocessor. In Proceedings of EMSOFT, 2007.

Digital Library

[18]

O. Moreira et al. Buffer sizing for rate-optimal single-rate dataow scheduling revisited. IEEE Transactions on Computers, 2010.

Digital Library

[19]

I. Shin and I. Lee. Periodic resource model for compositional real-time guarantees. In IEEE RTSS, Dec 2003.

Digital Library

[20]

S. Sriram and S. S. Bhattacharyya. Embedded Multiprocessors: Scheduling and Synchronization. Marcel Dekker, Inc., 2000.

Digital Library

[21]

J. Staschulat and M. Bekooij. Dataow models for shared memory access latency analysis. In Proceedings of EMSOFT, 2009.

Digital Library

[22]

L. Thiele, S. Chakraborty, and M. Naedele. Real-time calculus for scheduling hard real-time systems. In Proc. IEEE ISCAS, 2000.

[23]

K. van Berkel et al. A Multi-Radio SDR Technology Demonstrator. In SDR Forum Conference, 2009.

[24]

E. Wandeler and L. Thiele. Optimal TDMA time slot and cycle length allocation for hard real-time systems. In Proceedings of ASP-DAC. IEEE, 2006.

Digital Library

[25]

M. Wiggers, M. Bekooij, and G. Smit. Modelling run-time arbitration by latency-rate servers in dataow graphs. In Proceedings of SCOPES, 2007.

Digital Library

Cited By

Grützmacher FHein AKirste THaubelt C(2018)Model-Based Design of Energy-Efficient Human Activity Recognition Systems with Wearable SensorsTechnologies10.3390/technologies60400896:4(89)Online publication date: 29-Sep-2018
https://doi.org/10.3390/technologies6040089
van Kampenhout RStuijk SGoossens K(2018)Fault-Tolerant Deployment of Dataflow Applications Using Virtual Processors2018 21st Euromicro Conference on Digital System Design (DSD)10.1109/DSD.2018.00027(77-84)Online publication date: Aug-2018
https://doi.org/10.1109/DSD.2018.00027
Hausmans JBekooij M(2016)A refinement theory for timed-dataflow analysis with support for reorderingProceedings of the 13th International Conference on Embedded Software10.1145/2968478.2968489(1-10)Online publication date: 1-Oct-2016
https://dl.acm.org/doi/10.1145/2968478.2968489
Show More Cited By

Index Terms

A new data flow analysis model for TDM

Recommendations

Cyclo-Static Data Flow Model for TDM
ACSD '14: Proceedings of the 2014 14th International Conference on Application of Concurrency to System Design

Time Division Multiplexing (TDM) allows resource sharing amongst the tasks of concurrent applications, where each application may have its own end-to-end hard real time requirements. Current data flow modeling techniques for TDM arbitrated tasks with ...
TDM Hypercube and TWDM Mesh Optical Interconnections

We propose the time division multiplexed hypercube (TDM-cube) and the time/wavelength division multiplexed mesh (TWDM-mesh). The TDM-cube is an extension of the earlier work by Thompson on the dilated slipped banyan network, DSB. While the DSB(N) ...
TDM and TWDM de Bruijn Networks and ShuffleNets for Optical Communications

We propose TDM/TWDM de Bruijn networks and ShuffleNets by utilizing small all-optical dilated slipped banyan networks, DSBs [10]. The proposed networks require fewer switches than DSBs, and smaller numbers of wavelengths than WDM de Bruijn networks and ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

EMSOFT '12: Proceedings of the tenth ACM international conference on Embedded software

October 2012

266 pages

ISBN:9781450314251

DOI:10.1145/2380356

General Chairs:
Ahmed Jerraya
CEA
,
Luca Carloni
Columbia University
,
Program Chairs:
Florence Maraninchi
Grenoble INP & VERIMAG
,
John Regehr
University of Utah

Copyright © 2012 ACM.

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: 07 October 2012

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ESWEEK'12

Sponsor:

ESWEEK'12: Eighth Embedded System Week

October 7 - 12, 2012

Tampere, Finland

Acceptance Rates

Overall Acceptance Rate 60 of 203 submissions, 30%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
431
Total Downloads

Downloads (Last 12 months)7
Downloads (Last 6 weeks)1

Reflects downloads up to 06 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Grützmacher FHein AKirste THaubelt C(2018)Model-Based Design of Energy-Efficient Human Activity Recognition Systems with Wearable SensorsTechnologies10.3390/technologies60400896:4(89)Online publication date: 29-Sep-2018
https://doi.org/10.3390/technologies6040089
van Kampenhout RStuijk SGoossens K(2018)Fault-Tolerant Deployment of Dataflow Applications Using Virtual Processors2018 21st Euromicro Conference on Digital System Design (DSD)10.1109/DSD.2018.00027(77-84)Online publication date: Aug-2018
https://doi.org/10.1109/DSD.2018.00027
Hausmans JBekooij M(2016)A refinement theory for timed-dataflow analysis with support for reorderingProceedings of the 13th International Conference on Embedded Software10.1145/2968478.2968489(1-10)Online publication date: 1-Oct-2016
https://dl.acm.org/doi/10.1145/2968478.2968489
Kurtin PHausmans JBekooij M(2016)HAPIProceedings of the 19th International Workshop on Software and Compilers for Embedded Systems10.1145/2906363.2906381(60-66)Online publication date: 23-May-2016
https://dl.acm.org/doi/10.1145/2906363.2906381
Ara HGeilen MBasten TBehrouzian AHendriks MGoswami D(2016)Tight temporal bounds for dataflow applications mapped onto shared resources2016 11th IEEE Symposium on Industrial Embedded Systems (SIES)10.1109/SIES.2016.7509444(1-8)Online publication date: May-2016
https://doi.org/10.1109/SIES.2016.7509444
Li YSalunkhe HBastos JMoreira OAkesson BGoossens K(2015)Mode-controlled data-flow modeling of real-time memory controllers2015 13th IEEE Symposium on Embedded Systems For Real-time Multimedia (ESTIMedia)10.1109/ESTIMedia.2015.7351770(1-10)Online publication date: Oct-2015
https://doi.org/10.1109/ESTIMedia.2015.7351770
Siyoum FGeilen MCorporaal H(2014)Symbolic Analysis of Dataflow Applications Mapped onto Shared Heterogeneous ResourcesProceedings of the 51st Annual Design Automation Conference10.1145/2593069.2593223(1-6)Online publication date: 1-Jun-2014
https://dl.acm.org/doi/10.1145/2593069.2593223
Lele AMoreira OButala KCuijpers PBerkel K(2014)Cyclo-Static Data Flow Model for TDMProceedings of the 2014 14th International Conference on Application of Concurrency to System Design10.1109/ACSD.2014.17(82-91)Online publication date: 23-Jun-2014
https://dl.acm.org/doi/10.1109/ACSD.2014.17
Goossens KAzevedo AChandrasekar KGomony MGoossens SKoedam MLi YMirzoyan DMolnos ANejad ANelson ASinha S(2013)Virtual execution platforms for mixed-time-criticality systemsACM SIGBED Review10.1145/2544350.254435310:3(23-34)Online publication date: 1-Oct-2013
https://dl.acm.org/doi/10.1145/2544350.2544353
Hausmans JWiggers MGeuns SBekooij MCorporaal HStuijk S(2013)Dataflow analysis for multiprocessor systems with non-starvation-free schedulersProceedings of the 16th International Workshop on Software and Compilers for Embedded Systems10.1145/2463596.2463603(13-22)Online publication date: 19-Jun-2013
https://dl.acm.org/doi/10.1145/2463596.2463603
Show More Cited By

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.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents