The COMPLEX methodology for UML/MARTE Modeling and design space exploration of embedded systems

被引:34
作者
Herrera, Fernando [1 ]
Posadas, Hector [1 ]
Penil, Pablo [1 ]
Villar, Eugenio [1 ]
Ferrero, Francisco [2 ]
Valencia, Raul [2 ]
Palermo, Gianluca [3 ]
机构
[1] Univ Cantabria, ETSIIT, TEISA Dpt, Santander 39005, Spain
[2] GMV, Aerosp & Def SAU, Madrid 28760, Spain
[3] Politecn Milan, Dipartimento Elettron & Informaz, I-20133 Milan, Italy
关键词
DSE; UML; MARTE; Embedded systems; MDE; MBD; ESL; CBSE; CONSTRAINT;
D O I
10.1016/j.sysarc.2013.10.003
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
The design of embedded systems is being challenged by their growing complexity and tight performance requirements. This paper presents the COMPLEX UML/MARTE Design Space Exploration methodology, an approach based on a novel combination of Model Driven Engineering (MDE), Electronic System Level (ESL) and design exploration technologies. The proposed framework enables capturing the set of possible design solutions, that is, the design space, in an abstract, standard and graphical way by relying on UML and the standard MARIE profile. From that UML/MARTE based model, the automated generation framework proposed produces an executable, configurable and fast performance model which includes functional code of the application components. This generated model integrates an XML-based interface for communication with the tool which steers the exploration. This way, the DSE loop iterations are efficiently performed, without user intervention, avoiding slow manual editions, or regeneration of the performance model. The novel DSE suited modelling features of the methodology are shown in detail. The paper also presents the performance model generation framework, including the enhancements with regard the previous simulation and estimation technology, and the exploration technology. The paper uses an EFR vocoder system example for showing the methodology and for demonstrative results. (C) 2013 Elsevier B.V. All rights reserved.
引用
收藏
页码:55 / 78
页数:24
相关论文
共 73 条
[1]  
Alana E., 2012, EMB REAL TIME SOFT 2
[2]  
[Anonymous], WORKSH INT SIGN PROC
[3]   MILAN: A model based integrated simulation framework for design of embedded systems [J].
Bakshi, A ;
Prasanna, VK ;
Ledeczi, A .
ACM SIGPLAN NOTICES, 2001, 36 (08) :82-87
[4]  
Bellard F., 2005, USENIX 2005 ANN TECH
[5]  
Benini L., 2005, J SIGNAL PROCESSING
[6]  
Bonfietti A, 2009, LECT NOTES COMPUT SC, V5547, P26, DOI 10.1007/978-3-642-01929-6_4
[7]  
Botella P., 2010, P 25 C DES CIRC INT
[8]  
Castillo J., 2010, 20 GREAT LAK S VLSI
[9]  
Chang H., 1999, SURVIVING SOC REVOLU
[10]  
Deb K., 2000, Parallel Problem Solving from Nature PPSN VI. 6th International Conference. Proceedings (Lecture Notes in Computer Science Vol.1917), P849