A composable and predictable MPSoC design flow for multiple real-time applications

S.H. Attarzadeh-Niaki, E. Altinel, M. Koedam, A. Molnos, I. Sander, K.G.W. Goossens

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

1 Citation (Scopus)
1 Downloads (Pure)

Abstract

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.

Original languageEnglish
Title of host publicationModel-Implementation Fidelity in Cyber Physical System Design
EditorsA. Molnos, C. Fabre
Place of PublicationCham
PublisherSpringer
Chapter6
Pages157-174
Number of pages18
ISBN (Electronic)978-3-319-47307-9
ISBN (Print)978-3-319-47306-2
DOIs
Publication statusPublished - 1 Jan 2017

Fingerprint Dive into the research topics of 'A composable and predictable MPSoC design flow for multiple real-time applications'. Together they form a unique fingerprint.

Cite this