Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
A composable and predictable MPSoC design flow for multiple real-time applications
KTH.
Vise andre og tillknytning
2016 (engelsk)Inngår i: Model-Implementation Fidelity in Cyber Physical System Design, Springer International Publishing , 2016, s. 157-174Kapittel i bok, del av antologi (Annet vitenskapelig)
Abstract [en]

Design of real-time MPSoC systems including multiple applications is challenging because temporal requirements of each application must be respected throughout the entire design flow. Currently the design of different applications is often interdependent, making converge to a solution for each application difficult. This chapter proposes a compositional method to design applications independently, and then to execute them without interference. We define a formal modeling framework as a suitable entry point for application design. The models are executable, which enables early detection of specification errors, and include the formal properties of the applications based on well-defined models of computation. We combine this with a predictable MPSoC platform template that has a supporting design flow but lacks a simulation front-end. The structure and behavior of the application models are exported to an intermediate format via introspection which is iteratively transformed for the backend flow. We identify the problems arising in this transformation and provide appropriate solutions. The design flow is demonstrated by a system consisting of two streaming applications where less than half of the design time is dedicated to operating on the integrated system model.

sted, utgiver, år, opplag, sider
Springer International Publishing , 2016. s. 157-174
HSV kategori
Identifikatorer
URN: urn:nbn:se:kth:diva-216879DOI: 10.1007/978-3-319-47307-9_5Scopus ID: 2-s2.0-85029086803ISBN: 9783319473079 (tryckt)ISBN: 9783319473062 (tryckt)OAI: oai:DiVA.org:kth-216879DiVA, id: diva2:1160786
Merknad

Export Date: 24 October 2017; Book Chapter; Correspondence Address: Attarzadeh-Niaki, S.-H.; Shahid Beheshti UniversityIran; email: h_attarzadeh@sbu.ac.ir. QC 20171128

Tilgjengelig fra: 2017-11-28 Laget: 2017-11-28 Sist oppdatert: 2017-11-28bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Søk i DiVA

Av forfatter/redaktør
Altinel, E.Sander, Ingo
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 28 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf