Design Automation for Embedded Systems

, Volume 16, Issue 2, pp 137–169

Progressive and explicit refinement of scheduling for multidimensional data-flow applications using uml marte

  • Calin Glitia
  • Julien DeAntoni
  • Frédéric Mallet
  • Jean-Vivien Millo
  • Pierre Boulet
  • Abdoulaye Gamatié
Article

Abstract

Process networks and data-flow graphs are used to capture data-dependencies in computation-intensive embedded systems. Their simplicity allows the computation of static schedules that reduce the dynamic overhead and increase predictability. The resulting schedule is a total ordering of actor computations and communications. It can therefore become an over-specification of the initial system when several schedules are valid. This is particularly the case for multidimensional data-flow applications.

We propose a methodology to avoid such an over-specification. We propose to use logical time to capture explicitly all the valid schedules for a given multi-dimensional data-flow model. Then, we show that the proposed approach allows for a progressive and explicit refinement of computation scheduling that also captures constraints imposed by the environment and the execution platform. All this is achieved by using uml marte concepts and the resulting models can be considered for simulation and analysis with existing tools for early design validation. The whole approach is validated on a typical application devoted to radar signal processing.

Keywords

marte Clock constraint specification language Embedded system design Logical time Repetitive structure modeling Multidimensional data-flow 

