Sökning: onr:"swepub:oai:DiVA.org:kth-160912" >
A Composable and Pr...
A Composable and Predictable MPSoC Design Flow for Multiple Real-Time Applications
-
- Attarzadeh-Niaki, Seyed-Hosein, 1984- (författare)
- KTH,Elektronik och Inbyggda System
-
- Altinel, Ekrem (författare)
- KTH,Elektronik och Inbyggda System
-
- Koedam, Martijn (författare)
- Eindhoven University of Technology
-
visa fler...
-
- Molnos, Anca (författare)
- CEA-LETI
-
- Sander, Ingo (författare)
- KTH,Elektronik och Inbyggda System
-
- Goossens, Kees (författare)
- Eindhoven University of Technology
-
visa färre...
-
(creator_code:org_t)
- 2015
- 2015
- Engelska.
- Relaterad länk:
-
http://www.date-conf...
-
visa fler...
-
https://kth.diva-por... (primary) (Raw object)
-
https://urn.kb.se/re...
-
visa färre...
Abstract
Ämnesord
Stäng
- Design of real-time MPSoC systems including multiple appli-cations is challenging because temporal requirements of each applicationmust be respected throughout the entire design flow. Currently the de-sign of different applications is often interdependent, making converge toa solution for each application difficult. This paper proposes a composi-tional method to design applications independently, and then to executethem without interference. We define a formal modeling framework as asuitable entry point for application design. The models are executable,which enables early detection of specification errors, and include the for-mal properties of the applications based on well-defined models of com-putation. We combine this with a predictable MPSoC platform templatethat has a supporting design flow but lacks a simulation front-end. Thestructure and behavior of the application models are exported to an in-termediate format via introspection which is iteratively adapted for thebackend flow. We identify the problems arising in this adaptation andprovide appropriate solutions. The design flow is demonstrated by a sys-tem consisting of two streaming applications where less than half of thedesign time is dedicated to operating on the integrated system model.
Ä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
- System-level design languages
- Automated design flow
- Real- time applications
- Composable system
- Time-predictable architectures
- Computer Science
- Datalogi
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)