Dynamic reconfigurations in frequency constrained data flow - Archive ouverte HAL
Article Dans Une Revue Lecture Notes in Computer Science Année : 2019

Dynamic reconfigurations in frequency constrained data flow

Résumé

In Cyber-Physical Systems, the software components are often distributed over several computing nodes, connected by a communication network. Depending on several factors, the behavior of these components may dynamically change during its execution. The existing data flow formalisms for the performance prediction of dynamic systems do not cover the real-time constraints of these systems, and suffer from complexity issues in the verification of mandatory model properties. To overcome these limitations, we propose a dynamic extension to Polygraph, a static data flow formalism covering the real-time behavior of the CPS components. We also propose a verification algorithm to determine if the transitions between different modes are well-defined for a given model. Initial experiments show that this algorithm can be efficiently applied in practice.
Fichier principal
Vignette du fichier
dubrulle_gkl_ifm_2019.pdf (504.06 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04220189 , version 1 (27-09-2023)

Licence

Copyright (Tous droits réservés)

Identifiants

Citer

Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre. Dynamic reconfigurations in frequency constrained data flow. Lecture Notes in Computer Science, 2019, 11918, pp.175-193. ⟨10.1007/978-3-030-34968-4_10⟩. ⟨hal-04220189⟩
20 Consultations
33 Téléchargements

Altmetric

Partager

More