Représentation mathématique du temps : après Reichenbach

Article à paraître dans la revue Tranel.La plupart des modèles formels du temps pour la linguistique assimilent in fine « la ligne métaphorique du temps » à la droite numérique des nombres réels. Pourtant, beaucoup de linguistes ont adopté une approche relationnelle de la temporalité, se fondant sur les travaux de Reichenbach (1947). Nous montrons ici qu'il existe un modèle mathématique qui suit de manière naturelle cette approche relationnelle. Il s'agit du modèle des S-langages, fondé sur la théorie des langages formels. En effet, ce modèle (i) capte les deux relations temporelles fondamentales de précédence et de simultanéité, (ii) permet de représenter à la fois les propriétés de discrétion et de continuité des objets linguistiques, (iii) fournit les opérateurs algébriques nécessaires au raisonnement temporel sans recours au temps défini par une théorie logique

Gestion intégrée de l'eau au sein d'un bassin versant

Il est proposé de concevoir un environnement de modélisation permettant d'envisager différentes alternatives de gestion du bassin correspondant à divers objectifs : valorisation, équité, durabilité. Cet environnement est fondé sur un système d'information à référence spatiale et temporelle, et propose une interface conviviale pour définir et activer différents modèles. Pour répondre à des questions concrètes de gestion, les thématiciens et acteurs du projet auront à définir les liaisons entre modèles de natures différentes, en assurant la cohérence des échelles d'étude spatiale et temporelle. Par exemple, sur la nappe de Kairouan il est intéressant de tester l'impact de politiques de taxation ou d'évolution du marché sur les dynamiques d'extension des exploitations agricoles privées et publiques en liaison avec l'état des réserves en eau. Afin de capitaliser les travaux effectués, il est proposé de développer un modèle de demande basé sur une représentation technico-économique des exploitations agricoles. Sur le bassin amont, il convient de développer des modèles hydrologiques afin d'évaluer l'impact d'aménagements du territoire comme les banquettes, les lacs collinaires. Des modèles d'allocation, basés sur une représentation de type arcs-noeuds, vont être utilisés afin d'explorer les limites des aménagements. Il est ainsi possible de simuler l'évolution de l'occupation du territoire, en activant le modèle d'allocation couplé au modèle hydrologique et au modèle de demande, et de tester la faisabilité de réallocations de l'eau au sein du bassin, issues d'une modélisation économétrique. Les tests des scénarios d'évolution nécessitent de nombreuses simulations, pertinentes en terme d'évolutions socio-économiques et représentatives de l'aléa hydrologique. (Résumé d'auteur

Contrôle de la fiabilité des logiciels à évoluer : un canevas pour le développement incrémental et itératif de logiciels à composants et orientés service

National audienceLes systèmes logiciels modernes se distinguent par un besoin d'évolution rapide et une complexité croissante, avec notamment l'apparition de nouveaux domaines d'applications, comme par exemple les logiciels destinés aux périphériques mobiles, c'est-à-dire les assistants mobiles tels que les téléphones ou encore les tablettes. Dans ces domaines, les utilisateurs réclament que les logiciels fournissent toujours plus de fonctionnalités. Ces logiciels ont alors besoin de prendre en compte ces nouvelles exigences demandées, tout en ayant conscience du nombre toujours croissant de périphériques hétérogènes

La spatialisation de la biodiversité : pour la gestion durable des territoires

Depuis le sommet de Rio de Janeiro en 1992, la diversité du vivant n’est plus l’apanage des biologistes : le concept de biodiversité envisage les relations du monde biologique avec les sociétés. La diversité se trouve en effet à présent au cœur des préoccupations de développement durable et de conservation. L’Amazonie, considérée comme une région de très grande diversité, attire depuis longtemps toutes les convoitises mais suscite désormais des inquiétudes : la nature inépuisable nous apparaît dès lors comme une biodiversité en péril. Mais, comment évaluer l’état et les transformations de la biodiversité de cette immense région ? Quels sont les effets des nombreuses politiques publiques de développement et de conservation qui s’y sont multipliées ces dernières décennies ? Cet ouvrage présente d’abord la complexité de quelques situations locales amazoniennes – des systèmes agricoles indigènes aux fronts pionniers associés à l’élevage extensif. L’imagerie satellitale permet ensuite de cartographier les dynamiques de la biodiversité végétale dans l’espace et le temps à partir d’une analyse des paysages et de l’estimation de leur complexité grâce à une démarche pluridisciplinaire (de la botanique à l’anthropologie). Les transformations des paysages et les variations concomitantes de la biodiversité sont par ailleurs mises en relation avec les politiques publiques et les actions privées. L’approche méthodologique, volontairement simple, a été élaborée avec l’ambition d’être applicable à d’autres espaces forestiers tropicaux

Adaptabilité et reconfiguration des systèmes temps-réel embarqués

Les systèmes temps réel peuvent être grands, distribués et avoir un environnement dynamique. Cela exige la mise en place de différents modes de fonctionnement et techniques de fiabilité. Par ailleurs, ces différents changements dynamiques d'architecture et de comportement ont un impact sur les caractéristiques temporelles des systèmes qui nécessitent une étude particulière de la capacité des comportements d'adaptation à garantir les contraintes fixées aux systèmes. Le travail présenté dans cette thèse est focalisé sur la spécification de l'adaptabilité d'un système temps réel et l'étude sur de jeux de configurations prédéfinis de l'impact temporel des actions d'adaptation dynamique. Pour cela, nous présentons une méthodologie outillée basée sur la notion de Mode du profil MARTE. Chaque mode représente un comportement possible du système pour un environnement bien déterminé associé à une configuration logicielle. L'approche développée propose de modéliser le comportement adaptatif à travers la définition du contexte, de la variabilité, des opérations de reconfigurations et de la configuration de base. L'analyse d'ordonnançabilité est ensuite effectuée au niveau du modèle en intégrant l'impact des comportements d'adaptation. Deux paradigmes de modélisation peuvent alors être exploités pour effectuer cette analyse : les requêtes et les flots de données. Cela permet de vérifier que les contraintes temporelles de notre système resteront satisfaites en intégrant les opérations de reconfiguration issues du comportement adaptatif. Enfin, l'approche permet de générer des implantations des comportements adaptatifs à partir des modèles afin d'automatiser l'intégration des mécanismes d'adaptation dans les systèmes temps réel.Real-time systems can be large, distributed and have a dynamic environment. This requires the introduction of various operating modes and reliability techniques. Different operating modes are associated with a different architecture and behavior. Dynamic changes between these modes have an impact on the temporal characteristics of systems which requires an analysis whether the constraints of the system are also fulfilled during adaptations. The work presented in this thesis is focused on specifying the adaptability and the study of the temporal impact of dynamic adaptation actions on a predefined set of configurations. For this purpose, we present a tooled methodology based on the concept of Mode of the MARTE profile. Each mode represents a possible behavior of the system for a well determined environment associated with a software configuration. The influence of these operations on the temporal behavior of the system is done via schedulability analysis. This methodology proposes to model the adaptive behavior through the definition of the context, the variability, the reconfiguration operations and of the base configuration. The schedulability analysis is performed at the model level by incorporating the impact of the behavior of adaptation. Two paradigms of modeling can be exploited to perform this analysis: request/reply and data flow. This allows to verify that the temporal constraints of our system will remain satisfied even with the inclusion of reconfiguration operations executing the adaptive behavior. Finally, the approach allows generating the implementation of adaptive behavior from the model to automate the integration of adaptation mechanisms in real-time systems.PARIS11-SCD-Bib. électronique (914719901) / SudocSudocFranceF

Co-construction d'un outil de gestion intégrée sur le bassin du Merguellil, Tunisie Articulation et cohérence de modèles

International audienceIl est proposé de concevoir un environnement de modélisation permettant d'envisager différentes alternatives de gestion du bassin correspondant à divers objectifs : valorisation, équité, durabilité. Cet environnement est fondé sur un système d'information à référence spatiale et temporelle, et propose une interface conviviale pour définir et activer différents modèles. Pour répondre à des questions concrètes de gestion, les thématiciens et acteurs du projet auront à définir les liaisons entre modèles de natures différentes, en assurant la cohérence des échelles d'étude spatiale et temporelle. Par exemple, sur la nappe de Kairouan il est intéressant de tester l'impact de politiques de taxation ou d'évolution du marché sur les dynamiques d'extension des exploitations agricoles privées et publiques en liaison avec l'état des réserves en eau. Afin de capitaliser les travaux effectués, il est proposé de développer un modèle de demande basé sur une représentation technico-économique des exploitations agricoles. Sur le bassin amont, il convient de développer des modèles hydrologiques afin d'évaluer l'impact d'aménagements du territoire comme les banquettes, les lacs collinaires. Des modèles d'allocation, basés sur une représentation de type arcs-noeuds, vont être utilisés afin d'explorer les limites des aménagements. Il est ainsi possible de simuler l'évolution de l'occupation du territoire, en activant le modèle d'allocation couplé au modèle hydrologique et au modèle de demande, et de tester la faisabilité de réallocations de l'eau au sein du bassin, issues d'une modélisation économétrique. Les tests des scénarios d'évolution nécessitent de nombreuses simulations, pertinentes en terme d'évolutions socio-économiques et représentatives de l'aléa hydrologique

Contrôle multidimensionnel interactif et application à l'édition de contenus cinématographiques virtuels

De nombreux outils d'aide à la création de contenus 3D sont disponibles mais proposent des modalités d'interaction et des modèles sous-jacents qui restent peu expressifs et fastidieux dans leur utilisation. En parallèle, de nombreux travaux de recherche s'attachent à améliorer l'expressivité des modèles de création de contenus avec des approches largement automatisées mais laissent peu de place à la créativité des utilisateurs. Dans ce contexte, nous nous intéressons au contrôle interactif des éléments cinématographiques d'une scène 3D (principalement le positionnement des caméras). Nous proposons un nouvel outil, nommé Collastar, qui met en place une interaction collaborative sur des paramètres de contrôle haut niveau liés à la cinématographie, en utilisant le support de tablettes tactiles. L'outil repose sur un couplage entre un modèle de représentation en étoile pour le contrôle collaboratif et une représentation de type "linear wall" pour une appréhension des éléments de décision dans une approche "focus+context". Nos contributions portent sur la visualisation de données multidimensionnelles et l'interaction collaborative avec ces données. Les premières évaluations montrent que l'outil est adapté à des tâches d'édition collaboratives, facilite la visibilité des contrôles et la compréhension des liens entre ceux-ci. Enfin, l'outil montre une capacité intéressante à faciliter la création de contenus cinématographiques qu'il reste à explorer et évaluer plus finement

Ingénierie dirigée par les modèles pour la simulation, le cas de PRISE

Dans cet article, nous présentons une approche dirigée par les modèles permettant de fournir une vision haut niveau d’une simulation basée sur le standard HLA « High Level Architecture » sous forme d’un modèle AADL. Cette modélisation permet d’abstraire les paramètres clés d’une fédération HLA, de générer le code utile en lieu et place d’une écriture manuelle et de vérifier certains paramètres clés

Modélisation d'architectures d'applications - Moyens et formalismes

Rapport interne.Ce document présente un état de l'art des moyens de description d'architectures d'applications informatiques qui peuvent s'appliquer dans le contexte des systèmes d'automatisation de la production du domaine manufacturier. Certains langages de description d'architecture (ADL) sont analysés. Les techniques de description formelle (FDT) sont étudiées sous le même point de vue. Puis, le pouvoir d'expression de ces formalismes pour la vérification de propriétés des applications prenant en compte la distribution et les performances du support matériel est discuté. Enfin,ils sont confrontés aux concepts de " middleware " et de " CORBA ". l'annexe rassemble les tableaux comparatifs sur certains ADL analysés