Projects MoVe
Team : MoVe
Eco Design : Approches centrées sur l’humain pour la conception d’objets numériques plus soutenables
Project Leader : Adel Noureddine
01/01/2026
Réduire l'empreinte énergétique des logiciels grâce aux changements de comportement des utilisateurs
L’augmentation de la consommation énergétique des systèmes logiciels nous impose à mesurer, optimiser et réduire leurs impacts écologiques. Le rôle des utilisateurs est souvent négligé dans l’équation de l’optimisation énergétique. En particulier, les utilisateurs finaux reçoivent rarement des retours d’information sur la consommation énergétique de leur usage des logiciels, et ont peu de connaissances sur comment réduire, efficacement, l’empreinte énergétique et écologique des logiciels. Nous pensons que le prochain changement majeur en lien avec la réduction énergétique logicielle ne pourrait être pleinement atteint sans l’implication des acteurs humains, et en particulier des utilisateurs finaux. BEHAVE! est un projet de recherche fondamentale et appliqué qui vise à étudier le rôle des utilisateurs finaux dans les réductions d’énergie logicielle, et impulser des changements de comportements des utilisateurs pour atteindre cet objectif. Nous visons à construire des connaissances autour des comportements des utilisateurs en lien avec l’énergie logicielle, à travers des études de terrain approfondies, quantitatives et qualitatives. Nous visons aussi à construire une approche autonome et exploitant l’intelligence artificielle, et qui impulse des changements de comportements à long terme via un retour d’information vert et des outils de recommandations. Finalement, nous visons à disséminer des guides et des outils pour aider les utilisateurs à identifier le coût énergétique du logiciel et les meilleures solutions alternatives.
Project Leader : Adel Noureddine
09/01/2025
BCMCyPhy - Component model for cyber-physical control systems
This research project and its associated software aim at designing and implementing a software component model for cyber-physical control systems. It develops over the BCM4Java project from which it uses the basic concepts and the implementation of distributed components in Java (10.000 lines of code and documentation today). Besides integrating real time components, this project studies component-based software architectures for control, their specification using stochastic hybrid systems and their simulation using models following the DEVS standard. A particular focus is given on the parallel composability between components, their individual specifications and simulation models. A software subproject of BCMCyPhy proposes a new implementation in Java of the DEVS standard for modular simulation of components and their assemblies (20.000 lines of code and documentation today). The simulators obtained through the composition of the components simulator models allow to debug, test, verify and validate applications. This software has been used by a few tens of students and is still being used in the context of the ALASCA master 2 course since 2018.
Project Leader : Jacques MALENFANT
06/18/2019
PNML Framework
PNML Framework is a prototype implementation of ISO/IEC-15909 part 2, International Standard on Petri Net Markup Language. The primary purpose of PNML is to enable interoperability among Petri net tools. PNML framework has thus been designed to back the Standard. It will enable Petri nets tools developers to seamlessly integrate PNML support into their tools. It provides an extensive and comprehensible API to create, save, load and browse PNML models.
Project Leader : Fabrice KORDON
04/01/2005
CPN-AMI
is a Petri Net based CASE environment. It offers a set of services to perform specification, validation, formal verification, model checking, compute structural properties (invariants, traps, syphons etc.) simulate and generate code. These services have been implemented either by members of our team or university partners (Technical university of Helsinki, University of Torino, Technical university of Munchen, Bell laboratories). The second geration of CPN-AMI, build on top of FrameKit, is available on the Internet since March 1997.
Project Leader : Fabrice KORDON
12/01/1994
SPOT - Spot Produces Our Traces
SPOT (Spot Produces Our Traces) est une bibliothèque de model-checking facilement extensible. À la différence des model-checkers existants, dont le mode opératoire est immuable, SPOT fournit des briques que l'utilisateur peut combiner entre elles pour réaliser un model-checker répondant à ses propres besoins. Une telle modularité permet d'expérimenter facilement différentes combinaisons, et facilite le développement de nouveaux algorithmes. D'autre part, cette bibliothèque est centrée autour d'un type d'automates particulier permettant d'exprimer les propriétés à vérifier de façon plus compacte, qui n'a jamais été utilisé dans un outil jusqu'à présent.
Project Leader : Denis POITRENAUD
