ADFG, developed by INRIA-IRISA project-team TEA, checks the scheduling feasibility of an Ultimately Cyclo-Static DataFlow (UCSDF) graph which represents a system of actors (or processes) and their dependencies (data production and consumption rates), aka channels between them. If the graph is schedulable, regarding to a specified policy, runtime parameters are computed to help the system implementation or build (if it is an embedded system). The UCSDF graph can be passed to ADFG as a SDF3 xml file or can be constructed through the Java library.

Parameters computed by ADFG are:

the firing period of each actor, and their phases;
each channel maximum size, and initial tokens number;
processor allocation of each actor (in case of homogeneous multi-processor system).

Some useful metrics are also computed as the processor utilization factor.

ADFG comes with a very simple API, a command-line tool to analyse sdf files, and some eclipse plugins.

ADFG has originally been written by Adnan Bouakaz as an experimental tool for his PhD thesis.

SOFTWARE IMPLEMENTATION

ADFG depends on two external software: SCOTCH used for graph partitioning, LpSolve used for Integer Linear Problem (ILP) solving.

Some dynamical libraries of SCOTCH and lp_solve are integrated to the distribution. It includes also a Java wrapper for the lp_solve.

ADFG can be used as a command line (adfg_sched) or under Eclipse.

Licences

The installing and use of the ADFG toolset suppose the agreement to the license. ADFG is distributed under the GPL v2 License terms.

Distributions (version 3.2, January 2022)

Installation

After the unzip of the downloaded archive, a directory with adfg_ as prefix is created (adfg_src, adfg_Linux_x86_64 for Linux, …). Let ADFG_DIR be this directory.

goto the ADFG_DIR directory
then execute the script: install.sh; it will generate a script called adfg_sched in order to use adfg.

ADFG under Eclipse

To use ADFG under Eclipse:

Add the ADFG_DIR/libs value to the java.library.path, in the eclipse.ini file of your eclipse (see here for an example).
Run eclipse and install the plugins for ADFG by the “Help->Install New Software…” dialog, with the address:

http://polychrony.inria.fr/ADFG/update

Documentation

The User's Guide provides information on how to use ADFG tool.

Test

To test the ADFG tool, you can download the examples provided by the DARTS tool.

Publications

Hai Nam Tran, Alexandre Honorat, Shuvra S. Bhattacharyya, Jean-Pierre Talpin, Thierry Gautier, Loïc Besnard. A Framework for Periodic Scheduling Synthesis of Synchronous Data-Flow Graphs. SAMOS XXI 2021 - International Conference on embedded computer Systems: Architectures, Modeling and Simulation. Springer, 2021. https://hal.inria.fr/hal-03488217v1
Hai Nam Tran, Alexandre Honorat, Jean-Pierre Talpin, Thierry Gautier, Loïc Besnard. Efficient Contention-Aware Scheduling of SDF Graphs on Shared Multi-bank Memory. ICECCS 2019 - 24th International Conference on Engineering of Complex Computer Systems, Nov 2019, Hong Kong, China. https://hal.inria.fr/hal-02193639v2
Alexandre Honorat, Hai Nam Tran, Loïc Besnard, Thierry Gautier, Jean-Pierre Talpin, Adnan Bouakaz. ADFG: a scheduling synthesis tool for dataflow graphs in real-time systems. International Conference on Real-Time Networks and Systems, Oct 2017, Grenoble, France. https://hal.inria.fr/hal-01615142

Contact

For any contact, send a mail to polychronycontact@inria.fr