research-article

A MDD methodology for specification of embedded systems and automatic generation of fast configurable and executable performance models

Authors:

Raúl ValenciaAuthors Info & Claims

CODES+ISSS '12: Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis

Pages 529 - 538

https://doi.org/10.1145/2380445.2380527

Published: 07 October 2012 Publication History

Get Access

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.

References

[1]

The COMPLEX project (247999), "Codesign and power management in platform-based design space exploration," http://complex.offis.de.

Google Scholar

[2]

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

[3]

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

[4]

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

[5]

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.

Digital Library

Google Scholar

[6]

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.

Crossref

Google Scholar

[7]

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

[8]

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

[9]

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.

Digital Library

Google Scholar

[10]

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.

Digital Library

Google Scholar

[11]

P. González, P. Sánchez, J. González. "Hardware Performance Estimation by Dynamic Scheduling". In Proc. Of FDL'2011. Sept., 2011.

Google Scholar

Cited By

View all

Hussein MNouacer RRadermacher A(2017)Towards a Safe Software Development Environment2017 Euromicro Conference on Digital System Design (DSD)10.1109/DSD.2017.13(470-477)Online publication date: Aug-2017
https://doi.org/10.1109/DSD.2017.13
Hussein MNouacer RRadermacher A(2017)Safe adaptation of vehicle software systemsMicroprocessors & Microsystems10.1016/j.micpro.2017.06.01452:C(272-286)Online publication date: 1-Jul-2017
https://dl.acm.org/doi/10.1016/j.micpro.2017.06.014
Herrera FPeñil PVillar ECorporaal HStuijk S(2015)A model-based, single-source approach to design-space exploration and synthesis of mixed-criticality systemsProceedings of the 18th International Workshop on Software and Compilers for Embedded Systems10.1145/2764967.2784777(88-91)Online publication date: 1-Jun-2015
https://dl.acm.org/doi/10.1145/2764967.2784777
Show More Cited By

Index Terms

A MDD methodology for specification of embedded systems and automatic generation of fast configurable and executable performance models
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software implementation planning
        Software design techniques
    2. Software development process management
      1. Software development methods

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 technology

This 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 models

This 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 2

It 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

Information & Contributors

Information

Published In

CODES+ISSS '12: Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis

October 2012

596 pages

ISBN:9781450314268

DOI:10.1145/2380445

General Chairs:
Ahmed Jerraya
CEA
,
Luca Carloni
Columbia University
,
Program Chairs:
Naehyuck Chang
Seoul National University, Korea
,
Franco Fummi
University of Verona, Italy

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 07 October 2012

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ESWEEK'12

Sponsor:

ESWEEK'12: Eighth Embedded System Week

October 7 - 12, 2012

Tampere, Finland

Acceptance Rates

CODES+ISSS '12 Paper Acceptance Rate 48 of 163 submissions, 29%;

Overall Acceptance Rate 280 of 864 submissions, 32%

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

10
Total Citations
View Citations
190
Total Downloads

Downloads (Last 12 months)8
Downloads (Last 6 weeks)2

Reflects downloads up to 08 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Hussein MNouacer RRadermacher A(2017)Towards a Safe Software Development Environment2017 Euromicro Conference on Digital System Design (DSD)10.1109/DSD.2017.13(470-477)Online publication date: Aug-2017
https://doi.org/10.1109/DSD.2017.13
Hussein MNouacer RRadermacher A(2017)Safe adaptation of vehicle software systemsMicroprocessors & Microsystems10.1016/j.micpro.2017.06.01452:C(272-286)Online publication date: 1-Jul-2017
https://dl.acm.org/doi/10.1016/j.micpro.2017.06.014
Herrera FPeñil PVillar ECorporaal HStuijk S(2015)A model-based, single-source approach to design-space exploration and synthesis of mixed-criticality systemsProceedings of the 18th International Workshop on Software and Compilers for Embedded Systems10.1145/2764967.2784777(88-91)Online publication date: 1-Jun-2015
https://dl.acm.org/doi/10.1145/2764967.2784777
Ebeid EFummi FQuaglia DPosadash HVillar EPérez DAbhari MChillet DPalermo G(2014)A framework for design space exploration and performance analysis of networked embedded systemsProceedings of the 6th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools10.1145/2555486.2555488(1-8)Online publication date: 22-Jan-2014
https://dl.acm.org/doi/10.1145/2555486.2555488
Herrera FPosadas HPeñil PVillar EFerrero FValencia RPalermo G(2014)The COMPLEX methodology for UML/MARTE Modeling and design space exploration of embedded systemsJournal of Systems Architecture: the EUROMICRO Journal10.1016/j.sysarc.2013.10.00360:1(55-78)Online publication date: 1-Jan-2014
https://dl.acm.org/doi/10.1016/j.sysarc.2013.10.003
Herrera FSander I(2014)Combining Analytical and Simulation-Based Design Space Exploration for Efficient Time-Critical and Mixed-Criticality SystemsLanguages, Design Methods, and Tools for Electronic System Design10.1007/978-3-319-06317-1_9(167-188)Online publication date: 22-Aug-2014
https://doi.org/10.1007/978-3-319-06317-1_9
Chakravarty SZhao ZGerstlauer AMarculescu RPanda P(2013)Automated, retargetable back-annotation for host compiled performance and power modelingProceedings of the Ninth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis10.5555/2555692.2555728(1-10)Online publication date: 29-Sep-2013
https://dl.acm.org/doi/10.5555/2555692.2555728
Herrera FNiaki SSander I(2013)Towards a Modelling and Design Framework for Mixed-Criticality SoCs and Systems-of-SystemsProceedings of the 2013 Euromicro Conference on Digital System Design10.1109/DSD.2013.112(989-996)Online publication date: 4-Sep-2013
https://dl.acm.org/doi/10.1109/DSD.2013.112
Chakravarty SZhuoran Zhao Gerstlauer A(2013)Automated, retargetable back-annotation for host compiled performance and power modeling2013 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)10.1109/CODES-ISSS.2013.6659023(1-10)Online publication date: Sep-2013
https://doi.org/10.1109/CODES-ISSS.2013.6659023
Grüttner KHartmann PHylla KRosinger SNebel WHerrera FVillar EBrandolese CFornaciari WPalermo GYkman-Couvreur CQuaglia DFerrero FValencia R(2013)The COMPLEX reference framework for HW/SW co-design and power management supporting platform-based design-space explorationMicroprocessors & Microsystems10.1016/j.micpro.2013.09.00137:8(966-980)Online publication date: 1-Nov-2013
https://dl.acm.org/doi/10.1016/j.micpro.2013.09.001

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Tool support for validating UML and OCL models through automatic snapshot generation

UML-based specification and generation of executable web services

Automatic generation of feature models from UML requirement models

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations