Skip to main content
SpringerLink
Log in

Specification of Data Intensive Applications with Data Dependency and Abstract Clocks

  • Chapter
  • First Online:
Handbook of Data Intensive Computing

Abstract

Data intensive applications are present in a wide range of domains such as computational science, multimedia signal processing and defense systems. Their particular characteristics in terms of high number of communication operations and data manipulations lead to the need of well-adapted design formalisms. This chapter advocates the combination of a repetitive structure modeling formalism and abstract clocks to specify data intensive applications. The resulting specifications consist of an expression of the potential parallelism inherent to described data-intensive algorithms, refined with environment constraints in the form of application component’s activation rates. The modeling concepts used here are already integrated to the UML Marte standard profile, which allows for a graphical modeling and analysis of real-time and embedded systems.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 89.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 119.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    For the sake of simplicity, the shape information is not always shown in all figures.

References

  1. Adolf Abdallah, Abdoulaye Gamatié and, and Jean-Luc Dekeyser. Correct and energy-efficient design of socs: The h.264 encoder case study. In System on Chip (SoC), 2010 International Symposium on, pages 115–120, Sept. 2010.

    Google Scholar 

  2. Charles André and Frédéric Mallet. Clock Constraints in UML/MARTE CCSL. Research Report RR-6540, INRIA, 2008.

    Google Scholar 

  3. Albert Benveniste, Paul Caspi, Steven Edwards, Nicolas Halbwachs, Paul Le Guernic, and Robert de Simone. The synchronous languages twelve years later. Proceedings of the IEEE, 91(1):64–83, January 2003.

    Article  Google Scholar 

  4. Loïc. Besnard, Thierry Gautier, and Paul Le Guernic. Signal reference manual., 2007. www.irisa.fr/espresso/Polychrony.

  5. Pierre Boulet. Formal Semantics of Array-OL, a Domain Specific Language for Intensive Multidimensional Signal Processing. Research report, INRIA, France, March 2008. available online at http://hal.inria.fr/inria-00261178/fr.

  6. Surendra Byna and Xian-He Sun. Special issue on data intensive computing. Journal of Parallel and Distributed Computing, 71(2):143–144, 2011. Data Intensive Computing.

    Google Scholar 

  7. Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, and John Plaice. Lustre: a declarative language for real-time programming. In Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (POPL’87), pages 178–188. ACM Press, 1987.

    Google Scholar 

  8. Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, and Marc Pouzet. N-sychronous Kahn networks. In ACM Symp. on Principles of Programming Languages (PoPL’06), Charleston, South Carolina, USA, January 2006.

    Google Scholar 

  9. Alain Demeure and Yannick Del Gallo. An array approach for signal processing design. In Sophia-Antipolis conference on Micro-Electronics (SAME’98), System-on-Chip Session, France, October 1998.

    Google Scholar 

  10. Marc Duranton, Sami Yehia, Bjorn De Sutter, Koen De Bosschere, Albert Cohen, Babak Falsafi, Georgi Gaydadjiev, Manolis Katevenis, Jonas Maebe, Harm Munk, Nacho Navarro, Alex Ramirez, Olivier Temam, and Mateo Valero. The hipeac vision. Report, European Network of Excellence on High Performance and Embedded Architecture and Compilation, 2010.

    Google Scholar 

  11. Abdoulaye Gamatié, Sébastien Le Beux, Éric Piel, Anne Etien, Rabie Ben-Atitallah, Philippe Marquet, and Jean-Luc Dekeyser. A model driven design framework for high performance embedded systems. Research Report 6614, INRIA, 2008. http://hal.inria.fr/inria-00311115/en.

  12. Abdoulaye Gamatié, Sébastien Le Beux, Éric Piel, Rabie Ben Atitallah, Anne Etien, Philippe Marquet, and Jean-Luc Dekeyser. A model driven design framework for massively parallel embedded systems. ACM Transactions on Embedded Computing Systems (TECS), 2011. To appear.

    Google Scholar 

  13. Abdoulaye Gamatié. Designing Embedded Systems with the Signal Programming Language - Synchronous, Reactive Specification. Springer, 2010.

    Google Scholar 

  14. Abdoulaye Gamatié, Vlad Rusu, and Éric Rutten. Operational semantics of the marte repetitive structure modeling concepts for data-parallel applications design. In ISPDC, pages 25–32. IEEE Computer Society, 2010.

    Google Scholar 

  15. Abdoulaye Gamatié, Éric Rutten, Huafeng Yu, Pierre Boulet, and Jean-Luc Dekeyser. Synchronous modeling and analysis of data intensive applications. EURASIP J. Emb. Sys., 2008, 2008.

    Google Scholar 

  16. Jean-Luc Gaudiot, Thomas DeBoni, John Feo, A. P. Wim Böhm, Walid A. Najjar, and Patrick Miller. The sisal project: Real world functional programming. In Santosh Pande and Dharma P. Agrawal, editors, Compiler Optimizations for Scalable Parallel Systems Languages, volume 1808 of Lecture Notes in Computer Science, pages 45–72. Springer, 2001.

    Google Scholar 

  17. Calin Glitia, Pierre Boulet, Éric Lenormand, and Michel Barreteau. Repetitive model refactoring strategy for the design space exploration of intensive signal processing applications. Journal of Systems Architecture, In Press, Corrected Proof:–, 2011.

    Google Scholar 

  18. Calin Glitia, Julien DeAntoni, and Frédéric Mallet. Logical time at work: Capturing data dependencies and platform constraints. In Adam Morawiec and Jinnie Hinderscheit, editors, FDL, pages 241–. ECSI, Electronic Chips & Systems design Initiative, 2010.

    Google Scholar 

  19. Calin Glitia, Philippe Dumont, and Pierre Boulet. Array-ol with delays, a domain specific specification language for multidimensional intensive signal processing. Multidimensional Systems and Signal Processing, 21:105–131, 2010. 10.1007/s11045-009-0085-4.

    Google Scholar 

  20. Paul Le Guernic, Jean-Pierre Talpin, and Jean-Christophe Le Lann, and Projet Espresso. Polychrony for system design. Journal for Circuits, Systems and Computers, 12:261–304, 2002.

    Google Scholar 

  21. Jing Guo, Antonio Wendell De Oliveira Rodrigues, Jerarajan Thiyagalingam, Frédéric Guyomarch, Pierre Boulet, and Sven-Bodo Scholz. Harnessing the Power of GPUs without Losing Abstractions in SaC and ArrayOL: A Comparative Study. In HIPS 2011, 16th International Workshop on High-Level Parallel Programming Models and Supportive Environments, Anchorage (Alaska) United States, 05 2011.

    Google Scholar 

  22. Gilles Kahn. The semantics of simple language for parallel programming. In IFIP Congress, pages 471–475, 1974.

    Google Scholar 

  23. Joachim Keinert, Christian Haubelt, and Jürgen Teich. Simulative buffer analysis of local image processing algorithms described by windowed synchronous data flow. In Holger Blume, Georgi Gaydadjiev, C. John Glossner, and Peter M. W. Knijnenburg, editors, ICSAMOS, pages 161–168. IEEE, 2007.

    Google Scholar 

  24. Edward A. Lee. Mulitdimensional streams rooted in dataflow. In Michel Cosnard, Kemal Ebcioglu, and Jean-Luc Gaudiot, editors, Architectures and Compilation Techniques for Fine and Medium Grain Parallelism, volume A-23 of IFIP Transactions, pages 295–306. North-Holland, 1993.

    Google Scholar 

  25. Edward A. Lee and David G. Messerschmitt. Synchronous data flow: Describing signal processing algorithm for parallel computation. In COMPCON, pages 310–315, 1987.

    Google Scholar 

  26. Edward A. Lee and Alberto Sangiovanni-vincentelli. A framework for comparing models of computation. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 17(12):1217–1229, 1998.

    Article  Google Scholar 

  27. Frédéric Mallet. Clock constraint specification language: specifying clock constraints with uml/marte. Innovations in Systems and Software Engineering, 4:309–314, 2008. 10.1007/s11334-008-0055-2.

    Google Scholar 

  28. Frédéric Mallet, Julien DeAntoni, Charles André, and Robert de Simone. The clock constraint specification language for building timed causality models. Innovations in Systems and Software Engineering, 6:99–106, 2010. 10.1007/s11334-009-0109-0.

    Google Scholar 

  29. Christophe Mauras. Alpha : un langage équationnel pour la conception et la programmation d’architectures parallèles synchrones. PhD thesis, Université de Rennes I, France, December 1989.

    Google Scholar 

  30. Message Passing Interface Forum. MPI Documents. http://www.mpi-forum.org/docs/docs.html, 2009.

  31. Lionel Morel. Array iterators in lustre: From a language extension to its exploitation in validation. EURASIP Journal on Embedded Systems, 2007:Article ID 59130, 16 pages, 2007.

    Google Scholar 

  32. Praveen K. Murthy and Edward A. Lee. Multidimensional synchronous dataflow. IEEE Transactions on Signal Processing, 50:3306–3309, 2002.

    Article  Google Scholar 

  33. OMG. The uml profile for marte: Modeling and analysis of real-time and embedded systems. http://www.omgmarte.org, 2011.

  34. Laurent Rioux, Thierry Saunier, Sébastien Gérard, Ansgar Radermacher, Robert de Simone, Thierry Gautier, Yves Sorel, Julien Forget, Jean-Luc Dekeyser, Arnaud Cuccuru, Cédric Dumoulin, and Charles André. Marte: A new omg profile rfp for the modeling and analysis of real-time embedded systems. In DAC Workshop UML for SoC Design, UML-SoC’05, Anaheim CA, USA, June 2005.

    Google Scholar 

  35. Sven-Bodo Scholz. Single assignment c: efficient support for high-level array operations in a functional setting. J. Funct. Program., 13(6):1005–1059, 2003.

    Google Scholar 

  36. Irina Smarandache, Thierry Gautier, and Paul Le Guernic. Validation of mixed Signal-Alpha real-time systems through affine calculus on clock synchronisation constraints. In World Congress on Formal Methods (2), pages 1364–1383, 1999.

    Google Scholar 

  37. The Aoste Team. Timesquare. http://www-sop.inria.fr/aoste, 2011.

  38. The DaRT Team. Gaspard2 design environment. http://www.gaspard2.org, 2011.

  39. William Thies, Michal Karczmarek, Michael Gordon, David Maze, Jeremy Wong, Henry Hoffmann, Matthew Brown, and Saman Amarasinghe StreamIt: A compiler for streaming applications. MIT/LCS Technical Memo MIT/LCS Technical Memo LCS-TM-622, Massachusetts Institute of Technology, Cambridge, MA, December 2001.

    Google Scholar 

  40. Doran Wilde. The Alpha language. Technical Report 827, IRISA - INRIA, Rennes, 1994. available at www.irisa.fr/bibli/publi/pi/1994/827/827.html.

