UML for electronic systems design: A comprehensive overview

Design Automation for Embedded Systems

Volumn 12, Issue 4, 2008, Pages 261-292

  Vanderperren, Yves ^a   Mueller, Wolfgang ^b   Dehaene, Wim ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

^b UNIVERSITY OF PADERBORN   (Germany)

Author keywords

Model based design; Modelling languages; SysML; System specification; UML

Indexed keywords

APPLICATION SPECIFIC INTEGRATED CIRCUITS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; DESIGN; ELECTRONICS ENGINEERING; EMBEDDED SYSTEMS; FIGHTER AIRCRAFT; FISCHER-TROPSCH SYNTHESIS; INTEGRATED CIRCUITS; LINGUISTICS; MATLAB; MICROPROCESSOR CHIPS; PROGRAMMABLE LOGIC CONTROLLERS; QUERY LANGUAGES; SEMICONDUCTOR DEVICE MODELS; SPECIFICATION LANGUAGES; SPECIFICATIONS; SYSTEMS ANALYSIS;

MODEL-BASED DESIGN; MODELLING LANGUAGES; SYSML; SYSTEM SPECIFICATION; UML;

UNIFIED MODELING LANGUAGE;

EID: 57349111974     PISSN: 09295585     EISSN: 15728080     Source Type: Journal    
DOI: 10.1007/s10617-008-9028-9     Document Type: Article

References (79)

