The RED Network

The DEVS network (or réseau DEVS - RED) is a research network led by researchers and engineers. It was created in September, 2014. It is coordinated by Q. Quesnel, P.A. Bisgambiglia and R. Duboz.

The main themes of the network are:

  1. Model driver engineering
  2. Simulator validity, towards a certification
  3. Simulator performance
  4. Validation and verification of models

Who

RED includes people from:

  • MIAT unit (Toulouse) of The Division of Applied Mathematics and Informatics (MIA) of the French National Institute for Agricultural Research (INRA) develops as primary mission of producing generic and finalized information, and developing methods, tools and knowhow in its fields of competence which are mathematics and informatics applied to the sectors of food, agriculture and the environment.
  • IRSTEA (Montpellier)
  • Université du Littoral Côte d’Opale, Laboratoire d’informatique Signal et Image de la Côte d’Opale (LISIC, Calais)
  • CIRAD (Montpellier) research units Animal Health Territories Risks and Ecosystems (ASTRE), Gestion des Ressources Renouvelables et Environnement (GREEN) and Genetic Improvement and Adaptation of Mediterranean and Tropical Plants (AGAP).
  • TIC, UCPP, (Corte)
  • GLC/COMRED, I3S INRIA, (Nice)
  • LAMIH, UVHC, (Valenciennes)
  • UMR LSIS, (Marseille)
  • ISIMA, UBP, LIMOS, (Clermont-Ferrand)
  • LAPS, IMS, (Bordeaux)

Contact

The DEVS network mainly uses a mailing list to share news. To subscribe to the DEVS network mailing list:

To unsubscribe from the mailing list:

Notre workshop 2020 aura lieu à l’IES de Cargèse du 13 au 17 Avril. Petit changement de nom pour élargir la communauté : Journées Francophones de la Modélisation et de la Simulation (JFMS 2020) – troisième workshop du réseau DEVS (RED)
Le mardi 14 novembre 2017 à 14 heures au LSIS UMR 7296, campus Saint Jérôme en salle de Conférences, le LSIS organise le mardi 14 novembre 2017, une demi-journée scientifique dédiée à la mémoire du Professeur Norbert Giambiasi. Cette manifestation réunira de nombreux chercheurs français et étrangers. À cette occasion, la salle du Conseil sera inaugurée au nom de Norbert Giambiasi. 14h Ouverture Mot du directeur du LSIS : Professeur Mustapha Ouladsine Professeur Jeanine Magnier : Parcours universitaire et carrière de Norbert Giambiasi 14h15 Exposés scientifiques Professeur Jean-François Santucci, Université de Corse, France Du test de systèmes digitaux aux recherches autour de DEVS
La prochaine réunion du réseau aura lieu à Bordeaux le lundi 18 Octobre 2017 à l’IMS, Université de Bordeaux à 10:00. (https://www.ims-bordeaux.fr/fr/) dans la Salle de conférence. Lors de cette réunion nous aborderons les points suivants : Organisation des JDF2018 à Cargèse, cours, conférences invités, sponsor, etc. Progression de l’Inscription dans GT du GdR-MACS ANR du réseau Missions et thèmes du réseau Présentation de travaux réalisés à l’IMS Vie du réseau
La prochaine réunion du réseau aura lieu au LSIS UMR 7296. Lors de cette réunion nous aborderons les points suivants : Organisation des JDF2018 à Cargèse : avec ou sans publication, cours, conférences invités, sponsor, etc. Inscription dans un GdR ANR du réseau Mission et thèmes du réseau Vie du réseau
Contexte Le réseau DEVS, ou RED, regroupe des chercheurs et ingénieurs issus d’établissements publics de recherche et d’enseignement supérieur, d’universités et d’entreprises privées. Il a pour but de développer, fédérer et promouvoir les travaux de recherche autour du formalisme à événements discrets DEVS. Ce formalisme, initié par B.P.Zeigler dans les années 70, permet la modélisation et la simulation de systèmes dynamiques complexes. DEVS est un formalisme reconnu pour la spécification de systèmes discrets ou continus complexes.
Contexte Le réseau DEVS, ou RED, regroupe des chercheurs et ingénieurs issus d’établissements publics de recherche et d’enseignement supérieur, d’universités et d’entreprises privées. Il a pour objectif de développer, fédérer et promouvoir les travaux de recherche autour du formalisme à événements discrets DEVS. Ce formalisme, initié par B.P.Zeigler dans les années 70, permet la modélisation et la simulation de systèmes dynamiques complexes. DEVS est un formalisme reconnu pour la spécification de systèmes discrets ou continus complexes.
Sujet La plateforme RECORD est un ensemble d’outils qui supportent les activités de modélisation et de simulation. RECORD est développée et maintenue par une équipe d’ingénieurs et de chercheurs de l’Institut National de Recherche en Agronomie (INRA). Au cœur des outils de RECORD se trouve le logiciel VLE (Virtual Laboratory Environment). Dans RECORD, VLE est entouré d’un ensemble d’outils compatibles avec lui. La suite logicielle ainsi constituée offre aux utilisateurs de la plateforme RECORD de pouvoir développer des modèles de simulation, de les partager aux sein d’une communauté, de faire les analyses des résultats de simulation ou encore d’exécuter les simulations sur des serveurs distants.
Programme de l’atelier du réseau RED Date : Mardi 10 Novembre Horaires : 8h30 à 18h Lieu : Salle visio du bâtiment PS/5 au Cirad de Montpellier, site de La Valette Venue : Aller sur le site web http://cartes.cirad.fr, cliquez sur PARC SCIENTIFIQUE (mpl) dans le menu en haut à gauche, puis sur le bouton PS5. Le bâtiment est alors indiqué sur la carte qui s’affiche. Matinée : La vie du réseau 8h30 : Introduction et bienvenue, tour de table rapide 8h45 : Présentations de travaux de recherche par les membres du réseau : Aznam Yacoub - Complémentarité des méthodes formelles et la simulation à événements discrets (40 mn, discussion incluse) Sylvain Jasson - QSS adaptatif (20 mn + discussion) Youssef Bouanan - DEVS-based framework for message dissemination in multi-layer networks (30 mn, discussion incluse) 10h15 : Soumission d’un projet de recherche par les membres du réseau Identification des bailleurs potentiels Liste des questions de recherche en Théorie de la Modélisation et de la Simulation (TM&S) qui nous intéressent Liste des domaines d’applications de ces questions Préparation du document à faire circuler aux membres du réseau 10h45 : Pause café 11h00 : Un point sur les journées de Cargèse l’an prochain 11h15 : Futur du réseau Financement RNSC (lien avec Mexico?
La prochaien réunion du réseau aura lieu au Cirad à Montpellier sur le site de La Valette. Elle a deux objectifs principaux. Le premier est de faire vivre le réseau bien sûr, au travers de cette rencontre annuelle au cours de la quelle les membres du réseau présentent leur travaux, échangent leurs idées et discutent du montage de projets de recherche communs et de conférences autour de DEVS. Le deuxième objectif sera de faire la promotion de la modélisation des systèmes dans le cadre de DEVS et des technologies associées aux agents Cirad intéressés.
The first meeting of has been organized by the MIAT departement at INRA, Toulouse. Main Topics adressed by RED: Modeling and Simulation Model Driven Engineering (MDE) Checking, Perfomance of simulators Proposition de sujets de stages: Revue de la littérature sur les méta-modèles puis développer le méta-modèle DEVS certifié par RED. Développement de modèles tests pour chacun des simulateurs référencés par le réseau.
Menu