References

  1. 1.
    Abdallah A, Gamatié A, Dekeyser JL (2010) Correct and energy-efficient design of socs: the h.264 encoder case study. In: 2010 international symposium on system on chip (SoC), pp 115–120 CrossRefGoogle Scholar
  2. 2.
    Alfaro L, Henzinger TA (2001) Interface theories for component-based design. In: Henzinger TA, Kirsch CM (eds) Embedded software. Lecture notes in computer science, vol 2211. Springer, Berlin, Heidelberg, pp 148–165 CrossRefGoogle Scholar
  3. 3.
    André C (2009) Syntax and semantics of the Clock Constraint Specification Language (CCSL). Research Report 6925, INRIA. http://hal.inria.fr/inria-00384077/
  4. 4.
    Benveniste A, Le Guernic P, Jacquemot C (1991) Synchronous programming with events and relations: the SIGNAL language and its semantics. Sci Comput Program 16(2):103–149 MathSciNetMATHCrossRefGoogle Scholar
  5. 5.
    Berry G (2000) The foundations of esterel. Proof, language and interaction: essays in honour of Robin Milner, pp 425–454 Google Scholar
  6. 6.
    Boulet P, Marquet P, Piel E, Taillard J (2007) Repetitive allocation modeling with MARTE. In: Forum on specification and design languages (FDL’07), Barcelona, Spain Google Scholar
  7. 7.
    Boussinot F, De Simone R (2002) The ESTEREL language. Proc IEEE 79(9):1293–1304 CrossRefGoogle Scholar
  8. 8.
    Dumont P (2005) Spécification multidimensionnelle pour le traitement du signal systématique. Ph.D. thesis Google Scholar
  9. 9.
    Falk J, Keinert J, Haubelt C, Teich J, Zebelein C (2010) Integrated modeling using finite state machines and dataflow graphs. In: Bhattacharyya SS, Deprettere EF, Leupers R, Takala J (eds) Handbook of signal processing systems. Springer, New York, pp 1041–1075. http://dx.doi.org/10.1007/978-1-4419-6345-1_36 CrossRefGoogle Scholar
  10. 10.
    Feautrier P (1996) Automatic parallelization in the polytope model. In: Perrin GR, Darte A (eds) The data parallel programming model. Lecture notes in computer science, vol 1132. Springer, Berlin/Heidelberg, pp 79–103 CrossRefGoogle Scholar
  11. 11.
    Fidge C (2002) Logical time in distributed computing systems. Computer 24(8):28–33 CrossRefGoogle Scholar
  12. 12.
    Peraldi Frati MA, Deantoni J (2011) Scheduling multi clock real time systems: from requirements to implementation. In: IEEE int symp on object/component/service-oriented real-time distributed computing. IEEE Computer Society, Washington, pp 50–57 CrossRefGoogle Scholar
  13. 13.
    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, pp 323–348. http://dx.doi.org/10.1007/978-1-4614-1415-5_12 CrossRefGoogle Scholar
  14. 14.
    Gamatié A, Beux SL, Piel É., Atitallah RB, Etien A, Marquet P, Dekeyser JL (2011) A model-driven design framework for massively parallel embedded systems. ACM Trans Embed Comput Syst 10(4):39 CrossRefGoogle Scholar
  15. 15.
    Gascon R, Mallet F, DeAntoni J (2011) Logical time and temporal logics: comparing UML MARTE/CCSL and PSL. In: Combi C, Leucker M, Wolter F (eds) 18th int. symp. on temporal representation and reasoning, TIME, Lübeck, Germany. IEEE Press, Los Alamitos, pp 141–148 Google Scholar
  16. 16.
    Glitia C (2009) Optimisation des applications de traitement systématique intensives sur systems-on-chip. Ph.D. thesis, Université Lille 1, Sciences et Technologies Google Scholar
  17. 17.
    Glitia C, Boulet P (2008) High level loop transformations for multidimensional signal processing embedded applications. In: SAMOS 2008 workshop, Samos, Greece Google Scholar
  18. 18.
    Glitia C, Boulet P, Lenormand E, Barreteau M (2011) Repetitive model refactoring strategy for the design space exploration of intensive signal processing applications. J Syst Archit 57(9):815–829 CrossRefGoogle Scholar
  19. 19.
    Glitia C, DeAntoni J, Mallet F (2010) Logical time at work: capturing data dependencies and platform constraints. In: Forum on specification and design languages (FDL) Google Scholar
  20. 20.
    Glitia C, Dumont P, Boulet P (2010) Array-OL with delays, a domain specific specification language for multidimensional intensive signal processing. Multidimens Syst Signal Process 21(2):105–131 MathSciNetMATHCrossRefGoogle Scholar
  21. 21.
    Kahn G (1974) The semantics of a simple language for parallel programming. In: Rosenfeld JL (ed) Information processing 74. IFIP Congress, pp 471–475. ISBN: 978-072042803-2 Google Scholar
  22. 22.
    Lamport L (1978) Time, clocks, and the ordering of events in a distributed system. Commun ACM 21(7):558–565 MATHCrossRefGoogle Scholar
  23. 23.
    Lee EA (1993) Multidimensional streams rooted in dataflow. In: Architectures and compilation techniques for fine and medium grain parallelism, pp 295–306 Google Scholar
  24. 24.
    Lee EA, Messerschmitt DG (1987) Synchronous data flow. Proc IEEE 75(9):1235–1245 CrossRefGoogle Scholar
  25. 25.
    OMG (2009) UML Profile for MARTE, v1.0. Object Management Group. Document number: formal/09-11-02 Google Scholar
  26. 26.
    OMG (2009) UML Superstructure, v2.2. Object Management Group. Formal/2009-02-02 Google Scholar
  27. 27.
    Soula J (2001) Principe de compilation d’un langage de traitement de signal. Ph.D. thesis Google Scholar
  28. 28.
    Yin L, Mallet F, Liu J (2011) Verification of MARTE/CCSL time requirements in Promela/SPIN. In: 16th IEEE int conf on engineering of complex computer systems, ICECCS, pp 65–74 CrossRefGoogle Scholar
  29. 29.
    Yu H, Talpin JP, Besnard L, Gautier T, Marchand H, Guernic PL (2011) Polychronous controller synthesis from MARTE CCSL timing specifications. In: Singh S, Jobstmann B, Kishinevsky M, Brandt J (eds) MEMOCODE. IEEE Press, Los Alamitos, pp 21–30 Google Scholar

Copyright information

© Springer Science+Business Media, LLC 2012

Authors and Affiliations

  • Calin Glitia
    • 1
    • 3
  • Julien DeAntoni
    • 1
    • 2
    • 3
  • Frédéric Mallet
    • 1
    • 2
    • 3
  • Jean-Vivien Millo
    • 1
    • 3
  • Pierre Boulet
    • 4
    • 5
    • 6
  • Abdoulaye Gamatié
    • 4
    • 5
    • 6
  1. 1.INRIA Sophia Antipolis MéditerranéeSophia AntipolisFrance
  2. 2.Université Nice Sophia AntipolisNiceFrance
  3. 3.I3S, UMR 7271—UNS and CNRSSophia AntipolisFrance
  4. 4.LIFL, UMR 8022—Univ. Lille 1 and CNRSVilleneuve d’AscqFrance
  5. 5.INRIA Lille—Nord EuropeVilleneuve d’AscqFrance
  6. 6.Univ. Lille Nord de FranceVilleneuve d’AscqFrance

Personalised recommendations