Skip to main content
SpringerLink
Log in
SpringerLink
Log in

A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications

  • Conference paper
  • First Online:
Cyber Physical Systems. Design, Modeling, and Evaluation (CyPhy 2016)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 10107))

Abstract

Hardware-software (HW-SW) co-design allows to meet system-level objectives by exploiting the synergy of hardware and software. Current tools and approaches for HW-SW co-design face difficulties coping with the increasing complexity of modern-day application due to, e.g., concurrency and energy constraints. Therefore, an automated modeling approach is needed which satisfies modularity, extensibility and interoperability requirements. Model-Driven Engineering (MDE) is a prominent paradigm that, by treating models as first-class citizens, helps to fulfill these requirements. This paper presents a state-of-the-art MDE-based framework for HW-SW co-design of dataflow applications, based on synchronous dataflow (SDF) graph formalism. In the framework, we introduce a reusable set of three coherent metamodels for creating HW-SW co-design models concerning SDF graphs, hardware platforms and allocation of SDF tasks to hardware. The framework also contains model transformations that cast these models into priced timed-automata models, the input language of the well-known model checker uppaal cora. We demonstrate how our framework satisfies the requirements of modularity, extensibility and interoperability in an industrial case study.

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 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight 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.

    All metamodels, model transformations, and case studies discussed in this paper can be found at https://github.com/utwente-fmt/COMET. An instruction manual for replicating the experiments is also given in this repository.

