Specification of Data Intensive Applications with Data Dependency and Abstract Clocks

  • Abdoulaye Gamatié


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.


Output Port Image Frame Repetitive Task Data Intensive Application Repetition Space 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.



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.


  1. 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. 2.
    Charles André and Frédéric Mallet. Clock Constraints in UML/MARTE CCSL. Research Report RR-6540, INRIA, 2008.Google Scholar
  3. 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.CrossRefGoogle Scholar
  4. 4.
    Loïc. Besnard, Thierry Gautier, and Paul Le Guernic. Signal reference manual., 2007.
  5. 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
  6. 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. 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. 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. 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. 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. 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.
  12. 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. 13.
    Abdoulaye Gamatié. Designing Embedded Systems with the Signal Programming Language - Synchronous, Reactive Specification. Springer, 2010.Google Scholar
  14. 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. 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. 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. 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. 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. 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. 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. 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. 22.
    Gilles Kahn. The semantics of simple language for parallel programming. In IFIP Congress, pages 471–475, 1974.Google Scholar
  23. 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. 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. 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. 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.CrossRefGoogle Scholar
  27. 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. 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. 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. 30.
    Message Passing Interface Forum. MPI Documents., 2009.
  31. 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. 32.
    Praveen K. Murthy and Edward A. Lee. Multidimensional synchronous dataflow. IEEE Transactions on Signal Processing, 50:3306–3309, 2002.CrossRefGoogle Scholar
  33. 33.
    OMG. The uml profile for marte: Modeling and analysis of real-time and embedded systems., 2011.
  34. 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. 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. 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. 37.
    The Aoste Team. Timesquare., 2011.
  38. 38.
    The DaRT Team. Gaspard2 design environment., 2011.
  39. 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. 40.
    Doran Wilde. The Alpha language. Technical Report 827, IRISA - INRIA, Rennes, 1994. available at

Copyright information

© Springer Science+Business Media, LLC 2011

Authors and Affiliations

  1. 1.LIFL/CNRS and Inria, Parc Scientifique de la Haute BorneVilleneuve d’AscqFrance

Personalised recommendations