Posts on The RED Network

Workshop RED 2024

Thu, 19 Oct 2023 10:41:29 +0200

Notre conférence à Cargèse JFMS 2024 aura lieu du 4 au 8 novembre 2024 à l’IES de Cargèse.

Workshop RED 2022

Fri, 09 Jul 2021 08:42:00 +0100

Notre conférence à Cargèse JFMS 2022 aura lieu du 28 mars au 1er avril 2022 à l’IES de Cargèse.

Workshop RED 2020

Wed, 10 Jun 2020 10:34:30 +0100

Notre conférence à Cargèse JFMS 2020 est finalement avancée du lundi 2 au vendredi 6 novembre à l’IES de Cargèse.

Le programme sera maintenu avec les 4 conférences :

Alexandre Muzy : « Rétrospective sur le formalisme DEVS »
Philippe Mathieu : « SMA, simulation et approche orientée interaction »
Raphaël Duboz et Romain Franceschini : « Historique des associations DEVS & SMA »
Grégory Beurier : « Simulation et données massives »

Les ateliers :

Un atelier GDR MACS adossé à une conférence plénière (à définir et confirmer) ;
Un atelier DEVS + SMA adossé aux plénières 1, 2 et 3
Un atelier reproductibilité (à confirmer)
Un atelier sur l’aide à la décision et l’usage des données en lien avec le programme FEDER MoonFish et la plénière 4.

Nous avons la possibilité de compléter le programme avec de nouvelles communications mais celles-ci ne pourront figurer dans la première version papier des actes, imprimée sous forme de livre aux éditions Cépadues. Nous pourrons tout de même réaliser et mettre en ligne un nouveau document :

Voici les nouvelles dates :

04 Octobre 2020 : soumission des articles
15 Octobre : réponse des relecteurs
30 Octobre 2020 : version finale
Octobre : Début des inscriptions
2-6 Novembre Conférence (arrivée possible le 01/11 et départ possible le samedi 7/11)

Hommage au Professeur Norbert Giambiasi

Tue, 17 Oct 2017 10:45:14 +0100

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
Professeur Gabriel Wainer, Université de Carleton, Canada Cell-DEVS : contribution and challenges to DEVS world
15h30 Témoignages scientifiques
16h Intervention de Mickael Giambiasi : Sciences et famille*
16h15 Inauguration de la Salle Norbert Giambiasi *
16h30 Cocktail

Merci de bien vouloir confirmer votre présence par mail (orinne.bonnaud(at)lsis.org) avant le 30 octobre 2017.

18 octobre 2017 : Bordeaux appel à participation

Tue, 17 Oct 2017 10:40:40 +0100

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

20 mars 2017 : Marseille appel à participation

Sat, 03 Jun 2017 21:00:00 +0100

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

Offre de stage 2016 : Vers un méta-modèle DEVS

Fri, 01 Jul 2016 14:28:21 +0100

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. En DEVS, le modèle est vu comme un réseau d’interconnexions entre des modèles atomiques et couplés en interaction via l’échange d’événements.

Afin de fédérer le RED, il est nécessaire de proposer une base commune de réflexion avec l’élaboration d’un méta-modèle DEVS cohérent avec les travaux déjà proposés par la communauté. Confrontés à des choix de conception, les méta-modèles existants diffèrent. Une description unique de la structure et de la sémantique de DEVS (le méta-modèle) va permettre d’établir un standard. L’utilisation des outils de l’IDM (Ingénierie Dirigée par les Modèles) donnera la possibilité à la communauté de limiter les efforts nécessaires pour partager les modèles existants (transformations de modèles) ou encore autoriser la création rapide de nouveaux DSLs consistant avec le méta-modèle DEVS.

Objectifs du stage

Effectuer une revue de la littérature sur les méta-modèles DEVS.
Déterminer les incompatibilités de point de vue entre les différents méta-modèles et les documenter.
Proposer au réseau DEVS un méta-modèle cohérent issu de l’ensemble des méta-modèles recueillis dans la littérature.
Étendre le méta-modèle structurel établi en utilisant un métalangage autorisant la description comportementale.
Faire une description des langages de transformation type ATL.

Compétences souhaitées

Maîtrise de la modélisation conceptuelle orientée objet (diagramme de classe UML, MCD, ERD, etc.)
Connaissance préalable des principes de l’IDM.
Aisance à la lecture de document en anglais.

Compétences appréciées

