A Model-Based Approach for Executable Specifications on Reconfigurable Hardware

• Published in: Design, Automation and Test in Europe pp. 692 - 697
• Main Authors: Schattkowsky, Tim, Mueller, Wolfgang, Rettberg, Achim
• Format: Conference Proceeding
• Language: English
• Published: Washington, DC, USA IEEE Computer Society 07.03.2005; IEEE
• Series: ACM Conferences
• Subjects: Computer systems organization > Architectures > Other architectures > Reconfigurable computing; Computer systems organization > Architectures > Other architectures > Self-organizing autonomic computing; Documentation; Embedded software; Field programmable gate arrays; Hardware; Hardware > Electronic design automation > Modeling and parameter extraction; Hardware > Very large scale integration design > Application-specific VLSI designs; Java; Microcontrollers; Object oriented modeling; Real time systems; Software and its engineering > Software notations and tools > Compilers > Source code generation; Software and its engineering > Software notations and tools > General programming languages > Language types; Unified modeling language; Virtual machining
• ISBN: 9780769522883; 0769522882
• ISSN: 1530-1591; 1558-1101
• DOI: 10.1109/DATE.2005.20

UML 2.0 provides a rich set of diagrams for systems documentation and specification. Many efforts have been undertaken to employ different aspects of UML for multiple domains, mainly in the area of software systems. Considering the area of electronic design automation, however, we currently see only very few approaches, which investigate UML for hardware design and hardware/software co-design. In this article, we present an approach for executable UML closing the gap from system specification to its model-based execution on reconfigurable hardware. For this purpose, we present our Abstract Execution Platform (AEP), which is based on a Virtual Machine running an executable UML subset for embedded software and reconfigurable hardware. This subset combines UML 2.0 Class, StateMachine and Sequence Diagrams for complete system specification. We describe how these binary encoded UML specifications can be directly executed and give the implementation of such a virtual machine on a Virtex II FPGA. Finally, we present evaluation results comparing the AEP implementation with C code on a C167 microcontroller.