26 juin 2014

Nadir Farhi (IFSTTAR, GRETTIA team) présentation.pdf

"Upper bounds for the travel time on traffic systems"

A key measure of performance and comfort in a road traffic network is the travel time that the users of the network experience to complete their journeys. Travel times on road traffic networks are stochastic, highly variable, and dependent on several parameters. It is, therefore, necessary to have good indicators and measures of their variations. The approach we propose here consists in using an algebraic formulation of the cell-transmission traffic model on a single-lane road, where the car-dynamics is seen as a linear min-plus system. The impulse response of the system is derived analytically, and is interpreted as what is called a service curve in the network calculus theory (where the road is seen as a server). The basic results of the latter theory are then used to derive an upper bound for the travel time through the road. Possible extensions of this approach to acyclic road networks are presented.

Karla Quintero (Ampère/Thales)

"Vers un nouveau produit d’automates (max, +) pour des problèmes d’ordonnancement"

On définit les bases pour un nouveau produit d’automates (max, +) qui minimise le temps d‘exécution d’un ensemble de tâches. La contribution principale est orientée vers les systèmes avec des conflits de partage de ressources dans lesquels un ensemble de tâches doit être exécuté au plus tôt. Les conflits sont modélisés avec des automates (max,+) qui sont classés par rapport à ce que l’on définit comme des /dateurs globaux/. Une structure basée sur des dateurs est proposée pour déterminer un ordonnancement qualitativement optimal. Cette analyse basée sur des dateurs repose sur les définitions des /dateurs globaux, privés/ et /synchronisants/ et réussit à réduire considérablement le spectre de solutions pour trouver des ordonnancements optimaux. Le cas d’étude proposé est un terminal maritime pour l’exportation de pétrole.

Thomas Chatain (LSV, ENS Cachan) présentation.pdf

"Une comparaison de modèles pour les systèmes répartis temps-réel"

De nombreux formalismes sont disponibles pour modéliser des systèmes répartis temps-réel. Je montrerai plusieurs extensions temporisées des réseaux de Petri, ainsi que les réseaux d'automates temporisés. Je rappellerai les principaux résultats connus concernant l'analyse de ces modèles et l'expressivité des formalismes. Pour finir, je montrerai comment adapter ces résultats lorsqu'on s'intéresse à la sémantique distribuée de ces modèles, c'est-à-dire lorsqu'on prend en compte la distribution des actions sur différents composants.