ABSTRACT
This paper presents the COMPLEX UML/MARTE modeling methodology and its related framework for automatic generation of executable performance models. The modeling methodology supports Model-Driven Development (MDD), required by industrial flows, and a novel set of modeling features specifically suitable for Design Space Exploration (DSE), a crucial design activity. The COMPLEX framework has other advantages for DSE. The COMPLEX tooling enables the automatic generation of an executable and configurable model for fast performance analysis without requiring engineering effort. The COMPLEX tooling automates the production of an easily portable text-based representation of the UML/MARTE model. This representation is read by the underlying simulation infrastructure, which automatically builds a fast performance model supporting the evaluation of different configurations of the system. An important aspect of this performance analysis framework is that it supports a system-level text-based front-end, which is produced from the COMPLEX UML/MARTE model, and which avoids the development of SW implementations, HW refinements, or the implementation of HW/SW interfaces. Moreover, neither code regeneration, nor recompilation is required for any DSE iterations, and thus, the time taken in the exploration is mostly due to model simulation.
- The COMPLEX project (247999), "Codesign and power management in platform-based design space exploration," http://complex.offis.de.Google Scholar
- E. Alana, F. Ferrero, A. I. Rodriguez, R. Valencia, E. Conquet, J. Puente, J. Zamorano, F. Herrera, and R. Varona, "Component-based technologies for HW/SW co-design," in Embedded Real Time Software and Systems- ERTS2. Toulouse. France, February 2012.Google Scholar
- F.Herrera, P. Peñil, E. Villar, F. Ferrero, and R.Valencia, "An embedded system modeling methodology for design space exploration," in III Jornadas de Computacion Empotrada, I Jornadas SARTECO, Oct 2012.Google Scholar
- F.Herrera, P. Peñil, H. Posadas, and E. Villar, "A model-driven methodology for the development of SystemC executable environments," in Proceedings of Forum of Design Languages, FDL'2012, Sept 2012.Google Scholar
- F.Herrera, P. Peñil, E. Villar, and D. Calvo, "Enhanced ip-xact platform descriptions for automatic generation from UML/MARTE of fast performance models for DSE," in 15th Euromicro Conference on Digital System Design, DSD'2012, Sept 2012. Google ScholarDigital Library
- H. Posadas, S. Real, E. Villar: "M3-SCoPE: Performance Modeling of Multi-Processor Embedded Systems for Fast Design Space Exploration", in C. Silvano, W. Fornaciari & E. Villar (Eds.): "Multi-objective Design Space Exploration of Multiprocessor SoC Architectures: the MULTICUBE Approach", Springer, 2011.Google ScholarCross Ref
- P. Botella, P. Sánchez and H. Posadas: "Automatic Generation of SystemC SMP Models for HW/SW Co-Simulation". In proc. of XXV Conf. on Design of Circuits and Integrated Systems, DCIS'10, 2010.Google Scholar
- H. Posadas, G. de Miguel, E. Villar: "Automatic generation of modifiable platform models in SystemC for Automatic System Architecture Exploration ", In Proc. of Design of Circuits and Integrated Systems, DCIS' 2009, Zaragoza, Spain. 2009--11.Google Scholar
- M. Becker, T. Xie, W. Mueller, G. Di Guglielmo, G. Pravadelli and F. Fummi: "RTOS-Aware Refinement for TLM2.0-Based HW/SW Designs", in proc. of DATE'10, IEEE, 2010. Google ScholarDigital Library
- G. Palermo, C. Silvano, and V. Zaccaria, "Respir: a response surface-based Pareto iterative refinement for application-specific design space exploration," Trans. Comp.-Aided Des. Integ. Cir. Sys., vol. 28, no. 12, pp. 1816--1829, Dec. 2009. Available in http://dx.doi.org/10.1109/TCAD.2009.2028681. Google ScholarDigital Library
- P. González, P. Sánchez, J. González. "Hardware Performance Estimation by Dynamic Scheduling". In Proc. Of FDL'2011. Sept., 2011.Google Scholar
Index Terms
- A MDD methodology for specification of embedded systems and automatic generation of fast configurable and executable performance models
Recommendations
Tool support for validating UML and OCL models through automatic snapshot generation
SAICSIT '03: Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technologyThis paper studies tool support for the testing and certification of UML and OCL models as supported by the validation tool USE. We describe the features available in the UML/OCL tool USE and extend its features by introducing a language for defining ...
UML-based specification and generation of executable web services
SAM'10: Proceedings of the 6th international conference on System analysis and modeling: about modelsThis paper presents an approach for the development of executable Web services based on model transformation techniques. The approach is based on a new Web service profile for the Unified Modeling Language (UML), which allows an efficient definition of ...
Automatic generation of feature models from UML requirement models
SPLC '12: Proceedings of the 16th International Software Product Line Conference - Volume 2It is well known that during the domain requirement engineering phase with UML, both feature models and UML notations (e.g. UML use case diagrams and activity diagrams for describing use cases) are necessary. The development in parallel of UML models ...
Comments