Dataflow Formalisation of Real-Time Streaming Applications on a Composable and Predictable Multi-Processor SOC

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F15%3A00229603" target="_blank" >RIV/68407700:21230/15:00229603 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1016/j.sysarc.2015.04.001" target="_blank" >http://dx.doi.org/10.1016/j.sysarc.2015.04.001</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1016/j.sysarc.2015.04.001" target="_blank" >10.1016/j.sysarc.2015.04.001</a>

Result language
angličtina
Original language name
Dataflow Formalisation of Real-Time Streaming Applications on a Composable and Predictable Multi-Processor SOC
Original language description
Embedded systems often contain multiple applications, some of which have real-time requirements and whose performance must be guaranteed. To efficiently execute the 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 complete formalisation of multiple 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
Czech name
—
Czech description
—

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
JC - Computer hardware and software
OECD FORD branch
—

Project
<a href="/en/project/EE2.3.30.0034" target="_blank" >EE2.3.30.0034: Support of inter-sectoral mobility and quality enhancement of research teams at Czech Technical University in Prague</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2015
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)