A model-driven engineering framework for embedded systems design

Innovations in Systems and Software Engineering

Volumn 8, Issue 1, 2012, Pages 19-33

  do Nascimento, Francisco Assis Moreira ^a   Oliveira, Marcio F S ^a,b   Wagner, Flávio Rech ^a  

^a FEDERAL UNIVERSITY OF RIO GRANDE DO SUL   (Brazil)

^b UNIVERSITY OF PADERBORN   (Germany)

Author keywords

Design automation; Design space exploration; Embedded systems; Formal verification; Model driven engineering; System level synthesis

Indexed keywords

DESIGN AUTOMATIONS; DESIGN SPACE EXPLORATION; FORMAL VERIFICATION; MODEL-DRIVEN ENGINEERING; SYSTEM LEVELS;

COMPUTER AIDED DESIGN; EMBEDDED SOFTWARE; SPACE RESEARCH; SYSTEMS ANALYSIS; UNIFIED MODELING LANGUAGE;

EMBEDDED SYSTEMS;

EID: 84856263433     PISSN: 16145046     EISSN: 16145054     Source Type: Journal    
DOI: 10.1007/s11334-011-0175-y     Document Type: Article

References (32)

1. Ahmed W, D Myers (2006) Faster exploration of high level design alternatives using UML for better partitions. 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. 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.
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.
5. Chen R, Sgroi M, Martin G, Lavagno L, Vincentelli AS, Rabaey J (2002) Embedded system design using UML and platforms. 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.
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.
8. Gries M (2004) Methods for evaluating and covering the design space during early design development. Integr. VLSI J. 38: 131-183.
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.
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.
11. Larsen KG, Pettersson P, Yi W (1997) Uppaal in a nutshell. Int J Softw Tools Technol Transf (STTT) 1(1): 134-152.
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. 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.
16. Nascimento FA, Oliveira MFS, Wagner FR (2007) ModES: Embedded systems design methodology and tools based on MDE. 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.
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.
19. Oliveira MFS, Briao EW, Nascimento FA, Wagner FR (2007) Model driven engineering for MPSOC design space exploration. 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. 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. 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.
23. Reyneri LM, Cucinotta F, Serra A, Lavagno L (2001) A hardware/software co-design flow and IP library based on simulink. 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.
26. Scowen RS (1993) Extended BNF-a generic base standard. 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. 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.
29. Wehrmeister MA, Becker LB, WagnerFR, Pereira CE (2005) On object-oriented platform-based design process for embedded real-time Systems. Proceedings of IEEE international symposium on object-oriented real-time distributed computing (ISORC).
30. Weichsel PM (1962) The kronecker product of graphs. Proceedings of the American mathematical society 13(1).
31. Xie F, Levin V, Browne JC (2001) Model checking for an executable subset of UML. 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.