kth.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Formulation of Design Space Exploration Problems by Composable Design Space Identification
KTH, School of Electrical Engineering and Computer Science (EECS). (ForSyDe Group)ORCID iD: 0000-0002-1277-3903
KTH, School of Electrical Engineering and Computer Science (EECS), Electrical Engineering, Electronics and Embedded systems. (ForSyDe Group)ORCID iD: 0000-0003-4859-3100
KTH, School of Electrical Engineering and Computer Science (EECS), Electrical Engineering, Electronics and Embedded systems, Electronic and embedded systems.ORCID iD: 0000-0002-1276-3609
2021 (English)In: PROCEEDINGS OF THE 2021 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2021), Institute of Electrical and Electronics Engineers (IEEE) , 2021, p. 1204-1207Conference paper, Published paper (Refereed)
Abstract [en]

Design space exploration (DSE) is a key activity in embedded system design methodologies and can be supported by well-defined models of computation (MoCs) and predictable platform architectures. The original design model, covering the application models, platform models and design constraints needs to be converted into a form analyzable by computer-aided decision procedures such as mathematical programming or genetic algorithms. This conversion is the process of design space identification (DSI), which becomes very challenging if the design domain comprises several MoCs and platforms. For a systematic solution to this problem, separation of concerns between the design domain and decision domain is of key importance. We propose in this paper a systematic DSI scheme that is (a) composable, as it enables the stepwise and simultaneous extension of both design and decision domain, and (b) tuneable, because it also enables different DSE solving techniques given the same design model. We exemplify this DSI scheme by an illustrative example that demonstrates the mechanisms for composition and tuning. Additionally, we show how different compositions can lead to the same decision model as an important property of this DSI scheme.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE) , 2021. p. 1204-1207
Keywords [en]
Computer programming, Embedded software, Genetic algorithms, Mathematical programming, Space platforms, Application models, Decision modeling, Decision procedure, Design constraints, Design space exploration, Models of computation, Platform architecture, Separation of concerns, Design
National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:kth:diva-310720DOI: 10.23919/DATE51398.2021.9474082ISI: 000805289900225Scopus ID: 2-s2.0-85111039144OAI: oai:DiVA.org:kth-310720DiVA, id: diva2:1651809
Conference
2021 Design, Automation and Test in Europe Conference and Exhibition, DATE 2021, 1-5 February 2021, Grenoble, France.
Note

Part of proceedings ISBN: 978-3-9819263-5-4

QC 20220413

Available from: 2022-04-13 Created: 2022-04-13 Last updated: 2022-10-12Bibliographically approved

Open Access in DiVA

fulltext(246 kB)232 downloads
File information
File name FULLTEXT01.pdfFile size 246 kBChecksum SHA-512
7e6a858ece9099b12573976f3d93eeacfa2f75356c1447ccbbe634b62837fb5836c94929433bf7a99b7f25f4be175e0378a22eefadc15522a21d237b19b4307f
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Authority records

Jordao, RodolfoSander, IngoBecker, Matthias

Search in DiVA

By author/editor
Jordao, RodolfoSander, IngoBecker, Matthias
By organisation
School of Electrical Engineering and Computer Science (EECS)Electronics and Embedded systemsElectronic and embedded systems
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 233 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 232 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf