Generating MARTE allocation models from activity threads

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 architectural alternatives for 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.

[1]  Jean-Luc Dekeyser,et al.  An Open Framework for Detailed Hardware Modeling , 2007, 2007 International Symposium on Industrial Embedded Systems.

[2]  A.W. Liehr,et al.  Visual feedback for design-space exploration with UML MARTE , 2008, 2008 International Conference on Innovations in Information Technology.

[3]  Connie U. Smith,et al.  The Evolution of Software Performance Engineering: A Survey , 1986, FJCC.

[4]  Claus Rautenstrauch,et al.  Performance Engineering: State of the Art and Current Trends , 2001 .

[5]  Pekka Kahkipuro UML-Based Performance Modeling Framework for Component-Based Distributed Systems , 2001, Performance Engineering.

[6]  A. W. Liehr,et al.  An XML Based Simulation Method For Extended Queuing Networks , 2008 .

[7]  Vittorio Cortellessa,et al.  Automatic derivation of software performance models from CASE documents , 2001, Perform. Evaluation.

[8]  José Merseguer,et al.  Performance by unified model analysis (PUMA) , 2005, WOSP '05.

[9]  Paola Inverardi,et al.  Model-based performance prediction in software development: a survey , 2004, IEEE Transactions on Software Engineering.

[10]  Dorina C. Petriu,et al.  Early evaluation of software performance based on the UML performance profile , 2003, CASCON.

[11]  Sébastien Gérard,et al.  Software Real-time Resource Modeling , 2007, FDL.

[12]  C. Murray Woodside,et al.  Analysing software requirements specifications for performance , 2002, WOSP '02.

[13]  Raffaela Mirandola,et al.  Efficient Performance Models in Component-Based Software Engineering , 2006, 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO'06).

[14]  Xin Wang,et al.  Deriving Software Performance Models from Architectural Patterns by Graph Transformations , 1998, TAGT.

[15]  Pierre Boulet,et al.  UML 2.0 Structure Diagram for Intensive Signal Processing Application Specification , 2003 .

[16]  Dorina C. Petriu,et al.  From UML to LQN by XML algebra-based model transformations , 2005, WOSP '05.

[17]  Klaus Buchenrieder,et al.  Generation of Related Performance Simulation Models at an Early Stage in the Design Cycle , 2007, 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07).

[18]  Raffaela Mirandola,et al.  Deriving a queueing network based performance model from UML diagrams , 2000, WOSP '00.