Pré-Publication, Document De Travail Année : 2025

An Extended Survey and a Comparison Framework for Dataflow Models of Computation and Communication

Résumé

Dataflow Model of Computation and Communications (DF MoCCs) is a formalism used to specify the behavior of Cyber-Physical Systems (CPSs). DF MoCCs are widely used in the design of CPSs, as they provide a high-level of abstraction to specify the system's behavior. DF MoCCs rules give semantics to a dataflow specification of a CPS, and static analysis algorithms rely on these semantics to guarantee safety properties of the dataflow specification, such as bounded memory usage and deadlock freeness. A wide range of DF MoCCs exists, each with its own characteristics and static analyses. This paper presents a survey of those DF MoCCs and a classification in eight categories. In addition, DF MoCCs are characterized by a comprehensive list of features and static analyses, which reflect their expressiveness and analyzability. Based on this characterization, a framework is proposed to compare the expressiveness and the analyzability of DF MoCCs quantitatively.
Fichier principal
Vignette du fichier
paper.pdf (236.07 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04881750 , version 1 (12-01-2025)
hal-04881750 , version 2 (16-01-2025)

Identifiants

  • HAL Id : hal-04881750 , version 2

Citer

Guillaume Roumage, Selma Azaiez, Cyril Faure, Stéphane Louise. An Extended Survey and a Comparison Framework for Dataflow Models of Computation and Communication. 2025. ⟨hal-04881750v2⟩
0 Consultations
0 Téléchargements

Partager

More