PolyGraph: a data flow model with frequency arithmetic - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Access content directly
Journal Articles International Journal on Software Tools for Technology Transfer Year : 2020

PolyGraph: a data flow model with frequency arithmetic

Abstract

Data flow formalisms are commonly used to model systems in order to solve problems of buffer sizing and task scheduling. A prerequisite for static analysis of a modeled system is the existence of a periodic schedule in which the sizes of communication channels can be bounded for an unbounded execution (consistency), and that communication dependencies do not introduce a deadlock in such an execution (liveness). In the context of Cyber-Physical Systems, components are often interfaced with the physical world and have frequency constraints. The existing data flow formalisms lack expressiveness to fully cover the expected behavior of these components. We propose an extension to static data flow paradigms, called PolyGraph, that includes frequency constraints and adjustable communication rates. We show that with these extensions, the conditions for a model to be consistent and live are no longer sufficient, and we extend the corresponding theorems with necessary and sufficient conditions to preserve these properties. We illustrate how PolyGraph can be used in practice on a realistic Advanced Driver Assistance System, and present a framework to check PolyGraph properties in the tool DIVERSITY, along with experiments on realistic and random models.
No file

Dates and versions

cea-03345920 , version 1 (15-09-2021)

Identifiers

Cite

Paul Dubrulle, Nikolai Kosmatov, Christophe Gaston, Arnault Lapitre. PolyGraph: a data flow model with frequency arithmetic. International Journal on Software Tools for Technology Transfer, 2020, 23 (3), pp.489-517. ⟨10.1007/s10009-020-00586-9⟩. ⟨cea-03345920⟩
106 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More