International audienceData-flow models are convenient to represent signal processing systems. They precisely reflect the data-dependencies and numerous algorithms exist to compute a static schedule that optimizes a given criterion especially for parallel implementations. Once deployed the data-flow models must be refined with constraints imposed by the environment and the execution platform. In this paper, we show how we can model data dependencies supported by multi-dimensional synchronous data flow with logical time and extend these data dependencies with additional logical constraints imposed by the environment. Making explicit these external constraints allows the exploration of further solutions during the scheduling computation
Our objective is to facilitate the development of complex time-triggered systems by automating the a...
We consider deterministic functional specifications provided by means of synchronous data-flow model...
International audienceDependency graphs are a commonly used data structure to encode the streams of ...
International audienceData-flow models are convenient to represent signal processing systems. They p...
International audienceData-flow models are convenient to represent signal processing systems. They p...
International audienceProcess networks and data-flow graphs are used to capture data-dependencies in...
International audienceProcess networks and data-flow graphs are used to capture data-dependencies in...
International audienceProcess Networks are a means to describe streaming embedded applications. They...
National audienceThis paper overviews the benefits of using logical time in the context of the RT-Si...
Logical time is a relaxed form of time promoted by synchronous languages that is functional, elastic...
International audienceThe UML Profile for Modeling and Analysis of Real-Time and Embedded (RTE) syst...
International audienceThe design of embedded control software calls for stringent real-time constrai...
The original publication is available at www.springerlink.com (http://dx.doi.org/10.1007/978-3-540-7...
Abstract—This article studies the scheduling problem of a set of tasks with time or data constraints...
International audienceData-flow models ease the task of constructing feasible schedules of computati...
Our objective is to facilitate the development of complex time-triggered systems by automating the a...
We consider deterministic functional specifications provided by means of synchronous data-flow model...
International audienceDependency graphs are a commonly used data structure to encode the streams of ...
International audienceData-flow models are convenient to represent signal processing systems. They p...
International audienceData-flow models are convenient to represent signal processing systems. They p...
International audienceProcess networks and data-flow graphs are used to capture data-dependencies in...
International audienceProcess networks and data-flow graphs are used to capture data-dependencies in...
International audienceProcess Networks are a means to describe streaming embedded applications. They...
National audienceThis paper overviews the benefits of using logical time in the context of the RT-Si...
Logical time is a relaxed form of time promoted by synchronous languages that is functional, elastic...
International audienceThe UML Profile for Modeling and Analysis of Real-Time and Embedded (RTE) syst...
International audienceThe design of embedded control software calls for stringent real-time constrai...
The original publication is available at www.springerlink.com (http://dx.doi.org/10.1007/978-3-540-7...
Abstract—This article studies the scheduling problem of a set of tasks with time or data constraints...
International audienceData-flow models ease the task of constructing feasible schedules of computati...
Our objective is to facilitate the development of complex time-triggered systems by automating the a...
We consider deterministic functional specifications provided by means of synchronous data-flow model...
International audienceDependency graphs are a commonly used data structure to encode the streams of ...