Dataflow formalisation of real-time streaming applications on a composable and predictable multi-processor SOC

Research output: Contribution to journalArticleAcademicpeer-review

12 Citations (Scopus)
4 Downloads (Pure)

Abstract

Embedded systems often contain multiple applications, some of which have real-time requirements and whose performance must be guaranteed. To efficiently execute applications, modern embedded systems contain Globally Asynchronous Locally Synchronous (GALS) processors, network on chip, DRAM and SRAM memories, and system software, e.g. microkernel and communication libraries. In this paper we describe a dataflow formalisation to independently model real-time applications executing on the CompSOC platform, including new models of the entire software stack. We compare the guaranteed application throughput as computed by our tool flow to the throughput measured on an FPGA implementation of the platform, for both synthetic and real H.263 applications. The dataflow formalisation is composable (i.e. independent for each real-time application), conservative, models the impact of GALS on performance, and correctly predicts trends, such as application speed-up when mapping an application to more processors.
Original languageEnglish
Pages (from-to)435-448
Number of pages14
JournalJournal of Systems Architecture
Volume61
Issue number9
DOIs
Publication statusPublished - 1 Oct 2015

Fingerprint Dive into the research topics of 'Dataflow formalisation of real-time streaming applications on a composable and predictable multi-processor SOC'. Together they form a unique fingerprint.

Cite this