Abstract
UML and specialized profiles, such as MARTE, are established specification and modeling procedures in the system development process. While language-based system specification and resource modeling shortens the design cycle, the exploration of the design-space is time-consuming. Most expensive proves the generation of system models respectively the generation of architectural alternatives for subsequent exploration. This work contributes a method, that utilizes activity threads to reduce the effort, needed to build such a set. With this method, a group of system models, each representing one design alternative, can automatically be generated. Therefore, only one architecture model and one function model in combination with an activity thread is required. The proposed method is the first step towards automated comparison of the performance for design alternatives at an early stage in the development process.
Keywords
This work has been supported within a subcontract between Infineon Technologies AG and the Universität der Bundeswehr München. This contract is part of the Project “Verteilte integrierte Systeme und Netzwerkarchitekturen für die Applikationsdomänen Automobil und Mobilkommunikation” (VISION), 01 M 3078.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
S. Balsamo, M. Marzolla, and R. Mirandola. Efficient performance models in component-based software engineering. In SEAA ’06 Proceedings of the 32nd Euromicro Conference on Software Engineering and Advanced Applications, Cavtat/Dubrovnik, Croatia, 2006.
V. Cortellessa and R. Mirandola. Deriving a queueing network based performance model from UML diagrams. In WOSP ’00: Proceedings of the 2nd International Workshop on Software and Performance, pages 58–70. Assoc. Comput. Mach., New York, 2000.
V. Cortellessa, A. D’Ambrogio, and G. Iazeolla. Automatic derivation of software performance models from case documents. Performance Evaluation, 45(2–3):81–105, 2001.
C. Dumoulin, P. Boulet, J.-L. Dekeyser, and P. Marquet. UML 2.0 structure diagram for intensive signal processing application specification. Rapport de recherche 4766, Institut National de Recherche en Informatique et en Automatique (INRIA), March 2003.
T. Frederic, G. Sebastien, D. Jerôme, and T. François. Software real-time resource modeling. In Forum on Specification and Design Languages (FDL), Barcelona, Spain, pages 231–236. European Electronic Chips & Systems design Initiative (ECSI), September 2007.
G.P. Gu and D.C. Petriu. Early evaluation of software performance based on the UML performance profile. In CASCON ’03: Proceedings of the 2003 Conference of the Centre for Advanced Studies on Collaborative Research, pages 66–79. IBM Press, Indianapolis, 2003.
G.P. Gu and D.C. Petriu. From UML to LQN by XML algebra-based model transformations. In WOSP ’05: Proceedings of the 5th International Workshop on Software and Performance, pages 99–110. Assoc. Comput. Mach., New York, 2005.
C. Kabajunga and R. Pooley. Simulating UML sequence diagrams. In 14th UK Performance Engineering Workshop, Edinburgh, England, pages 198–207, July 1998.
P. Kaehkipuro. UML-based performance modeling framework for component-based distributed systems. In Performance Engineering—State of the Art and Current Trends, LNCS 2047, pages 167–184. Springer, Berlin, 2001.
A.W. Liehr and K.J. Buchenrieder. Generation of related performance simulation models at an early stage in the design cycle. In 14th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS), pages 7–14. IEEE Comput. Soc., Tucson, 2007.
A.W. Liehr and K.J. Buchenrieder. Performance evaluation of HW/SW-system alternatives. In Design, Automation and Test in Europe (DATE) University Booth—Demonstration and Poster Exhibition, Munich, Germany, March 2008.
A.W. Liehr and K.J. Buchenrieder. An XML based simulation method for extended queuing networks. In L.S. Louca, editor, 22nd European Conference on Modelling and Simulation, pages 322–328, Nicosia, Cyprus. European Council for Modelling and Simulation, June 2008.
A.W. Liehr, K.J. Buchenrieder, and U. Nageldinger. Visual feedback for design-space exploration with UML MARTE. In The Fifth International Conference on Innovations in Information Technology, Al Ain, UAE. IEEE Comput. Soc., Los Alamitos, 2008.
OMG. Mof 2.0/xmi mapping specification, v2.1. OMG Document 05-09-01, Object Management Group, September 2005.
OMG. The unified modeling language (UML), version 2.0. http://www.omg.org/technology/documents/formal/uml.htm, July 2005.
OMG. Omg systems modeling language (omg sysml), v1.0. OMG Document 2007-09-01, Object Management Group, September 2007.
OMG. Omg unified modeling language. OMG Document 2007-11-04, Object Management Group, November 2007.
OMG. UML profile for MARTE. OMG Document 07-08-04, Object Management Group, August 2007.
D.B. Petriu and M. Woodside. Analysing software requirements specifications for performance. In WOSP ’02: Proceedings of the 3rd International Workshop on Software and Performance, pages 1–9. Assoc. Comput. Mach., New York, 2002.
D.C. Petriu and X. Wang. Deriving software performance models from architectural patterns by graph transformations. In TAGT’98: Selected Papers from the 6th International Workshop on Theory and Application of Graph Transformations, London, UK, pages 475–488. Springer, Berlin, 2000.
C.U. Smith. The evolution of software performance engineering: a survey. In ACM ’86: Proceedings of 1986 ACM Fall Joint Computer Conference, pages 778–783. IEEE Comput. Soc., Los Alamitos, 1986.
S. Taha, A. Radermacher, S. Gerard, and J.-L. Dekeyser. An open framework for detailed hardware modeling. In The IEEE Second International Symposium on Industrial Embedded Systems (SIES), Lisbon, Portugal, vol. 1, pages 118–125. IEEE Comput. Soc., Los Alamitos, 2007.
M. Woodside, D.C. Petriu, D.B. Petriu, H. Shen, T. Israr, and J. Merseguer. Performance by unified model analysis (PUMA). In WOSP ’05: Proceedings of the 5th International Workshop on Software and Performance, pages 1–12. Assoc. Comput. Mach., New York, 2005.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer Science+Business Media B.V.
About this chapter
Cite this chapter
Liehr, A.W., Buchenrieder, K.J., Rolfs, H.S., Nageldinger, U. (2009). Generation of MARTE Allocation Models from Activity Threads. In: Radetzki, M. (eds) Languages for Embedded Systems and their Applications. Lecture Notes in Electrical Engineering, vol 36. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-9714-0_3
Download citation
DOI: https://doi.org/10.1007/978-1-4020-9714-0_3
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-9713-3
Online ISBN: 978-1-4020-9714-0
eBook Packages: EngineeringEngineering (R0)