Article

UML for ESL design: basic principles, tools, and applications

Authors:

Y. VanderperrenAuthors Info & Claims

ICCAD '06: Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design

Pages 73 - 80

https://doi.org/10.1145/1233501.1233518

Published: 05 November 2006 Publication History

Abstract

This paper starts with a brief introduction to the UML 2.0 and application-specific UML customizations via profiles. After a discussion of UML design tools with focus on EDA support, we present a HW/SW co-design approach and demonstrate how HW architectures are described together with application SW in a unique UML based environment. Using a dedicated profile providing support for SystemC in UML, and a SystemC wrapper for the SimIt instruction set simulator of a StrongARM, an executable model of the complete architecture is generated which can be simulated by the SystemC kernel. The physical layer of an 802.11a system is used as an application example.

References

[1]

Basu, A., Lajolo, M., Prevostini, M. A Methodology for Bridging the Gap between UML and Codesign. In {7}.

[2]

Blechar, M. J. Magic Quadrant for OOA&D Tools (2H06 to 1H07). Gartner Research Report G00140111. May 2006.

[3]

Bruschi, F. et al. A SystemC based Design Flow starting from UML Models. In {32}.

[4]

Coppola, M., Curaba, S., Grammatikakis, M. D., Maruccia G., Papariello, F. OCCN: A Network-On-Chip Modeling and Simulation Framework. In Proc. of DATE'04, Munich, 2004.

Digital Library

[5]

Harel, D. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming 8. 1987.

Digital Library

[6]

Lavagno, L., Martin, G., Selic, B. (eds) UML for Real: Design of Embedded Real-Time Systems. Kluwer, Dordrecht, 2003.

Digital Library

[7]

Martin, G. and Mueller, W. (eds) UML for SoC Design. Springer, Dordrecht, 2005.

Digital Library

[8]

Mellor, S. and Balcer, M. Executable UML - A Foundation for Model-Driven Architecture. Addison-Wesley, 2003.

Digital Library

[9]

Mellor, S., Wolfe, J., McCausland, C. Why Systems-on-Chip needs More UML like a Hole in the Head. In {7}.

[10]

Object Management Group (OMG). XML Metadata Interchange (XMI) Specification, Version 2.0. formal/03-05-02, May 2003.

[11]

Object Management Group (OMG). Meta Object Facility (MOF) Core Specification.Version 2.0. formal/06-01-01, January 2006.

[12]

Object Management Group (OMG). OMG Systems Modeling Language (OMG SysML) Specification. ptc/06-05-04, June 2006.

[13]

Object Management Group (OMG). UML 2.0 OCL Specification. ptc/03-10-14, October 2003.

[14]

Object Management Group (OMG). UML 2.0 Superstructure. ptc/05-07-04, August 2005.

[15]

Object Management Group (OMG). UML Profile for Modeling QoS and Fault Tolerance Characteristics and Mechanisms, V 1.0. formal/06-05-02, May 2006.

[16]

Object Management Group (OMG). UML Profile for Schedulability, Performance, and Time Specification, V1.0. formal/03-09-01, September 2003.

[17]

Object Management Group (OMG). UML Profile for System on a Chip (SoC) Specification V1.0. formal/06-06-01, June 2006.

[18]

Object Management Group (OMG). UML Testing Profile, V1.0. formal/05-07-07, July 2005.

[19]

OCCN Project. occn.sourceforge.net

[20]

The Open SystemC Initiative. www.systemc.org

[21]

Ramanan, M. SoC, UML & MDA - An Investigation. In Proc. of the 3^rd DAC UML for SoC Design Workshop, San Francisco, July 2006.

[22]

Rational Software. SoC Design with UML and SystemC. 6^th European SystemC Users Group Meeting (ESCUG), 2002.

[23]

Riccobene, E., Scandurra, P., Rosti, A., Bocchio, S. A SoC Design Methodology Based on a UML 2.0 Profile for SystemC. In Proc. of DATE'05, Munich, 2005.

Digital Library

[24]

Samek, M. UML Statecharts at $10.99. In Dr. Dobb's Portal, May 2006.

[25]

SimIt-ARM Project. simit-arm.sourceforge.net

[26]

Spirit Consortium. www.spiritconsortium.org

[27]

SPRINT Project. www.sprint-project.net

[28]

UML-SoC Workshop at DAC. www.c-lab.de/uml-soc

[29]

Vanderperren, Y. and Dehaene, W. From UML/SysML to Matlab/Simulink: Current State and Future Perspectives. In Proc. of DATE'06, Munich, 2006.

Digital Library

[30]

Vanderperren, Y. and Wolfe, J. Survey of 3^rd DAC UML for SoC Design Workshop. www.c-lab.de/uml-soc.

[31]

Vanderperren, Y. et al. A Design Methodology For The Development Of A Complex System-On-Chip Using UML And Executable System Models. In {32}.

[32]

Villar, E. and Mermet, J. P. (eds.) System Specification & Design Languages. Springer, Dordrecht, 2003.

Digital Library

Cited By

