research-article

Design space abstraction and metamodeling for embedded systems design space exploration

Authors:

Marcio F. S. Oliveira,

Francisco A. Nascimento,

Wolfgang Mueller,

Flávio R. WagnerAuthors Info & Claims

MOMPES '10: Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software

Pages 29 - 36

https://doi.org/10.1145/1865875.1865880

Published: 20 September 2010 Publication History

Abstract

In this paper, we present a design space exploration (DSE) method for embedded systems, which represents the design space as a categorical graph product, in order to overcome the challenge of performing multiple DSE activities, such as task mapping, processor allocation, and software binding. Moreover, the method adopts a Model-Driven Engineering (MDE) approach, defining a design space metamodel to represent the categorical graph product and other DSE concepts, such as solutions, costs, and DSE activities. Furthermore, exploiting the MDE approach, we use model-to-model transformation rules to implement the design constraints, which guide and prune the design space. The method is applied to the design of a real-life application, and experiments demonstrate its effectiveness.

References

[1]

A. Agrawal et al. "MILAN: A Model Based Integrated Simulation Framework for Design of Embedded Systems". In: Proceedings of LCTES, 2001.

Digital Library

[2]

D. Angus, "Crowding Population-based Ant Colony Optimisation for the Multi-objective Travelling Salesman Problem". In: Proc. MCDM 2007, pp. 333--340.

[3]

T. Blickle, J. Teich, L. Thiele. "System-Level Synthesis Using Evolutionary Algorithms". In: Design Automation for Embedded Systems, v. 3, 1998. pp 23--58

Digital Library

[4]

L. Bondé, C. Dumoulin, J.-L. Dekeyser. "Metamodels and MDA Transformations for Embedded Systems". In: Proceedings of the Forum on Design Languages (FDL), Lille, France, September 2004.

[5]

D. Densmore, R. Passerone, A. Sangiovanni-Vincentelli. "A Platform-Based Taxonomy for ESL Design". IEEE Design & Test, v. 23 n. 5, p. 359--374, September 2006

Digital Library

[6]

EMF. Eclipse Modeling Framework. Available at: http://www.eclipse.org/emf. Accessed in May, 20010.

[7]

C. Erbas, S. E. Erbas, A. D. Pimentel. "A Multi objective Optimization Model for Exploring Multiprocessor Mappings of Process Networks". In: Proc. CODES+ISSS 2003, ACM Press, pp. 182--187.

Digital Library

[8]

M. Gries. "Method for Evaluating and Covering the Design Space During Early Design Development". Integration, the VLSI Journal, {S.I.}, v. 38, n. 2, p. 131--183, 2004.

Digital Library

[9]

T. Kangas et al. "UML-based Multi-Processor SoC Design Framework". ACM Transactions on Embedded Computing Systems, v. 5, n. 2, 2006.

Digital Library

[10]

K. Keutzer, A. R. Newton, J. M. Rabaey, A. Sangiovanni-Vincentelli. "System-Level Design: Orthogonalization of Concerns and Platform-Based Design". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 19(12), 1523--1543, 2000.

Digital Library

[11]

F. A. Nascimento, M. F. S. Oliveira, F. R. Wagner. "ModES - Embedded Systems Design Methodology and Tools based on MDE". In: Proc. of 4th Int. Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES). Braga, Portugal, 2007.

Digital Library

[12]

S. Neema, J. Sztipanovits, G. Karsai. "Constraint-Based Design-Space Exploration and Model Synthesis". In: Proceedings of the 3rd International Conference on Embedded Software (EMSOFT), Philadelphia, USA, October 2003. LNCS 2855. pp 290--305

[13]

M. F. S. Oliveira, E. W. Briao, F. A. Nascimento, F. R. Wagner. "Model Driven Engineering for MPSoC Design Space Exploration". Journal of Integrated Circuits and Systems, v. 3, n. 1, 2008.

[14]

M. F. S. Oliveira, L. B. Brisolara, L. Carro, F. R. Wagner. "Early Embedded Software Design Space Exploration Using UML-Based Estimation". In: Proc. of RSP'06 - 17th IEEE Int. Workshop on Rapid System Prototyping, Chania, Greece, 2006.

Digital Library

[15]

OMG. UML Profile for Modeling and Analysis of Real-time and Embedded Systems (MARTE). 2007, available at <http://www.omgmarte.org>.

[16]

openArchitectureWare framework. http://www.openarchitectureware.org

[17]

D. C. Schmidt. "Guest Editor's Introduction: Model-Driven Engineering". Computer, Vol. 39, No. 2, Feb. 2006, pp. 25--31.

Digital Library

[18]

P. M. Weichsel. "The Kronecker Product of Graphs". Proceedings of the American Mathematical Society, vol. 13, n. 1, 1962.

Cited By

Yamaguchi AWatanabe YSato KNakamoto YIshikawa YHonda STakada H(2017)In-vehicle Distributed Time-critical Data Stream Management System for Advanced Driver AssistanceJournal of Information Processing10.2197/ipsjjip.25.10725(107-120)Online publication date: 2017
https://doi.org/10.2197/ipsjjip.25.107
Yamaguchi ANakamoto YSato KIshikawa YWatanabe YHonda STakada H(2015)AEDSMS: Automotive Embedded Data Stream Management System2015 IEEE 31st International Conference on Data Engineering10.1109/ICDE.2015.7113377(1292-1303)Online publication date: Apr-2015
https://doi.org/10.1109/ICDE.2015.7113377
Nascimento FOliveira MWagner F(2012)A model-driven engineering framework for embedded systems designInnovations in Systems and Software Engineering10.1007/s11334-011-0175-y8:1(19-33)Online publication date: 1-Mar-2012
https://dl.acm.org/doi/10.1007/s11334-011-0175-y

Index Terms

Design space abstraction and metamodeling for embedded systems design space exploration

Recommendations

Exploiting the model-driven engineering approach to improve design space exploration of embedded systems
SBCCI '09: Proceedings of the 22nd Annual Symposium on Integrated Circuits and System Design: Chip on the Dunes

This paper proposes a design space abstraction, in order to decouple the exploration algorithm from the design space, which allows the application of the design space exploration (DSE) tool in different design scenarios and is appropriate for ...
A model-driven engineering framework for embedded systems design

This work presents a Model-Driven Engineering (MDE) framework to improve embedded system design. The framework adopts concepts from MDE for the automatic generation of a control and data flow internal representation, starting from the functional ...
Formal system-level design space exploration

DIPLODOCUS is a UML profile intended for the modeling and the formal verification of real-time and embedded applications commonly executed on complex Systems-on-Chip. DIPLODOCUS implements the Y-chart approach, that is, application and HW architecture ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

MOMPES '10: Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software

September 2010

76 pages

ISBN:9781450301237

DOI:10.1145/1865875

Editors:
Goetz Botterweck
Lero (IE)
,
João M. Fernandes
U Minho (PT)
,
Luís Lamb
UFRGS (BR)

Copyright © 2010 ACM.

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]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 20 September 2010

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Bundesministerium für Bildung und Forschung

Conference

ASE10

Sponsor:

ASE10: IEEE/ACM International Conference on Automated Software Engineering

September 20, 2010

Antwerpen, Belgium

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
199
Total Downloads

Downloads (Last 12 months)6
Downloads (Last 6 weeks)1

Reflects downloads up to 12 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

Yamaguchi AWatanabe YSato KNakamoto YIshikawa YHonda STakada H(2017)In-vehicle Distributed Time-critical Data Stream Management System for Advanced Driver AssistanceJournal of Information Processing10.2197/ipsjjip.25.10725(107-120)Online publication date: 2017
https://doi.org/10.2197/ipsjjip.25.107
Yamaguchi ANakamoto YSato KIshikawa YWatanabe YHonda STakada H(2015)AEDSMS: Automotive Embedded Data Stream Management System2015 IEEE 31st International Conference on Data Engineering10.1109/ICDE.2015.7113377(1292-1303)Online publication date: Apr-2015
https://doi.org/10.1109/ICDE.2015.7113377
Nascimento FOliveira MWagner F(2012)A model-driven engineering framework for embedded systems designInnovations in Systems and Software Engineering10.1007/s11334-011-0175-y8:1(19-33)Online publication date: 1-Mar-2012
https://dl.acm.org/doi/10.1007/s11334-011-0175-y

View Options

Get Access

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.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents