Skip to main content
SpringerLink
Log in

A model-driven engineering framework for embedded systems design

  • SI: MOMPES 2010
  • Published:
Innovations in Systems and Software Engineering Aims and scope Submit manuscript

Abstract

This work presents a Model-Driven Engineering (MDE) framework to improve embedded system design. The framework adopts concepts from MDE for the automatic generation of a control and data flow internal representation, starting from the functional specification of an embedded application described using UML class and sequence diagrams. By means of transformations rules applied on the UML model of the embedded system, an MOF-based (Meta Object Facility is a standard representation for meta-models and models proposed by OMG) internal representation is automatically obtained, which is iteratively mapped into a hardware/software implementation by means of model transformations. This mapping is optimized by a design space exploration (DSE) method based on a categorical graph product. The model transformations have also as input a platform model, which specifies the available hardware, software and interface resources, and produce an implementation model, on which software synthesis, communication synthesis and high-level synthesis algorithms are applied to generate the final implementation. A case study is described to illustrate the application of the framework.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Ahmed W, D Myers (2006) Faster exploration of high level design alternatives using UML for better partitions. In: Proceedings of the conference on design, automation and test in Europe: Proceedings, DATE ’06, 3001 Leuven, Belgium, pp 579–580. European Design and Automation Association

  2. Angus D (2007) Crowding population-based ant colony optimisation for the multi-objective travelling salesman problem. In: IEEE symposium on computational intelligence in multi-criteria decision-making, pp 333–340

  3. Blickle T, Teich J, Thiele L (1998) System-Level synthesis using evolutionary algorithms. Design Autom. Embed. Syst. 3(1): 23–58

    Article  Google Scholar 

  4. Bondé L, Dumoulin C, Dekeyser J-L (2005) Metamodels and MDA transformations for embedded systems. In: Boulet P (eds) Advances in design and specification languages for SoCs, Chapter 8. Springer, Boston, pp 89–105

    Chapter  Google Scholar 

  5. Chen R, Sgroi M, Martin G, Lavagno L, Vincentelli AS, Rabaey J (2002) Embedded system design using UML and platforms. In: FDL’02. Proceedings of forum on specification and design languages 2002 (FDL’02)

  6. Edwards S, Lavagno L, Lee EA, Sangiovanni-Vincentelli A (1997) Design of embedded systems: formal models, validation, and synthesis. Proc IEEE 85(3): 366–390

    Article  Google Scholar 

  7. 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 Arch 57(9): 815–829

    Article  Google Scholar 

  8. Gries M (2004) Methods for evaluating and covering the design space during early design development. Integr. VLSI J. 38: 131–183

    Article  Google Scholar 

  9. Hooman J, Kugler H, Ober I, Votintseva A, Yushtein Y (2008) Supporting UML-based development of embedded systems by formal techniques. Softw Syst Model 7(2): 131–155

    Article  Google Scholar 

  10. Kangas T, Kukkala P, Orsila H, Salminen E, Hännikäinen M, Hämäläinen TD, Riihimäki J, Kuusilinna K (2006) UML-based multiprocessor SoC design framework. ACM Trans Embed Comput Syst 5(2): 281–320

    Article  Google Scholar 

  11. Larsen KG, Pettersson P, Yi W (1997) Uppaal in a nutshell. Int J Softw Tools Technol Transf (STTT) 1(1): 134–152

    Article  MATH  Google Scholar 

  12. Micheli G, Ernst R, Wolf W (2000) Reading in Hardware/Software Co-Design, Elsevier

  13. Mellor SJ, Balcer MJ (2002) Executable UML: a Foundation for model-driven architecture. Addison-Wesley Professional, Upper Saddle River

  14. Mueller W, Rosti A, Bocchio S, Riccobene E, Scandurra P, Dehaene W, Vanderperren Y (2006) UML for ESL design: basic principles, tools, and applications. In: Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design, ICCAD ’06, New York, NY, USA, pp 73–80. ACM, New York

  15. Murilo LG, Mura M, Prevostini M (2010) MDE Support for HW/SW codesign: A UML-based design flow. In: Borrione D (eds) Advances in methods from modeling languages for embedded sytems and SoC’s, lecture notes in electrical engineering, vol 63.. Springer, Berlin, pp 19–37

    Chapter  Google Scholar 

  16. Nascimento FA, Oliveira MFS, Wagner FR (2007) ModES: Embedded systems design methodology and tools based on MDE. In: Model-based methodologies for pervasive and embedded software, 2007. MOMPES ’07. Fourth international workshop on, pp 67–76

  17. Nascimento FA, Oliveira MFS, Wagner FR (2009) Formal verification for embedded systems design based on MDE. In: Rettberg A, Zanella M, Amann M, Keckeisen M, Rammig F (eds) Analysis architectures and modelling of embedded systems, IFIP advances in information and communication technology, vol 310, Chapter 15.. Springer, Berlin, pp 159–170

    Google Scholar 

  18. Neema S, Sztipanovits J, Karsai G, Butts K (2003) Constraint-based Design-Space exploration and model synthesis. In: Alur R, Lee I (eds) Embedded software, lecture notes in computer science, vol 2855, Chapter 19.. Springer, Berlin, pp 290–305

    Google Scholar 

  19. Oliveira MFS, Briao EW, Nascimento FA, Wagner FR (2007) Model driven engineering for MPSOC design space exploration. In: Proceedings of the 20th annual conference on Integrated circuits and systems design, SBCCI ’07, New York, NY, USA. ACM, New York, pp 81–86

  20. Oliveira MFS, de Brisolara LB, Carro L, Wagner FR (2006) Early embedded software design space exploration using UML-based estimation. In: Proceedings of the seventeenth IEEE international workshop on rapid system prototyping, Washington, DC, USA. IEEE Computer Society, Washington, pp 24–32

  21. Oliveira MFS, Nascimento FA, Mueller W, Wagner FR (2010) Design space abstraction and metamodeling for embedded systems design space exploration. In: Proceedings of the 7th international workshop on model-based methodologies for pervasive and embedded software, MOMPES ’10, New York, NY, USA. ACM, New York, pp 29–36

  22. Pauwels M, Vanderperren Y, Sonck G, Oostende P, Dehaene W, Moore T (2004) A design methodology for the development of a complex System-On-chip using UML and executable system models. In: Villar E, Mermet J (eds) System specification & amp; Design Languages, Chapter 11.. Springer, Boston, pp 129–141

    Chapter  Google Scholar 

  23. Reyneri LM, Cucinotta F, Serra A, Lavagno L (2001) A hardware/software co-design flow and IP library based on simulink. In Proceedings of the 38th annual design automation conference, DAC ’01, New York, NY, USA. ACM, New York, pp 593–598

  24. Riccobene E, Scandurra P, Bocchio S, Rosti A, Lavazza L, Mantellini L (2009) SystemC/c-based model-driven design for embedded systems. ACM Trans Embed Comput Syst 8

  25. Schmidt DC (2006) Model-driven engineering. Computer 39(2): 25–31

    Article  Google Scholar 

  26. Scowen RS (1993) Extended BNF—a generic base standard. In: Proceedings of the 1993 software engineering standards symposium (SESS’93)

  27. Vanderperren Y, Dehaene W (2006) From UML/SysML to Matlab/Simulink: current state and future perspectives. In: Proceedings of the conference on design, automation and test in Europe: Proceedings, DATE ’06, 3001 Leuven, Belgium. European design and automation association, Belgium

  28. Vanderperren Y, Mueller W, Dehaene W (2008) UML for electronic systems design: a comprehensive overview. Design automation for embedded systems 12(4): 261–292

    Article  Google Scholar 

  29. Wehrmeister MA, Becker LB, Wagner FR, Pereira CE (2005) On object-oriented platform-based design process for embedded real-time Systems. In: Proceedings of IEEE international symposium on object-oriented real-time distributed computing (ISORC)

  30. Weichsel PM (1962) The kronecker product of graphs. In: Proceedings of the American mathematical society 13(1)

  31. Xie F, Levin V, Browne JC (2001) Model checking for an executable subset of UML. In: Proceedings of the 16th IEEE international conference on automated software engineering, ASE ’01, Washington, DC, USA. IEEE Computer Society, Washington

  32. Zhu Q, Oishi R, Hasegawa T, Nakata T (2005) Integrating UML into SoC design process, vol 2, pp 836–837

Download references

Author information

Authors and Affiliations

  1. Institute of Informatics, Federal University of Rio Grande do Sul, Caixa Postal 15064, Porto Alegre, RS, 91501-970, Brazil

    Francisco Assis Moreira do Nascimento, Marcio F. S. Oliveira & Flávio Rech Wagner

  2. C-LAB, University of Paderborn, Fürstenallee, 11, Paderborn, Germany

    Marcio F. S. Oliveira

Authors
  1. Francisco Assis Moreira do Nascimento
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marcio F. S. Oliveira
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Flávio Rech Wagner
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Francisco Assis Moreira do Nascimento.

Rights and permissions

Reprints and permissions

About this article

Cite this article

do Nascimento, F.A.M., Oliveira, M.F.S. & Wagner, F.R. A model-driven engineering framework for embedded systems design. Innovations Syst Softw Eng 8, 19–33 (2012). https://doi.org/10.1007/s11334-011-0175-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11334-011-0175-y

Keywords

Search

Navigation