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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
Object Management Group, Inc., ed.: UML 2 Infrastructure (Final Adopted Specifcation), http://www.omg.org/cgi-bin/doc?ptc/2003-09-15 (2003)
Object Management Group, Inc., ed.: UML 2 Superstructure (Available Specification), http://www.omg.org/cgi-bin/doc?ptc/2004-10-02 (2004)
Object Management Group, Inc., ed.: UML 2 Diagram Interchange (final adopted specification), http://www.omg.org/cgi-bin/doc?ptc/2003-09-01 (2003)
Object Management Group, Inc., ed.: UML 2 OCL (Final Adopted specification), http://www.omg.org/cgi-bin/doc?ptc/2003-10-14 (2003)
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)
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)
Object Management Group, Inc., ed.: UML Extension Profile for SoC RFC, http://www.omg.org/cgi-bin/doc?realtime/2005-03-01 (2005)
Object Management Group, Inc., ed.: SysML v0.9, http://www.omg.org/cgi-bin/doc?ad/05-01-03 (2005)
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)
D.A., L.: Access and alignment of data in an array processor. IEEE Trans. Comput. C-24, 1145–1155 (1975)
Dekeyser, J.L.: Model driven co-design for system on chip. In: MDE for Embedded System Summer School, Brest, France (2004)
Laboratoire d’informatique fondamentale de Lille: Gaspard home page, http://www.lifl.fr/west/gaspard/ (2005)
Dumoulin, C.: ModTransf: A model to model transformation engine (2004), http://www.lifl.fr/west/modtransf
The Caroll Research Programme: (2005), http://www.carroll-research.org/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)