Dataflow Formalisation of Real-Time Streaming Applications on a Composable and Predictable Multi-Processor SOC
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 (Dynamic Random-Access Memory) and SRAM (Static Random-Access Memory) memories and system software, e.g. microkernel and communication libraries. In this paper, the authors describe dataflow formalization to independently model real-time applications executing on the CompSOC platform, including new models of the entire software stack.