Download references

Acknowledgements

The author would like to thank his colleagues from the DaRT group of LIFL/CNRS and Inria, who also contributed to the ideas presented in this Chapter.

Author information

Authors and Affiliations

  1. LIFL/CNRS and Inria, Parc Scientifique de la Haute Borne, Park Plaza – Bâtiment A – 40 avenue Halley, Villeneuve d’Ascq, France

    Abdoulaye Gamatié

Authors
  1. Abdoulaye Gamatié
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Abdoulaye Gamatié .

Editor information

Editors and Affiliations

  1. Dept. of Computer Science & Engineering, Florida Atlantic University, Boca Raton, 33431, Florida, USA

    Borko Furht

  2. LexisNexis, Boca Raton, 33487, Florida, USA

    Armando Escalante

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer Science+Business Media, LLC

About this chapter

Cite this chapter

Gamatié, A. (2011). Specification of Data Intensive Applications with Data Dependency and Abstract Clocks. In: Furht, B., Escalante, A. (eds) Handbook of Data Intensive Computing. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-1415-5_12

Download citation

  • DOI: https://doi.org/10.1007/978-1-4614-1415-5_12

  • Published:

  • Publisher Name: Springer, New York, NY

  • Print ISBN: 978-1-4614-1414-8

  • Online ISBN: 978-1-4614-1415-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation