Analyzing Throughput for Cyber-Physical Systems modeled with Synchronous Dataflow

Glanon Philippe (1) , Azaiez Selma (1) , Mraidha Chokri (2)

1 DSCIN (CEA, LIST) - Département Systèmes et Circuits Intégrés Numériques
2 DILS (CEA, LIST) - Département Ingénierie Logiciels et Systèmes

Cyber-Physical System (CPS) is a critical system in which timing performance is often required. Throughput is a performance indicator of interest when designing a CPS. Analyzing throughput reachable by a CPS at design-time implies to optimize the behaviour of the system in such a way that it may run with an optimal frequency. This can be achieved by using synchronous dataflow graphs (SDFGs) which is a formal model of computation that fosters the analysis of systems where performance is always prominent. In this paper, we discuss on the throughput estimation for CPS applications modeled with the SDFGs. In order to evaluate the optimal throughput reachable by a CPS application, we use SDFGs to describe computations and communications in the CPS application and we propose a mathematical formulation of scheduling and mapping decisions in order to deploy the behavioural model of the CPS onto a platform, which essentially consists of heterogeneous and distributed resources.

Mots clés: Cyber Physical System Throughput Synchronous dataflow; Cyber Physical System; Throughput; Synchronous dataflow

Domaines: Systèmes embarqués

Glanon Philippe, Azaiez Selma, Mraidha Chokri. Analyzing Throughput for Cyber-Physical Systems modeled with Synchronous Dataflow. CPS Summer School, PhD Workshop, Sep 2019, Alghero, Italy. ⟨cea-04485076⟩