Méthodes orientées agent et multi-agent

http://www.emse.fr/~picard/publications/bernon09industrie.pdfNational audienceLes systèmes multi-agents (SMA) ont montré leur pertinence pour la conception d'applications distribuées (logiquement ou physiquement), complexes et robustes. Le concept d'agent est aujourd'hui plus qu'une technologie efficace, il représente un nouveau paradigme pour le développement de logiciels dans lesquels l'agent est un logiciel autonome qui a un objectif, évolue dans un environnement et interagit avec d'autres agents au moyen de langages et de protocoles (voir le chapitre 1 " Introduction aux systèmes multi-agents "). Souvent, l'agent est considéré comme un objet " intelligent " ou comme un niveau d'abstraction au-dessus des objets et des composants (voir le chapitre 5 " Composants logiciels et systèmes multi-agents "). Les méthodes de développement orientées objet - au vu des différences entre les objets et les agents - ne sont pas directement applicables au développement de SMA. Il est alors devenu nécessaire d'étendre ou de développer de nouveaux modèles, de nouvelles méthodologies et de nouveaux outils adaptés au concept d'agent

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

Programmation mathématique et modélisation énergétique

Nous examinons les possibilités d’utilisation des modèles d’optimisation de flux énergétiques dans des systèmes intégrés incluant des modèles de demande économétriques, d’optimisation ou de simulation. La discussion est conduite à partir des modèles MARKAL et EFOM.We consider the possibilities of using energy flows optimization models into integrated systems including econometric demand models, optimization models or simulation models. This question is conducted using models such as MARKAL and EFOM as examples

Implantation temps réel sur GPU d'un écran d'épingles dynamique

Actes: http://liris.cnrs.fr/publis/?id=4183National audienceCet article présente une implantation temps réel sur processeur graphique de la méthode dite de l’écran d’épingles dynamique inspiré de la méthode de gravure d’Alexandre Alexeïeff. Cette méthode initialement, proposée par [HL02] et fondée sur un formalisme masses- interactions, était trop coûteuse pour pouvoir s’insérer dans une application interactive. Cet article résout ce frein majeur à l’exploration des possibilités dynamiques de la méthode. Il présente alors un certain nombre d’applications obtenues en temps-réel : (1) la visualisation de modèles particulaires simulés sur une machine amont en temps réel ou en temps différé, (2) l’utilisation de l’écran d’épingles dynamique comme modèle physique pour des scènes 3D complexes, (3) une gravure directe par l’intermédiaire de la souris

Contribution à la modélisation explicite des plates-formes d'exécution pour l'IDM

23 pagesNational audienceOne foundation of the model driven engineering (MDE) is to separate the modelling application description from its technological implementation (i.e. platform). Some of them are dedicated to the system execution. Hence, one promise solution of the MDE is to automate transformations from platform independent models to platform specific models. Little work has explicitly described platform characteristics. Yet, an explicit modelling allows taking in account their characteristics more easily (par ex., performances, maintainability,portability). This paper presents both an execution platform modelling state of art and a pattern to describe execution platform modelling framework. It intends to confirm the feasibility and the interests in describing an execution platform metamodel

Inférer et simuler un modèle biologique décrivant l'adhérence entre cellules

http://www710.univ-lyon1.fr/~csolnonL'adhésion entre cellules joue un rôle critique dans la formation des tissus et des organes. Elle intervient aussi dans le contrôle des leucocytes traversant l'endothélium des vaisseaux sanguins. Notre connaissance de ce phénomène est actuellement partielle. Même si certaines protéines impliquées et leurs interactions sont identifiées, d'une part d'autres intervenants restent certainement à découvrir et d'autre part les valeurs des paramètres cinétiques doivent être déterminées. De tels problèmes rendent nécessaires des modélisations qui oeuvrent au niveau qualitatif et qui fournissent au biologiste une large palette de fonctionnalités, allant de l'inférence de modèles à partir de données comportementales, à la simulation, en passant par la vérification de propriétés et la proposition d'expériences significatives. La Programmation Logique avec Contraintes (PLC) apparaît a priori comme un très bon candidat face à cette problématique dans la mesure où elle propose une seule spécification pour plusieurs besoins. Nous présentons la définition et la mise en oeuvre en PLC d'un type bien identifié de modèles : les réseaux logiques asynchrones multivalués dus à R. Thomas, en soulignant l'intérêt de la composition de contraintes (booléennes et numériques). Nous illustrons les capacités multi-fonctionnelles de cette approche en étudiant un sous-système relatif à l'adhésion cellulaire représenté comme un réseau logique. Nous nous intéressons particulièrement à la présence d'états stationnaires et à celle de comportements réparateurs de l'adhérence après une perturbation