Goli MStoppe JDrechsler R(2020)Automated Nonintrusive Analysis of Electronic System Level DesignsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2018.288966539:2(492-505)Online publication date: Feb-2020
https://doi.org/10.1109/TCAD.2018.2889665
Goli MStoppe JDrechsler R(2017)Automatic equivalence checking for SystemC-TLM 2.0 models against their formal specificationsProceedings of the Conference on Design, Automation & Test in Europe10.5555/3130379.3130531(630-633)Online publication date: 27-Mar-2017
https://dl.acm.org/doi/10.5555/3130379.3130531
Goli MStoppe JDrechsler R(2017)Automatic equivalence checking for SystemC-TLM 2.0 models against their formal specificationsDesign, Automation & Test in Europe Conference & Exhibition (DATE), 201710.23919/DATE.2017.7927064(630-633)Online publication date: Mar-2017
https://doi.org/10.23919/DATE.2017.7927064
Show More Cited By

Index Terms

UML for ESL design: basic principles, tools, and applications
1. Computing methodologies
  1. Modeling and simulation
    1. Model development and analysis

Recommendations

UML and model-driven development for SoC design
CODES+ISSS '06: Proceedings of the 4th international conference on Hardware/software codesign and system synthesis

UML (Unified Modeling Language™) as an OMG standard has received wide acceptance in software engineering over the last years. As electronic systems design moved towards software engineering, there is emerging interest for UML within the hardware ...
SystemC/C-based model-driven design for embedded systems

This article summarizes our effort, since 2004 up to the present time, for improving the current industrial Systems-on-Chip and Embedded Systems design by joining the capabilities of the unified modeling language (UML) and SystemC/C programming ...
Domain-specific language modelling with UML profiles by decoupling abstract and concrete syntaxes

UML profiling presents some acknowledged deficiencies, among which the lack of expressiveness of the profiled notations, together with the high coupling between abstract and concrete syntaxes outstand. These deficiencies may cause distress among UML-...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

ICCAD '06: Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design

November 2006

147 pages

ISBN:1595933891

DOI:10.1145/1233501

General Chair:
Soha Hassoun
Tufts Univ., Medford, MA

Copyright © 2006 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGDA: ACM Special Interest Group on Design Automation
IEEE-CAS: Circuits & Systems
IEEE-CS: Computer Society

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 05 November 2006

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ICCAD06

Sponsor:

SIGDA
IEEE-CAS
IEEE-CS

ICCAD06: The International Conference on Computer-Aided Design 2006

November 5 - 9, 2006

California, San Jose

Acceptance Rates

Overall Acceptance Rate 457 of 1,762 submissions, 26%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

14
Total Citations
View Citations
1,088
Total Downloads

Downloads (Last 12 months)4
Downloads (Last 6 weeks)1

Reflects downloads up to 08 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Goli MStoppe JDrechsler R(2020)Automated Nonintrusive Analysis of Electronic System Level DesignsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2018.288966539:2(492-505)Online publication date: Feb-2020
https://doi.org/10.1109/TCAD.2018.2889665
Goli MStoppe JDrechsler R(2017)Automatic equivalence checking for SystemC-TLM 2.0 models against their formal specificationsProceedings of the Conference on Design, Automation & Test in Europe10.5555/3130379.3130531(630-633)Online publication date: 27-Mar-2017
https://dl.acm.org/doi/10.5555/3130379.3130531
Goli MStoppe JDrechsler R(2017)Automatic equivalence checking for SystemC-TLM 2.0 models against their formal specificationsDesign, Automation & Test in Europe Conference & Exhibition (DATE), 201710.23919/DATE.2017.7927064(630-633)Online publication date: Mar-2017
https://doi.org/10.23919/DATE.2017.7927064
Zhang JSchirner GFettweis GNebel W(2014)Automatic specification granularity tuning for design space explorationProceedings of the conference on Design, Automation & Test in Europe10.5555/2616606.2616869(1-6)Online publication date: 24-Mar-2014
https://dl.acm.org/doi/10.5555/2616606.2616869
Bombino MScandurra P(2013)A model-driven co-simulation environment for heterogeneous systemsInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-012-0230-515:4(363-374)Online publication date: 1-Aug-2013
https://dl.acm.org/doi/10.1007/s10009-012-0230-5
Nascimento FOliveira MWagner F(2012)A model-driven engineering framework for embedded systems designInnovations in Systems and Software Engineering10.1007/s11334-011-0175-y8:1(19-33)Online publication date: 1-Mar-2012
https://dl.acm.org/doi/10.1007/s11334-011-0175-y
Chen MQin XKoo HMishra PChen MQin XKoo HMishra P(2012)Modeling and Specification of SoC DesignsSystem-Level Validation10.1007/978-1-4614-1359-2_2(19-42)Online publication date: 25-Sep-2012
https://doi.org/10.1007/978-1-4614-1359-2_2
Balderas-Contreras TRodriguez-Gomez GCumplido R(2011)On Model-Driven Engineering of Reconfigurable Digital Control Hardware SystemsReconfigurable Embedded Control Systems10.4018/978-1-60960-086-0.ch008(190-208)Online publication date: 2011
https://doi.org/10.4018/978-1-60960-086-0.ch008
Silva-Filho ACordeiro FAraújo CSarmento AGomes MBarros ELima M(2011)An ESL approach for energy consumption analysis of cache memories in SoC platformsInternational Journal of Reconfigurable Computing10.1155/2011/2194972011(1-12)Online publication date: 1-Jan-2011
https://dl.acm.org/doi/10.1155/2011/219497
Mercado RCao ZRover D(2010)Mixture models for system-level communication analysis at higher levels of abstraction2010 IEEE International Conference on Electro/Information Technology10.1109/EIT.2010.5612101(1-6)Online publication date: May-2010
https://doi.org/10.1109/EIT.2010.5612101
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten