Advertisement

Synthesized UML, a Practical Approach to Map UML to VHDL

  • Medard Rieder
  • Rico Steiner
  • Cathy Berthouzoz
  • Francois Corthay
  • Thomas Sterren
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3943)

Abstract

Embedded Systems are complex systems with limited resources such as reduced processor power or relatively small amounts of memory and so on. The real time aspect may also play an important role, but is definitely not a main consideration of this work. Complexity of recent embedded systems is growing as rapidly as the demand for such systems and only can be managed by the use of a model-driven design approach. Since modeling languages such as UML are semi-formal they allow the design of systems that can’t be implemented using formal languages such as C/C++ or VHDL. This paper intends to show how the gap between model and formal language can be bridged. First of all a set of rules restricts the use of model elements in a way that the model will become executable. Furthermore a unique mapping between UML and formal language elements enables automatic code generation. Formal verification at model level is an important consideration and becomes possible by the fact that rules restrict the application of model elements. UML to software (C/C++) and UML to hardware (VHDL) mapping form the base for a practical codesign approach where a part of the system is realized through software and another part trough hardware. Mapping of UML to programming languages is well known today and realized in many tools. Mapping of UML to hardware description languages is less known and not realized in tools. This paper documents an attempt to define a set of rules and to implement UML to VHDL mapping in a practical code generator. It also shows parts of a real world sample that was realized to verify usability and stability of rules and mapping. Finally, an outlook on further developments, improvement of the UML to VHDL mapping and a simple codesign process called 6qx will be given.

Keywords

Formal Verification State Chart Complex Demonstrator Automatic Code Generation Real World Sample 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Edwards, K.: Real Time Structured Methods. John Wiley & Sons, Chichester (1993)Google Scholar
  2. 2.
    Labrosse, J.J.: Embedded Systems Building Blocks. R&D Publications (1995)Google Scholar
  3. 3.
    Perry, D.L.: VHDL, 2nd edn. McGraw-Hill, New York (1994)Google Scholar
  4. 4.
    IEEE, IEE Standards VHSL Language Reference Manual, IEEE standard 1076-1987. IEEE Computer Society Press, Los Alamitos (1987)Google Scholar
  5. 5.
    Micheloud, M., Rieder, M.: Programmation orientée objets en C++. Presses polytechniques et universitaires Romandes (2003)Google Scholar
  6. 6.
    McUmber, Cheng: A general Framework for formalizing UML with Formal Languages. In: ICSE 2001 (2001)Google Scholar
  7. 7.
    McUmber, W.E., Cheng, B.H.: UML-based analysis of embedded systems using a mapping to VHDL. In: Proc. of IEEE High Assurance Software Engineering (HASE 1999), Washington, DC (November 1999)Google Scholar
  8. 8.
    Steiner, R.: Hardware & Software Co-Design, Diploma Thesis, HEVs (2004)Google Scholar
  9. 9.
  10. 10.
    Douglass, B.P.: Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems. Addison-Wesley, Reading (2004)Google Scholar
  11. 11.
    Douglass, B.P.: Doing Hard Time: Developing Real-Time Systems with UML, Objects, Frameworks and Patterns. Addison-Wesley, Reading (1999)Google Scholar
  12. 12.
    Jones, S., Naylor, D.: VHDL, a logic synthesis approach. Chapman & Hall, London (1995)Google Scholar
  13. 13.
    Rajan: Essentials VHDL, RTL synthesis done right, USE (June 1998)Google Scholar
  14. 14.
    Rieder, M.: A simple and complete Process for embedded Systems Development. In: Proceeding embedded world conference 2005, pp. 876–885 (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Medard Rieder
    • 1
  • Rico Steiner
    • 1
  • Cathy Berthouzoz
    • 1
  • Francois Corthay
    • 1
  • Thomas Sterren
    • 1
  1. 1.Infotronics Unit (www.infotronics.ch)University of applied Sciences Valais (www. hevs.ch)SionSwitzerland

Personalised recommendations