Connaissance en programmation orientée aspect.
Connaissance de la plateforme de développement Eclipse.
Maîtrise d’un langage de méta-modélisation (Ecore, kermeta, etc.

Ce stage de Master 1 année ou 2 année d’ingénieur, d’une durée de 4 ou 5 mois se déroulera dans l’unité de Mathématiques et Informatique Appliquées de Toulouse (MIA-T) à l’INRA de Toulouse. Il sera encadré par Gauthier Quesnel et des membres du réseau DEVS.

Les candidatures, sous forme d’un Curiculum Vitae et d’une lettre de motivation, sont à adresser à gauthier.quesnel@inra.fr.

Sujet de stage 2016 : Vers une certification des simulateurs DEVS

Fri, 01 Jul 2016 14:27:44 +0100

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. En DEVS, le modèle est vu comme un réseau d’interconnexions entre des modèles atomiques et couplés en interaction via l’échange d’événements.

DEVS propose une approche formelle et opérationnelle de la modélisation et de la simulation en fournissant un ensemble d’algorithmes, les simulateurs abstraits. Il existe de nombreuses variantes de ces algorithmes ; adaptées par exemple au contexte d’utilisation. Cependant, le développement informatique de ces algorithmes peut être entaché de problèmes ou de mauvaises interprétations des simulateurs abstraits. Dans le cadre d’une certification des simulateurs DEVS par le réseau, il est nécessaire de disposer d’un ensemble de modèles pour valider et assurer le comportement des simulateurs.

Objectifs du stage

Étudier et choisir un *Domain Specific Language* (DSL) à DEVS (DEVSML, DEVSpecL, formalisation mathématique, etc).
Développer un code informatique de traduction du DSL choisi vers un ou plusieurs simulateurs retenu par le réseau. Ce travail pourra également être réalisé par l’équipe qui maintient le simulateur.
Réaliser un ensemble de modèles DEVS et PDEVS, en utilisant le DSL précédement choisi, dans le but de tester et valider une grande partie des possibilités des simulateurs DEVS.
Générer, à partir des modèles, le code source pour les simulateurs retenus par le réseau.
Réaliser un document de synthèse, à l’image du chapitre 2 du rapport Efficient DEVS simulation) de Yentl Van Tendeloo.

Compétences souhaitées

Langage, Grammaire, Transformation de code.
Au moins un langage de programmation C, C++, Python, Ruby ou Java.
La connaisance en modélisation de systèmes dynamiques serait un plus.

Les candidatures, sous forme d’un Curiculum Vitae et d’une lettre de motivation, sont à adresser à gauthier.quesnel@inra.fr.

10 november 2015: Atelier Montpellier

Fri, 06 Nov 2015 10:06:53 +0100

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?)
Sujets de stages
Fréquentation de la réunion - Aller vers des réunions en visio plus fréquentes ?
Mode d’animation et gouvernance du réseau
Programmation du prochain atelier

12h15 : Déjeuner à la cafétéria du Cirad (10 min à pied)

Après-midi : Atelier promotion de DEVS et de la TM&S au Cirad

13h30 : Présentations par les membres du réseau RED sur la TM&S, DEVS et les outils associés (environs 20 mn par présentation + 10 mn de questions)

Raphaël Duboz - Théorie de la modélisation et de la simulation : Histoire et évolution.
Raphaël Duboz - Le formalisme DEVS et ses extensions.
Gauthier Quesnel - Les simulateurs DEVS et l’exemple du Virtual Laboratory Environment (VLE)
Jean-Christophe Soulié, Jean-Pierre Muller et Raphaël Duboz - Exemples d’applications au Cirad.
Patrick Chabrier - La modélisation collaborative : l’exemple de la plateforme Record à l’INRA.

16h00 : Pause café

16h30 : Discussions

TM&S et interdisciplinarité
DEVS et les bibliothèques ou bases de modèles et le patrimoine numérique
Discussion ouverte

17h30 : Conclusion

18h00 : Fin de l’atelier

10 november 2015: Montpellier appel à participation

Thu, 01 Oct 2015 10:06:41 +0100

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. Cette promotion, au Cirad et au-delà bien sûr, est importante pour la vie et le futur du réseau RED.

Au plaisir de se revoir ou de vous rencontrer à Montpellier !

Sujet de stage 2016

Thu, 12 Feb 2015 12:39:43 +0100

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. Le Centre International de Recherche en partenariat en Agronomie pour le Développement (CIRAD), et le département de mathématiques et informatique appliquées (MIA) de l’INRA souhaitent renforcer leur collaboration autour la plateforme RECORD. Ce stage s’inscrit dans cette dynamique de rapprochement des deux établissements.

Objectifs

Le stagiaire participera à l’évolution du logiciel VLE, principalement sur les interfaces de modélisation et à l’évolution des services web associés. En collaboration avec l’équipe d’encadrants au CIRAD et l’équipe RECORD et membres de l’équipe MIA de l’INRA de Toulouse, le stagiaire fera évoluer les interfaces logicielles et interfaces web associées à VLE du coté client et les services associés du coté serveur. Une démonstration de l’utilisation de ces outils sera faite à la fin du stage.

Compétences recherchées

Langages de programmation – C++, Python, Java
Outil de gestion de version – Git ou similaire
Systèmes d’exploitation – Linux et Windows
Web Services
Autonomie
Écoute

Informations

Rémunération : 500 euros par mois plus un accès à la cantine du CIRAD.
Durée du stage : de 4 à 6 mois
Prise de fonction : printemps 2016
Lieu du stage : au CIRAD à Montpellier
Encadrants : Raphaël Duboz, Jean-Christophe Soulié et François Guerrin, chercheurs au CIRAD
Informations et candidature : Raphaẽl Duboz

6-7 november 2014: Toulouse appel à participation

Mon, 24 Nov 2014 10:11:32 +0100

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.