Embedded UML: a merger of real-time UML and co-design

In this paper, we present a proposal for a UML profile called 'Embedded UML'. Embedded UML represents a synthesis of various ideas in the real-time UML community, and concepts drawn from the Hardware-Software co-design field. Embedded UML first selects from among the competing real-time UML proposals, the set of ideas which best allow specification and analysis of mixed HW-SW systems. It then adds the necessary concept of underlying deployment architecture that UML currently lacks in complete form, using the notion of an embedded HW-SW 'platform'. It supplements this with the concept of a 'mapping', which is a platform-dependent refinement mechanism that allows efficient generation of an optimised implementation of the executable specification in both HW and SW. Finally, it provides an approach which supports the development of automated analysis, simulation, synthesis and code generation tool capabilities which can be provided for design usage even while the embedded UML standardisation process takes place.

[1]  Luciano Lavagno,et al.  Task generation and compile-time scheduling for mixed data-control embedded software , 2000, Proceedings 37th Design Automation Conference.

[2]  Luciano Lavagno,et al.  Hardware-software co-design of embedded systems: the POLIS approach , 1997 .

[3]  Alberto L. Sangiovanni-Vincentelli,et al.  System design: traditional concepts and new paradigms , 1999, Proceedings 1999 IEEE International Conference on Computer Design: VLSI in Computers and Processors (Cat. No.99CB37040).

[4]  Daniel D. Gajski,et al.  SPECC: Specification Language and Methodology , 2000 .

[5]  M. Bjorkander.  Graphical programming using UML and SDL , 2000 .

[6]  Grant Martin.  Productivity in VC Reuse: Linking Soc Platforms to Abstract Systems Design Methodology , 2001 .

[7]  Bran Selic.  Turning clockwise: using UML in the real-time domain , 1999, CACM.

[8]  Bran Selic,et al.  Using UML for Modeling Complex Real-Time Systems , 1998, LCTES.

[9]  Bruce P. Douglass,et al.  Doing hard time: developing real-time systems with uml , 1999 .

[10]  Bran Selic,et al.  Real-time object-oriented modeling , 1994, Wiley professional computing.

[11]  Stephen A. Edwards.  Compiling Esterel into sequential code , 2000, DAC.

[12]  Douglas C. Schmidt,et al.  Active object: an object behavioral pattern for concurrent programming , 1996 .

[13]  Bran Selic,et al.  A Generic Framework for Modeling Resources with UML , 2000, Computer.

[14]  Grant Martin,et al.  Surviving the SOC Revolution: A Guide to Platform-Based Design , 1999 .

[15]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[16]  Morgan Björkander.  Graphical Programming Using UML and SDL , 2000, Computer.

[17]  Luciano Lavagno,et al.  Hardware-Software Co-Design of Embedded Systems , 1997 .

[18]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[19]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[20]  Edward A. Lee,et al.  Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing , 1989, IEEE Transactions on Computers.