A UML Profile for Asynchronous Hardware Design

  • Kim Sandström
  • Ian Oliver
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4017)


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.


Model Transformation Structure Class Class Diagram Composite Statement Object Management Group 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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. 2.
    Peeters, A., de Wit, M.: Handshake Solutions, High Tech Campus Eindhoven. Haste Manual, The Netherlands (2005)Google Scholar
  3. 3.
    Hoare, C.A.R.: Communicating Sequential Processes 1985–2004Google Scholar
  4. 4.
    Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)zbMATHGoogle Scholar
  5. 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. 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. 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. 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. 9.
    Lavagno, L., Martin, G., Selic, B.: UML for Real - Design of Embedded Real-Time Systems. Kluwer Academic Publishers, Dordrecht (2003)zbMATHGoogle Scholar
  10. 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. 11.
    Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object Oriented Modelling. Wiley, Chichester (1994)Google Scholar
  12. 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. 13.
    Object Management Group, UML 2.0 Super Structure Specification, OMG ptc/03-08-02 (2002)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Kim Sandström
    • 1
  • Ian Oliver
    • 1
  1. 1.Nokia Research CenterFinland

Personalised recommendations