References

  1. Software Engineering Group, University of Paderborn. https://www.hni.uni-paderborn.de/en/software-engineering/. Accessed 14 Jan 2016

  2. Ahmad, W., Hölzenspies, P.K.F., Stoelinga, M.I.A., van de Pol, J.: Green computing: power optimisation of VFI-based real-time multiprocessor dataflow applications. In: DSD 2015, pp. 271–275, August 2015

    Google Scholar 

  3. Ahmad, W., Yildiz, B.M., Rensink, A., Stoelinga, M.: A model-driven framework for hardware-software co-design of dataflow applications. Technical report TR-CTIT-16-09, University of Twente (2016)

    Google Scholar 

  4. Basten, T., Hamberg, R., Reckers, F., Verriet, J.: Model-Based Design of Adaptive Embedded Systems. Springer Publishing Company, New York (2013)

    Book  Google Scholar 

  5. Behrmann, G., Larsen, K.G., Rasmussen, J.I.: Optimal scheduling using priced timed automata. SIGMETRICS Perform. Eval. Rev. 32(4), 34–40 (2005)

    Article  Google Scholar 

  6. Bondé, L., Dumoulin, C., Dekeyser, J.-L.: Metamodels and MDA transformations for embedded systems. In: Boulet, P. (ed.) Advances in Design and Specification Languages for SoCs, pp. 89–105. Springer, New York (2005)

    Chapter  Google Scholar 

  7. da Silva, A.R.: Model-driven engineering: a survey supported by the unified conceptual model. Comput. Lang. Syst. Struct. 43, 139–155 (2015)

    Google Scholar 

  8. Geilen, M., Basten, T., Stuijk, E.: Minimising buffer requirements of synchronous dataflow graphs with model checking. In: DAC 2005, pp. 819–824 (2005)

    Google Scholar 

  9. Gray, I., Matragkas, N., Audsley, N., Indrusiak, L., Kolovos, D., Paige, R.: Model-based hardware generation and programming - the MADES approach. In: ISORCW 2011, pp. 88–96, March 2011

    Google Scholar 

  10. Grüttner, K., Hartmann, P.A., Hylla, K., Rosinger, S., Nebel, W., Herrera, F., Villar, E., Brandolese, C., Fornaciari, W., Palermo, G., Ykman-Couvreur, C., Quaglia, D., Ferrero, F., Valencia, R.: The COMPLEX reference framework for HW/SW co-design and power management supporting platform-based design-space exploration. Microprocess. Microsyst. Embed. Hardw. Des. 37, 966–980 (2013)

    Article  Google Scholar 

  11. Hausmans, J.P., Geuns, S.J., Wiggers, M.H., Bekooij, M.J.: Compositional temporal analysis model for incremental hard real-time system design. In: EMSOFT 2012, pp. 185–194 (2012)

    Google Scholar 

  12. Herber, P., Glesner, S.: A HW/SW co-verification framework for SystemC. ACM TECS 12(1s), 61:1–61:23 (2013)

    Google Scholar 

  13. Kolovos, D.S., Paige, R.F., Polack, F.A.C.: The epsilon transformation language. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 46–60. Springer, Heidelberg (2008). doi:10.1007/978-3-540-69927-9_4

    Chapter  Google Scholar 

  14. Kolovos, D.S., Rose, L.M., Paige, R.F., Polack, F.A.C.: Raising the level of abstraction in the development of GMF-based graphical model editors. In: MISE 2009, pp. 13–19 (2009)

    Google Scholar 

  15. Lee, E.A.: Embedded software. Adv. Comput. 56, 56–97 (2002). http://www.sciencedirect.com/science/article/pii/S0065245802800043

    Google Scholar 

  16. Lee, E.A., Messerschmitt, D.G.: Synchronous data flow: describing signal processing algorithm for parallel computation. In: COMPCON 1987, pp. 310–315 (1987)

    Google Scholar 

  17. Park, S., Park, J., Shin, D., Wang, Y., Xie, Q., Pedram, M., Chang, N.: Accurate modeling of the delay and energy overhead of dynamic voltage and frequency scaling in modern microprocessors. IEEE Trans. Comput Aided Des. Integr. Circuits Syst. (TCAD) 32(5), 695–708 (2013)

    Article  Google Scholar 

  18. Sprinkle, J., Rumpe, B., Vangheluwe, H., Karsai, G.: Metamodelling. In: Giese, H., Karsai, G., Lee, E., Rumpe, B., Schätz, B. (eds.) MBEERTS 2007. LNCS, vol. 6100, pp. 57–76. Springer, Heidelberg (2010). doi:10.1007/978-3-642-16277-0_3

    Chapter  Google Scholar 

  19. Steinberg, D., Budinsky, F., Merks, E., Paternostro, M.: EMF: Eclipse Modeling Framework. Pearson Education, Boston (2008)

    Google Scholar 

  20. Stuijk, S.: Predictable mapping of streaming applications on multiprocessors. Ph.D. thesis (2007)

    Google Scholar 

  21. Stuijk, S., Geilen, M., Basten, T.: SDF\(^3\): SDF for free. In: ACSD 2006, pp. 276–278, June 2006

    Google Scholar 

  22. Theelen, B., Geilen, M.C.W., Basten, T., Voeten, J.P.M., Gheorghita, S.V., Stuijk, S.: A scenario-aware data flow model for combined long-run average and worst-case performance analysis. In: MEMOCODE 2006, pp. 185–194 (2006)

    Google Scholar 

  23. Viola, P., Jones, M.: Rapid object detection using a boosted cascade of simple features. In: CVPR 2001, vol. 1, pp. I-511–I-518 (2001)

    Google Scholar 

  24. Völter, M., Stahl, T., Bettin, J., Haase, A., Helsen, S.: Model-Driven Software Development: Technology, Engineering, Management. John Wiley & Sons (2013)

    Google Scholar 

  25. Wiggers, M.H.. Aperiodic multiprocessor scheduling for real-time stream processing applications. Ph.D. thesis (2009)

    Google Scholar 

Download references

Acknowledgements

This research is funded by the EU FP7 project SENSATION (318490) and NWO project BEATS (612.001.303). The authors are grateful to Kim Sunesen from Recore Systems B.V. for providing the case study.

Author information

Authors and Affiliations

  1. University of Twente, Enschede, The Netherlands

    Waheed Ahmad, Bugra M. Yildiz, Arend Rensink & Mariëlle Stoelinga

Authors
  1. Waheed Ahmad
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bugra M. Yildiz
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Arend Rensink
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Mariëlle Stoelinga
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Bugra M. Yildiz .

Editor information

Editors and Affiliations

  1. University of Gothenburg, Gothenburg, Sweden

    Christian Berger

  2. Halmstad University, Halmstad, Sweden

    Mohammad Reza Mousavi

  3. Aalborg University, Aalborg, Denmark

    Rafael Wisniewski

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Ahmad, W., Yildiz, B.M., Rensink, A., Stoelinga, M. (2017). A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications. In: Berger, C., Mousavi, M., Wisniewski, R. (eds) Cyber Physical Systems. Design, Modeling, and Evaluation. CyPhy 2016. Lecture Notes in Computer Science(), vol 10107. Springer, Cham. https://doi.org/10.1007/978-3-319-51738-4_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-51738-4_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-51737-7

  • Online ISBN: 978-3-319-51738-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation