Résumé. Qu’y a t’il de commun aujourd’hui entre l’acquisition de données 3D, la gestion d’informations patrimoniales, ou encore la modélisation tridimensionnelle en temps réel ? Bien peu, force est de le constater, si ce n’est que l’édifice patrimonial sert là souvent de terrain d’expérimentation. Pourtant, il ne saurait être réduit à ce seul statut : il est objet de connaissances dont l’étude ...

L’approche synchrone a été récemment étendue pour permettre la spécification de systèmes multipériodiques rythmés par des horloges temps réel explicites et non plus seulement des horloges booléennes. Cette extension est au cœur du langage Prelude et permet la compilation de la spécification en un système multi-tâches gérées par un ordonnanceur temps réel. Le gain est une implémentabilité accrue...

RÉSUMÉ. Cet article étudie les apports de la modélisation de l’anticipation musicale à la conception d’application musicale temps réel. Nous proposons d’aborder le problème de l’anticipation sous l’angle de la notion d’attente et à partir de trois questions : quoi attendre ? comment attendre ? et quand attendre ? Ces questions sont formalisées à partir d’outils théoriques variés faisant appel r...

In this article, we describe the latest developments of the minimally invasive hepatic surgery simulator prototype developed at INRIA. A key problem with such a simulator is the physical modeling of soft tissues. We propose a new deformable model based on non-linear elasticity, anisotropic behavior, and the nite element method. This model is valid for large displacements, which means in particu...

This paper considers the redeployment problem for a fleet of ambulances. This problem is encountered in the real-time management of emergency medical services. A dynamic model is proposed and a dynamic ambulance management system is described. This system includes a parallel tabu search heuristic to precompute redeployment scenarios. Simulations based on real-data confirm the efficiency of the ...

RÉSUMÉ. Écritures du monde est un centre de ressources web créé par Monique Slodzian, François Stuck et Michel Bottin, consacré aux applications des écritures du monde. Il a pour ambition de donner accès à tout un contexte, tant technique que culturel, indispensable pour gérer des documents ou écrire dans des situations multi-écritures. Sachant qu’Unicode ne concerne que la codification univers...

Les cartes à puces ont évolué vers le concept de cartes ouvertes. Ce sont des cartes où l’on peut charger des applications après qu’elles aient été émises (distribuées à leur porteur). De nombreux travaux ont consisté à sécuriser le code mobile qui pouvait être chargé dans la carte [18, 26] afin d’assurer l’intégrité et la confidentialité des données. Cependant, établir des garanties plus large...

Résumé—Dans cet article, nous présentons une proposition de protocole de validation atomique anticipée pour la validation des transactions d’une application temps réel mobile. Ce protocole utilise les «timeout » pour atteindre une décision rapide de validation ou d’abandon de la transaction globale. L’utilisation des délais minimise davantage l’impact du non fiabilité des liaisons sans fil dans...

La construction de systèmes embarqués critiques temps réel suppose de définir conjointement les aspects fonctionnels (algorithmes de calcul, logique de décision) et les aspects non fonctionnels (paramètres de qualité de service, échéances). Afin de valider que le système embarqué critique temps réel est correct, il est souvent nécessaire de disposer d’une vue complète de l’architecture logiciel...