1. Ahmed W, Myers D (2006) Faster exploration of high level design alternatives using UML for better partitions. In: Proc design, automation and test in Europe (DATE) conf
2. Akehurst D et al (2007) Compiling UML state diagrams into VHDL: an experiment in using model driven development. In: Proc forum specification & design languages (FDL)
3. Artisan SW. From UML to SystemC-model driven development for SoC. Webinar, http://www.artisansw.com
4. AUTOSAR-Automotive System Architecture http://www.autosar.org
5. Axilica FalconML. http://www.axilica.com
6. Bahill A, Gissing B (1998) Re-evaluating systems engineering concepts using systems thinking. IEEE Trans Syst Man Cybern C, 516-527
7. Baresi L et al. (2003) SystemC code generation from UML models. Springer, Berlin
8. Basu AS et al (2005) A methodology for bridging the gap between UML & codesign. In: UML for SoC Design. Springer, Berlin
9. Bell A (2004) Death by UML fever. ACM Queue 2(1)
10. Björklund D, Lilius J (2002) From UML behavioral descriptions to efficient synthesizable VHDL. In: 20th IEEE NORCHIP conf
11. Blechar M (2006) Magic quadrant for OOA&D tools (2H06 to 1H07). Technical report, Gartner Research Report G00140111
12. Bocchio S, Riccobene E, Rosti A, Scandurra P (2005) A SoC design flow based on UML 2.0 and SystemC. In: Proc 2nd UML-SoC workshop at 42nd DAC conf
13. B Boehm 1988 A spiral model of software development and enhancement IEEE Comput 21 5 61 72
14. R Boudour M Kimour 2006 From design specification to SystemC J Comput Sci 2 201 204
15. CATS XModelink. http://www.zipc.com/english/product/xmodelink/index.html
16. Cockburn A (2000) Writing effective use cases. Addison-Wesley, Reading
17. A Cockburn 2002 Use cases, ten years later STQe 4 2 1 9
18. Coyle F, Thornton M (2005) From UML to HDL: a model driven architectural approach to hardware-software co-design. In: Proc information syst: new generations conf (ISNG)
19. Damasevicius R, Stuikys V (2004) Application of UML for hardware design based on design process model. In: Proc Asia and South Pacific Design Automation Conf (ASP-DAC)
20. Douglass B (2004) Real time UML. Addison-Wesley, Reading
21. dSPACE. http://www.dspace.com
22. Electronics Weekly & Celoxica (2005) Survey of system design trends. Technical report
23. Extessy. http://www.extessy.com
24. Forsberg K, Mooz H (1995) Application of the vee to incremental and evolutionary development. In: Proc 5th annual int symp national council on systems engineering
25. Fujitsu 2002 New SoC design methodology based on UML and C programming languages FIND 20 4 3 6
26. Goering R (2005) Tools missing as ESL rolls. EE Times
27. Goering R (2006) System-level design language arrives. EE Times
28. D Grell 2003 Rad am Draht, Innovationslawine in der Autotechnik c't 14 170 183
29. Grötker T, Liao S, Martin G, Swan S (2002) System design with systemC. Springer, Berlin
30. D Harel 1987 Statecharts: a visual formalism for complex systems Sci Comput Program 8 3 231 274
31. Hooman J et al (2004) Coupling simulink and UML models. In: Proc symp FORMS/FORMATS
32. International Council on Systems Engineering. http://www.incose.org
33. ITU-T study group 17-Languages for telecommunication systems (2002) ITU-T recommendation Z. 100: specification and description language (SDL). Technical report
34. JEITA (2000) LSI Biwako Workshop paper. JEITA System Level Design Study Group
35. T Katayama 2005 Extraction of transformation rules from UML diagrams to SpecC IEICE Trans Inf Syst 88 6 1126 1133
36. Kruchten P (2003) The rational unified process: an introduction. Addison-Wesley, Reading
37. Kumaraswamy A, Mulvaney D (2005) A Novel EDA flow for SoC designs based on specification capture. In: Proc ESC division mini-conference
38. Laemmermann S et al (2006) Automatic generation of verification properties for SoC design from SysML diagrams. In: Proc 3rd UML-SoC workshop at 44th DAC conf
39. Lilly S (1999) Use case pitfalls: top 10 problems from real projects using use cases. In: Proc technology of object-oriented languages and systems (TOOLS), pp 174-183
40. Martin G, Mueller W (eds) (2005) UML for SoC design. Springer, Berlin
41. McGrath D (2005) Unified modeling language gaining traction for SoC design. EE Times
42. McUmber W, Cheng B (1999) UML-based analysis of embedded systems using a mapping to VHDL. In: Proc 4th IEEE int symp high-assurance systems engineering
43. Mellor S (2005) Keynote talk: the gap between specification and synthesis. In: Proc forum on specification and design languages (FDL)
44. Mellor S, Balcer M (2002) Executable UML: a foundation for model-driven architecture. Addison-Wesley, Reading
45. Nguyen K et al (2004) Model-driven SoC design via executable UML to SystemC. In: Proc 25th IEEE int. real-time systems symposium (RTSS)
46. OMG. OMG systems modeling language specification
47. OMG (2004) UML 2.0 testing profile specification v2.0
48. OMG (2004) UML profile for modeling QoS and fault tolerance characteristics and mechanisms
49. OMG (2005) UML profile for schedulability, performance, and time (SPT) specification v1.1
50. OMG (2006) Object constraint language specification v2.0
51. OMG (2006) UML profile for system on a chip (SoC) specification v1.0.1
52. OMG (2007) A UML profile for MARTE Beta 1
53. OMG (2007) UML v2.1.1 infrastructure specification
54. OMG (2007) UML v2.1.1 superstructure specification
55. Open SoC Design Platform for Reuse and Integration of IPs (SPRINT). Project http://www.sprint-project.net
56. Pauwels M et al. (2003) 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 and design languages. Springer, Berlin, pp 129-141
57. Ramanan M (2006) SoC, UML and MDA-an investigation. In: Proc 3rd UML-SoC workshop at 43rd DAC conf
58. Raslan W et al (2007) Mapping SysML to SystemC. In: Proc forum spec design lang (FDL)
59. Reichmann C, Gebauer D, Müller-Glaser K (2004) Model level coupling of heterogeneous embedded systems. In: Proc 2nd RTAS workshop on model-driven embedded systems
60. Riccobene E, Rosti A, Scandurra P (2004) Improving SoC design flow by means of MDA and UML profiles. In: Proc 3rd workshop in software model engineering
61. Royce W (1970) Managing the development of large software systems: concepts and techniques. In: Proc of IEEE WESCON
62. X-Y Shen J Chen 2006 A homomorphic mapping based algorithm to generate synthesizable verilog from UML Comput Sci 33 4 247 249
63. Spirit Consortium. http://www.spiritconsortium.org
64. T Kangas 2006 UML-based multiprocessor SoC design framework ACM Trans Embed Comput Syst (TECS) 5 2 281 320
65. Tan W, Thiagarajan P, Wong W, Zhu Y (2004) Synthesizable SystemC code from UML models. In: Proc 1st UML for SoC workshop at 41st DAC conf
66. The Mathworks (2007) Model-based design for embedded signal processing with simulink
67. Thompson H et al (2004) A flexible environment for rapid prototyping and analysis of distributed real-tme safety-critical systems. In: Proc ARTISAN real-time users conf
68. Thomson R, Chouliaras V, Mulvaney D (2007) From UML to structural hardware designs. In: Proc 4th UML-SoC workshop at 44th DAC conf
69. UML-SoC Workshop Website. http://www.c-lab.de/uml-soc
70. UML2 Eclipse Project. http://www.eclipse.org
71. Vanderperren Y (2005) Keynote talk: SysML and systems engineering applied to UML-based SoC design. In: Proc 2nd UML-SoC workshop at 42nd DAC conf
72. Vanderperren Y, Dehaene W (2006) From UML/SysML to Matlab/Simulink: current state and future perspectives. In: Proc design automation and test in Europe (DATE) conf
73. Vanderperren Y, Wolfe J (2006) UML-SoC design survey. Available at http://www.c-lab.de/uml-soc
74. Vanderperren Y, Pauwels M, Dehaene W, Berna A, Özdemir F (2003) A SystemC based system-on-chip modelling and design methodology. In: SystemC: methodologies and applications. Springer, Berlin, pp 1-27
75. Vanderperren Y, Wolfe J, Douglass BP (2007) UML-SoC design survey. Available at http://www.c-lab.de/uml-soc
76. Viehl A et al (2006) Formal performance analysis and simulation of UML/SysML models for ESL design. In: Proc design, automation and test in Europe (DATE) conf
77. Wu YF, Xu Y (2007) Model-driven SoC/SoPC design via UML to impulse C. In: Proc 4th UML-SoC design workshop at 44th DAC conf
78. Zhu Q, Oishi R, Hasegawa T, Nakata T (2005) Integrating UML into SoC design process. In: Proc design, automation and test in Europe (DATE) conf
79. Zhu Y et al (2005) Using UML 2.0 for system level design of real time SoC platforms for stream processing. In: Proc IEEE int conf embedded real-time comp syst & applic (RTCSA)