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.
Similar content being viewed by others
Explore related subjects
Find the latest articles, discoveries, and news in related topics.References
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
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
Blickle T, Teich J, Thiele L (1998) System-Level synthesis using evolutionary algorithms. Design Autom. Embed. Syst. 3(1): 23–58
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
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)
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
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
Gries M (2004) Methods for evaluating and covering the design space during early design development. Integr. VLSI J. 38: 131–183
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
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
Larsen KG, Pettersson P, Yi W (1997) Uppaal in a nutshell. Int J Softw Tools Technol Transf (STTT) 1(1): 134–152
Micheli G, Ernst R, Wolf W (2000) Reading in Hardware/Software Co-Design, Elsevier
Mellor SJ, Balcer MJ (2002) Executable UML: a Foundation for model-driven architecture. Addison-Wesley Professional, Upper Saddle River
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
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
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
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
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
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
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
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
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
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
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
Schmidt DC (2006) Model-driven engineering. Computer 39(2): 25–31
Scowen RS (1993) Extended BNF—a generic base standard. In: Proceedings of the 1993 software engineering standards symposium (SESS’93)
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
Vanderperren Y, Mueller W, Dehaene W (2008) UML for electronic systems design: a comprehensive overview. Design automation for embedded systems 12(4): 261–292
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)
Weichsel PM (1962) The kronecker product of graphs. In: Proceedings of the American mathematical society 13(1)
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
Zhu Q, Oishi R, Hasegawa T, Nakata T (2005) Integrating UML into SoC design process, vol 2, pp 836–837
Author information
Authors and Affiliations
Corresponding author
Rights 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
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11334-011-0175-y