Dynamic reconfigurations in frequency constrained data flow

DOI10.1007/978-3-030-34968-4_10MaRDI QIDQ6536351zbMATH OpenFDO

Authors Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre

Publication date 19 April 2024

Full work available at URL https://doi.org/10.1007/978-3-030-34968-4_10

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Specification and verification (program logics, model checking, etc.) (68Q60) Network design and communication in computer systems (68M10)

Recommendations

• A data flow model with frequency arithmetic
• Formal verification of timed synchronous dataflow graphs using Lustre
• Durative graph transformation rules for modelling real-time reconfiguration
• Formal specification and verification of dynamic parametrized architectures
• Heterogeneous verification of cyber-physical systems using behavior relations

Cites work

• A data flow model with frequency arithmetic
• Parameterized dataflow modeling for DSP systems
• Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing

Cited in

(1)

• A data flow model with frequency arithmetic

This page was built for publication: Dynamic reconfigurations in frequency constrained data flow

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6536351)