Explicit Control of Dataflow Graphs with MARTE/CCSL

Jean-Vivien Millo, Amine Oueslati, Emilien Kaufman, Julien DeAntoni, Frederic Mallet, Robert de Simone

2017

Abstract

Process Networks are a means to describe streaming embedded applications. They rely on explicit representation of task concurrency, pipeline and data-flow. Originally, Data-Flow Process Network (DFPN) representations are independent from any execution platform support model. Such independence is actually what allows looking next for adequate mappings. Mapping deals with scheduling and distribution of computation tasks onto processing resources, but also distribution of communications to interconnects and memory resources. This design approach requires a level of description of execution platforms that is both accurate and simple. Recent platforms are composed of repeated elements with global interconnection (GPU, MPPA). A parametric description could help achieving both requirements. Then, we argue that a model-driven engineering approach may allow to unfold and expand an original DFPN model, in our case a so-called Synchronous DataFlow graph (SDF) into a model such that: a) the original description is a quotient refolding of the expanded one, and b) the mapping to a platform model is a grouping of tasks according to their resource allocation. Then, given such unfolding, we consider how to express the allocation and the real-time constraints. We do this by capturing the entire system in CCSL (Clock Constraint Specification Language). CCSL allows to capture linear but also synchronous constraints.

Paper Citation

in Harvard Style

Millo J., Oueslati A., Kaufman E., DeAntoni J., Mallet F. and de Simone R. (2017). Explicit Control of Dataflow Graphs with MARTE/CCSL.In Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-210-3, pages 542-549. DOI: 10.5220/0006269505420549

in Bibtex Style

@conference{modelsward17,
author={Jean-Vivien Millo and Amine Oueslati and Emilien Kaufman and Julien DeAntoni and Frederic Mallet and Robert de Simone},
title={Explicit Control of Dataflow Graphs with MARTE/CCSL},
booktitle={Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2017},
pages={542-549},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006269505420549},
isbn={978-989-758-210-3},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Explicit Control of Dataflow Graphs with MARTE/CCSL
SN - 978-989-758-210-3
AU - Millo J.
AU - Oueslati A.
AU - Kaufman E.
AU - DeAntoni J.
AU - Mallet F.
AU - de Simone R.
PY - 2017
SP - 542
EP - 549
DO - 10.5220/0006269505420549