Skip to main content

A UML Profile for Asynchronous Hardware Design

  • Conference paper
  • 919 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 4017))

Abstract

In this work we present UML for Hardware Design (UML-HD), a UML profile suitable for Asynchronous Hardware Design and an approach for automatically generating a Hardware Description Language (HDL) model from UML-HD models. A UML-HD model comprises solely class diagrams and an action language. We use stereotypes in two categories – structure and activity – to categorise classes. Structure type stereotypes signify state and activity type signify transitions. The approach is largely inspired by Petri nets. Several model transformations are suggested in this paper, but only code generation to Haste was implemented.

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

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. McUmber, W.E., Cheng, B.H.C.: UML-Based Analysis of Embedded Systems using a Mapping to VHDL. In: High Assurance Software Engineering. IEEE, Los Alamitos (1999)

    Google Scholar 

  2. Peeters, A., de Wit, M.: Handshake Solutions, High Tech Campus Eindhoven. Haste Manual, The Netherlands (2005)

    Google Scholar 

  3. Hoare, C.A.R.: Communicating Sequential Processes 1985–2004

    Google Scholar 

  4. Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)

    MATH  Google Scholar 

  5. Becker, U., Moldt, D.: University of Hamburg Fachbereich Informatik: Object-Oriented Concepts for Coloured Petri Nets. In: Conference Proceedings, IEEE International Conference on Systems, Man and Cybernetics (October 1993)

    Google Scholar 

  6. Christensen, L.M., Christensen, S., Jensen, K.: University of Aarhus, Denmark: The practitioner’s guide to coloured Petri nets. International Journal on Software Tools for Technology Transfer, 98–132 (1998)

    Google Scholar 

  7. Marchetti, M., Oliver, I.: Towards a Conceptual Framework for UML to Hardware Description Language Mappings. In: UML-B Specification for Proven Embedded Systems Design. Kluwer, Dordrecht (2003)

    Google Scholar 

  8. Diaz-Herrera, J.: An isomorphic mapping to SpecC in UML. In: Proceedings of OMER-2: Workshop on Object-oriented Modeling of Embedded Real-Time Systems (May 2001)

    Google Scholar 

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

    MATH  Google Scholar 

  10. Awad, M., Kuusela, J., Ziegler, J.: Object-Oriented Technology for Real-Time Systems. A Practical Approach Using OMT and Fusion. Prentice-Hall, Englewood Cliffs (1996)

    Google Scholar 

  11. Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object Oriented Modelling. Wiley, Chichester (1994)

    Google Scholar 

  12. Lilius, J., Lillqvist, T., Lundkvist, T., Oliver, I., Porres, I., Sandstrom, K., Sveholm, G., Zaka1, A.P.: An Architecture Exploration Environment for System on Chip Design. Nordic Journal of Computing (2006)

    Google Scholar 

  13. Object Management Group, UML 2.0 Super Structure Specification, OMG ptc/03-08-02 (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sandström, K., Oliver, I. (2006). A UML Profile for Asynchronous Hardware Design. In: Vassiliadis, S., Wong, S., Hämäläinen, T.D. (eds) Embedded Computer Systems: Architectures, Modeling, and Simulation. SAMOS 2006. Lecture Notes in Computer Science, vol 4017. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11796435_4

Download citation

  • DOI: https://doi.org/10.1007/11796435_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-36410-8

  • Online ISBN: 978-3-540-36411-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics