Skip to main content

Towards UML 2 Extensions for Compact Modeling of Regular Complex Topologies

  • Conference paper
Model Driven Engineering Languages and Systems (MODELS 2005)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 3713))

  • 1614 Accesses

Abstract

The MARTE RFP (Modeling and Analysis of Real-Time and Embedded systems) was issued by the OMG in February 2005. This request for proposals solicits submissions for a UML profile that adds capabilities for modeling Real Time and Embedded Systems (RTES), and for analyzing schedulability and performance properties of UML specifications. One of the particular request of this RFP concerns the definition of common high-level modeling constructs for factorizing repetitive structures, for software, hardware and allocation modeling of RTES. We propose an answer to this particular requirement, based on the introduction of multi-dimensional multiplicities and mechanisms for the description of regular connection patterns between model elements. This proposition is domain independent. We illustrate the use of these mechanisms in an intensive computation embedded system co-design methodology. We focus on what these factorization mechanisms can bring for each of the aspects of the co-design: application, hardware architecture, and allocation.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Object Management Group, Inc., ed.: UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) RFP, http://www.omg.org/cgi-bin/doc?realtime/2005-02-06 (2005)

  2. Object Management Group, Inc., ed.: UML 2 Infrastructure (Final Adopted Specifcation), http://www.omg.org/cgi-bin/doc?ptc/2003-09-15 (2003)

  3. Object Management Group, Inc., ed.: UML 2 Superstructure (Available Specification), http://www.omg.org/cgi-bin/doc?ptc/2004-10-02 (2004)

  4. Object Management Group, Inc., ed.: UML 2 Diagram Interchange (final adopted specification), http://www.omg.org/cgi-bin/doc?ptc/2003-09-01 (2003)

  5. Object Management Group, Inc., ed.: UML 2 OCL (Final Adopted specification), http://www.omg.org/cgi-bin/doc?ptc/2003-10-14 (2003)

  6. Object Management Group, Inc., ed.: UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms, http://www.omg.org/cgi-bin/doc?ptc/2004-09-01 (2004)

  7. Object Management Group, Inc., ed.: (UML) Profile for Schedulability, Performance, and Time Version 1.1, http://www.omg.org/technology/documents/formal/schedulability.htm (2005)

  8. Object Management Group, Inc., ed.: UML Extension Profile for SoC RFC, http://www.omg.org/cgi-bin/doc?realtime/2005-03-01 (2005)

  9. Object Management Group, Inc., ed.: SysML v0.9, http://www.omg.org/cgi-bin/doc?ad/05-01-03 (2005)

  10. Demeure, A., Lafage, A., Boutillon, E., Rozzonelli, D., Dufourd, J.C., Marro, J.L.: Array-OL: Proposition d’un formalisme tableau pour le traitement de signal multidimensionnel. In: Gretsi, Juan-Les-Pins, France (1995)

    Google Scholar 

  11. D.A., L.: Access and alignment of data in an array processor. IEEE Trans. Comput. C-24, 1145–1155 (1975)

    Google Scholar 

  12. Dekeyser, J.L.: Model driven co-design for system on chip. In: MDE for Embedded System Summer School, Brest, France (2004)

    Google Scholar 

  13. Laboratoire d’informatique fondamentale de Lille: Gaspard home page, http://www.lifl.fr/west/gaspard/ (2005)

  14. Dumoulin, C.: ModTransf: A model to model transformation engine (2004), http://www.lifl.fr/west/modtransf

  15. The Caroll Research Programme: (2005), http://www.carroll-research.org/

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cuccuru, A., Dekeyser, JL., Marquet, P., Boulet, P. (2005). Towards UML 2 Extensions for Compact Modeling of Regular Complex Topologies. In: Briand, L., Williams, C. (eds) Model Driven Engineering Languages and Systems. MODELS 2005. Lecture Notes in Computer Science, vol 3713. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11557432_34

Download citation

  • DOI: https://doi.org/10.1007/11557432_34

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-29010-0

  • Online ISBN: 978-3-540-32057-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics