skip to main content
10.1145/1601896.1601904acmconferencesArticle/Chapter ViewAbstractPublication PagessbcciConference Proceedingsconference-collections
research-article

Exploiting the model-driven engineering approach to improve design space exploration of embedded systems

Published: 31 August 2009 Publication History

Abstract

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 representing simultaneous and interdependent design alternative. From this new abstraction, the Model-Driven Engineering (MDE) approach is exploited to extract design information and compose the design space to be explored. Our approach uses model-to-model transformation rules as DSE constraints, which prune the available design space. These constraints are automatically generated from the UML model by translating design decisions pre-specified in UML diagrams into model transformation rules. In addition, non-functional requirements specified in UML as stereotypes are used to generate constraints in order to remove invalid solutions proposed during the DSE process. Finally, our approach offers an easy way for the designer to extend the set of constraints by using a well-accepted MDE toolset. A real application running on top of an MPSoC is used as case study to illustrate the proposed method.

References

[1]
Agrawal, A. et al. MILAN: A Model Based Integrated Simulation Framework for Design of Embedded Systems. LCTES'01 - Workshop on Languages, compilers and tools for embedded systems, 2001.
[2]
Angus, D. Crowding Population-based Ant Colony Optimization for the Multi-objective Traveling Salesman Problem. MCDM'07 - Symposium on Computational Intelligence in Multicriteria Decision Making (pp. 333--340), 2007.
[3]
Bondé, L.; Dumoulin, C.; Dekeyser, J.-L. Metamodels and MDA Transformations for Embedded Systems. FDL'04 - Forum on specification and Design Languages, Lille, France, 2004.
[4]
Hoare, C. A. Communicating Sequential Processes. ACM Communication, vol. 26, n. 1, 1983.
[5]
Kangas, T et al. UML-based Multi-Processor SoC Design Framework. ACM Embedded Computing Systems, vol. 5, n. 2, 2006.
[6]
Kienhuis, B.; et al. An Approach for Quantitative Analysis of Application-Specific Dataflow Architectures. ASAP'97 - 11th Int. Conference on Application-specific Systems, Architectures and Processors, Zurich, Switzerland, 1997.
[7]
Nascimento, F. A.; Oliveira, M. F. S.; Wagner, F. R. ModES - Embedded Systems Design Methodology and Tools based on MDE. MOMPES'07 - 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software. Braga, Portugal, 2007.
[8]
Neema, S. et al. Constraint-Based Design-Space Exploration and Model Synthesis. EMSOFT'03 - International Conference on Embedded Software, Philadelphia, USA, 2003.
[9]
Oliveira, M. F. S.; Brisolara, L. B.; Carro, L.; Wagner, F. R. Early Embedded Software Design Space Exploration Using UML-Based Estimation. RSP'06 - 17th IEEE Int. Workshop on Rapid System Prototyping, Chania, Greece, 2006.
[10]
Oliveira, M. F. S.; Briao, E. W.; Nascimento, F. A.; Wganer, F. R. Model Driven Engineering for MPSoC Design Space Exploration. Journal of Integrated Circuits and Systems, vol. 3, n. 1, 2008.
[11]
openArchitectureWare framework. http://www.openarchitectureware.org
[12]
Pimentel, A. D.; Erbas, C.; Polstra, S. A. Systematic Approach to Exploring Embedded System Architectures at Multiple Abstraction Levels. IEEE Computers, vol. 55, n. 2, 2006.
[13]
Pimentel, A. D. et al. Exploring Embedded-Systems Architectures with Artemis. IEEE Computers, vol. 34, n. 11, 2001.
[14]
Sangiovanni-Vicentelli, A.; Martin, G. Platform-based Design and Software Design Methodology for Embedded Systems. IEEE Design and Test for Computer, vol. 18, n. 6, 2001.
[15]
Schmidt, D. C. Model-driven Engineering. IEEE Computers, vol. 39, n. 2, 2006.
[16]
Weichsel, P. M. The Kronecker Product of Graphs. Proceedings of the American Mathematical Society, vol. 13, n. 1, 1962.

Cited By

View all
  • (2016)Verification approach based on emulation technology2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS)10.1109/DDECS.2016.7482447(1-6)Online publication date: Apr-2016
  • (2015)Design-Space Exploration Tool for the HIPAO MethodologyIFAC-PapersOnLine10.1016/j.ifacol.2015.08.11448:10(93-98)Online publication date: 2015
  • (2014)A model-based design space exploration for embedded image processing in industrial applications2014 12th IEEE International Conference on Industrial Informatics (INDIN)10.1109/INDIN.2014.6945552(434-439)Online publication date: Jul-2014

Index Terms

  1. Exploiting the model-driven engineering approach to improve design space exploration of embedded systems

        Recommendations

        Comments

        Information & Contributors

        Information

        Published In

        cover image ACM Conferences
        SBCCI '09: Proceedings of the 22nd Annual Symposium on Integrated Circuits and System Design: Chip on the Dunes
        August 2009
        325 pages
        ISBN:9781605587059
        DOI:10.1145/1601896
        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: 31 August 2009

        Permissions

        Request permissions for this article.

        Check for updates

        Author Tags

        1. design space exploration
        2. embedded systems
        3. model-driven engineering

        Qualifiers

        • Research-article

        Conference

        SBCCI '09
        Sponsor:

        Acceptance Rates

        SBCCI '09 Paper Acceptance Rate 50 of 119 submissions, 42%;
        Overall Acceptance Rate 133 of 347 submissions, 38%

        Contributors

        Other Metrics

        Bibliometrics & Citations

        Bibliometrics

        Article Metrics

        • Downloads (Last 12 months)3
        • Downloads (Last 6 weeks)0
        Reflects downloads up to 23 Dec 2024

        Other Metrics

        Citations

        Cited By

        View all
        • (2016)Verification approach based on emulation technology2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS)10.1109/DDECS.2016.7482447(1-6)Online publication date: Apr-2016
        • (2015)Design-Space Exploration Tool for the HIPAO MethodologyIFAC-PapersOnLine10.1016/j.ifacol.2015.08.11448:10(93-98)Online publication date: 2015
        • (2014)A model-based design space exploration for embedded image processing in industrial applications2014 12th IEEE International Conference on Industrial Informatics (INDIN)10.1109/INDIN.2014.6945552(434-439)Online publication date: Jul-2014

        View Options

        Login options

        View options

        PDF

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader

        Media

        Figures

        Other

        Tables

        Share

        Share

        Share this Publication link

        Share on social media