High-Level Models for Transformation- Oriented Design of Hardware and Embedded Systems

Abstract —Evolution of design methodologies follows a common trail: technology scaling leads to growing design complexity and rising abstraction level in the domain. Introduction of new (higher) abstraction levels emphasizes the importance of reuse and transformations. The design process can be seen as a sequence of high-level transformations from the higher-level specification to the lower-level one. We analyze high-level modeling and metaprogramming techniques for supporting transformations based on domain variability models. Next, we present a reuse evolution model for domain component design at a higher abstraction level to support the transformation-oriented approaches. Finally, high-level modeling techniques (UML-domain language metamodels for domain code generation, parameterized UML classes for template metaprogramming, feature models for explicit representation of variability) for specification of transformations and metaprograms are analyzed. Index Terms —design automation, transformation, hardware and embedded system design

[1]  Emile H. L. Aarts,et al.  IC design challenges for ambient intelligence , 2003, 2003 Design, Automation and Test in Europe Conference and Exhibition.

[2]  Axel Jantsch,et al.  A Metamodel for Studying Concepts in Electronic System Design , 2000, IEEE Des. Test Comput..

[3]  Martin Gogolla,et al.  Metamodel Transformation of Data Models , 2002 .

[4]  Bernd Steinbach,et al.  Model-Driven Compilation of UML-Models for Reconfigurable Architectures , 2004 .

[5]  Laurence Tratt,et al.  Model transformations and tool integration , 2005, Software & Systems Modeling.

[6]  Krzysztof Czarnecki,et al.  Classification of Model Transformation Approaches , 2003 .

[7]  Sandeep K. Shukla,et al.  Introspection in system-level language frameworks: meta-level vs. integrated , 2003, 2003 Design, Automation and Test in Europe Conference and Exhibition.

[8]  Kung-Kiu Lau,et al.  A taxonomy of software component models , 2005, 31st EUROMICRO Conference on Software Engineering and Advanced Applications.

[9]  Wolfgang Rosenstiel,et al.  SystemC: methodologies and applications , 2003 .

[10]  Pierre Bricaud,et al.  Reuse methodology manual for system-on-chip designs , 1998 .

[11]  E. Visser,et al.  Program Transformation Mechanics. A Classification of Mechanisms for Program Transformation with a Survey of Existing Transformation Systems , 2003 .

[12]  Jari Nurmi,et al.  A Flexible DSP Core for Embedded Systems , 1997, IEEE Des. Test Comput..

[13]  Bernhard Schätz,et al.  Model-Based Development of Embedded Systems , 2002, OOIS Workshops.

[14]  Robertas Damasevicius,et al.  Domain Ontology-Based Generative Component Design Using Feature Diagrams and Meta-programming Techniques , 2008, ECSA.

[15]  R. Damaševičius,et al.  On the Application of Meta-Design Techniques in Hardware Design Domain , 2008 .

[16]  G. Nordstrom,et al.  On metamodel composition , 2001, Proceedings of the 2001 IEEE International Conference on Control Applications (CCA'01) (Cat. No.01CH37204).

[17]  Stuart Kent,et al.  A Relational Approach to Defining Transformations in a Metamodel , 2002, UML.

[18]  Thomas A. Henzinger,et al.  INTERFACE-BASED DESIGN , 2005 .

[19]  Tsuneo Nakata,et al.  An object-oriented design process for system-on-chip using UML , 2002, 15th International Symposium on System Synthesis, 2002..

[20]  Gjalt G. de Jong.  A UML-Based Design Methodology for Real-Time and Embedded Systems , 2002, DATE.

[21]  Marco Sinnema,et al.  Model Driven Architecture as Approach to Manage Variability in Software Product Families , 2003 .

[22]  Miroslaw Staron,et al.  On model transformations in UML-Based Software Development Process , 2003 .

[23]  Frédérick SEYLER.  A Component Meta Model for Reused-Based System Engineering , 2002 .

[24]  Gabor Karsai,et al.  Composition and cloning in modeling and meta-modeling , 2004, IEEE Transactions on Control Systems Technology.

[25]  Robertas Damasevicius,et al.  Application of UML for hardware design based on design process model , 2004, ASP-DAC 2004: Asia and South Pacific Design Automation Conference 2004 (IEEE Cat. No.04EX753).

[26]  David Abrahams,et al.  C++ Template Metaprogramming: Concepts, Tools, and Techniques from Boost and Beyond (C++ In-Depth Series) , 2004 .

[27]  T. Mens,et al.  A Taxonomy of Model Transformations , 2004 .

[28]  Edward A. Lee,et al.  A framework for comparing models of computation , 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[29]  Alberto L. Sangiovanni-Vincentelli,et al.  Addressing the system-on-a-chip interconnect woes through communication-based design , 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).

[30]  Jernej Kovse.  Generic Model-to-Model Transformations in MDA: Why and How? , 2002 .

[31]  Axel Jantsch,et al.  Transformational System Design based on a Formal Computational Model and Skeletons , 2000 .

[32]  Robertas Damasevicius,et al.  Soft IP Customisation Model Based on Metaprogramming Techniques , 2004, Informatica.

[33]  Wolfgang Müller,et al.  Model-based design of embedded systems , 2004, Seventh IEEE International Symposium onObject-Oriented Real-Time Distributed Computing, 2004. Proceedings..

[34]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[35]  Robertas Damasevicius,et al.  Application of design patterns for hardware design , 2003, DAC '03.

[36]  Alberto L. Sangiovanni-Vincentelli,et al.  Platform-Based Design and Software Design Methodology for Embedded Systems , 2001, IEEE Des. Test Comput..

[37]  Tobias Hildenbrand,et al.  A Taxonomy of Metamodel Hierarchies , 2005 .

[38]  Andreas Gerstlauer,et al.  System-level abstraction semantics , 2002, 15th International Symposium on System Synthesis, 2002..

[39]  Martyn Edwards,et al.  UML for Hardware and Software Object Modeling , 2003, UML for Real.

[40]  Brian Bailey,et al.  Taxonomies for the Development and Verification of Digital Systems , 2010 .

[41]  Jean-Marc Jézéquel,et al.  Model-driven generative approach for concrete syntax composition , 2004, OOPSLA 2004.

[42]  M. Sgroi,et al.  The art and science of integrated systems design , 2002, Proceedings of the 28th European Solid-State Circuits Conference.

[43]  Oege de Moor,et al.  Generic Program Transformation , 1998, Advanced Functional Programming.

[44]  A. Hemani,et al.  Rugby : A Meta-Model to Study Concepts in Electronic System Design , 2000 .

[45]  D. Carver,et al.  Supporting rigorous evolution of UML models , 2004, Proceedings. Ninth IEEE International Conference on Engineering of Complex Computer Systems.

[46]  Luciano Lavagno,et al.  Uml for Real: Design Of Embedded Real-Time Systems , 2010 .

[47]  Luis Entrena,et al.  Automatic Generation of Fault Tolerant VHDL Designs in RTL , 2001 .

[48]  Tom Mens,et al.  A Taxonomy of Model Transformation , 2006, GRaMoT@GPCE.

[49]  Vytautas Štuikys,et al.  Metaprogramming techniques for designing embedded components for ambient intelligence , 2003 .

[50]  Vytautas Štuikys,et al.  Embedded program specialization for multiple criteria trade-offs , 2008 .

[51]  Grant Martin.  UML for embedded systems specification and design: motivation and overview , 2002, Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition.

[52]  Haeng-Kon Kim.  Applying Product Line to the Embedded Systems , 2006, ICCSA.

[53]  Barry W. Boehm,et al.  A spiral model of software development and enhancement , 1986, Computer.

[54]  Robertas Damasevicius,et al.  Wrapping of Soft IPs for Interface-based Design Using Heterogeneous Metaprogramming , 2003, Informatica.

[55]  Tim Sheard,et al.  Accomplishments and Research Challenges in Meta-programming , 2001, SAIG.

[56]  Gabor Karsai,et al.  Model Reuse with Metamodel-Based Transformations , 2002, ICSR.