Sökning: WFRF:(Sander Ingo) >
Formulation of Desi...
Formulation of Design Space Exploration Problems by Composable Design Space Identification
-
- Jordao, Rodolfo (författare)
- KTH,Skolan för elektroteknik och datavetenskap (EECS),ForSyDe Group
-
- Sander, Ingo, Professor, 1964- (författare)
- KTH,Elektronik och inbyggda system,ForSyDe Group
-
- Becker, Matthias, Dr. 1986- (författare)
- KTH,Elektronik och inbyggda system
-
(creator_code:org_t)
- Institute of Electrical and Electronics Engineers (IEEE), 2021
- 2021
- Engelska.
-
Ingår i: PROCEEDINGS OF THE 2021 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2021). - : Institute of Electrical and Electronics Engineers (IEEE). ; , s. 1204-1207
- Relaterad länk:
-
https://kth.diva-por... (primary) (Raw object)
-
visa fler...
-
https://urn.kb.se/re...
-
https://doi.org/10.2...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Inbäddad systemteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Embedded Systems (hsv//eng)
Nyckelord
- 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
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)