Vous êtes sur la page 1sur 72

Une architecture logicielle pour la multi-modélisation

et la simulation à événements discrets de systèmes


naturels complexes

Jean-Baptiste
Filippi
Décembre 2003
Glo ssaire Glossaire
Architecture logicielle

Structure d’un ensemble


d’éléments de conception et

Cadriciel
d’implémentation qui
s’organisent pour former une
base réutilisable destinée à
créer une application spécifique
Glossaire Glossaire
Paradigme

Représentation du monde,
manière de voir les choses.
Le paradigme de modélisation
est la métaphore informatique
que le modélisateur emploie
pour conceptualiser un système.
Glossaire Glossaire
Formalisme

Ensemble de structure et de
grammaires mathématiques
permettant d’exprimer un
paradigme.
Glossaire Glossaire
echnique de modélisation et simulation
T

Ensemble des méthode


informatique logicielles
permettant d’implémenter et de
simuler un modèle suivant un
formalisme.
Glossaire
Multi-modélisation

Modélisation utilisant
simultanément plusieurs
techniques différentes
Sommaire

Problématique
Problématique
Bases de l’approche
Existant
Le cadriciel
Techniques ajoutées
Implémentation
Modèles
Perspectives
95%
Problématique générale
Modélisation de systèmes naturels

Système

Paradigmes spécifiques
• Diagrammes de blocs
• Équations différentielles
• Réseaux de Neurones
Spécialiste 1 • Automates Cellulaires
Hydrologue • Multi-Agents
Spécialiste 2
Écologue Outils informatiques spécifiques
• Systèmes d’Information Géographiques
95%
Problématique générale
Élaboration d’un modèle

Spécialiste Définition du problème

Choix du paradigme

Spécification formelle Selon paradigme


Modèles peu compatibles
Choix de l’environnement Outils existants

Informaticien Implémentation echnique


T

Validation
95%
Problématique générale
Besoins identifiés

Composer des modèles hétérogènes Multi-modélisation

Cadriciel,
Approche logicielle ouverte Utilisation d’UML

Interface avec des outils adaptés S.I.G.


Intégration des techniques • Diagrammes de blocs
• Réseaux de Neurones
appropriées aux thématiques
• Automates Cellulaires
du laboratoire • Nouvelles techniques ?
95%

Sommaire
Problématique
Bases de l’approche
Bases de l’approche
Existant
Le cadriciel
Techniques ajoutées
Implémentation
Modèles
Perspectives
0%
Bases de l’approche
Multi-modélisation - Co-simulation

Formalisme A Formalisme B Formalisme C

Modèle A. Modèle B. Modèle C.

Multi-Modèles

Modèle B.
Modèle A. Modèle C.

Connexion uniquement par passage de valeurs


V
alidité formelle des composition ?

Approche retenue dans High LevelArchitecture


2%
Bases de l’approche
Multi-modélisation - Transformation

Meta-Meta-modèle
Meta-modèle A Meta-modèle B Meta-modèle C Meta-modèle X
Formalisme A Formalisme B Formalisme C Formalisme X

Modèle A. Modèle B. Modèle C.

Modèle A. Modèle B. Modèle C. Transformation

Multi-Modèle
Possibilité d’étude analytique des modèles
Approche existante dansAtom3Modèle B.
Modèle A. Modèle C.
Nécessité de définition de meta et meta-meta modèles
4%
Bases de l’approche
Multi-modélisation - Super formalisme
Multi-Modèles

Super Formalisme Modèle B


Modèle A. Modèle C.

Formalisme A Formalisme B Formalisme C

Modèle A. Modèle B. Modèle C.

Possibilité d’étude analytique des modèles

Composition de modèles valides

Besoin de super-formalisme
6%
Bases de l’approche
Environnement existant

Approche multivue

 Hiérarchie d’abstraction
 Hierarche temporelle
 Hiérarchie de description

Base formelle pour une approche logicielle


8%
Bases de l’approche
Formalisme unificateur : DEVS

DEVS
Formalisme utilisé dans l’approche multivue

Formalisme très proche de la théorie


générale des systèmes

Nombreux paradigmes déjà adaptés

En cours de standardisation, communauté active

Modèles directement simulables


10%
Bases de l’approche
Formalisme unificateur : DEVS

Construction Hiérarchique Arbre de simulation


Couplé A
Root
Atom 1 Atom 2
Coordinateur A

Simulateur 1
Couplé B
Simulateur 2
Coordinateur B
Couplé 2
Simulateur 3
Atom 3 Atom 4 Simulateur 4
10%
Bases de l’approche
Formalisme unificateur : DEVS - modélisation

Modèles atomiques

Ensemble d’entrée
Ensemble
Fonction
Ensemble
des
Fonction
dede
états
transition
sortie Durée
deFonction
transition
interne de l’état
deexterne
sortie

Modèles couplés

Ensemble
Index d’entrée
Ensemble
des
Ensemble
modèles
de sortie
des Liaisons
composites
modèles d’entrées
composites
Liaisons de
Liens
sorties
internes
12%
Bases de l’approche
Formalisme unificateur : DEVS - simulation

Fonction de sortie S
Transition interne

X Ss
S1 Y

Transition externe
ta S1 Envoi des sorties

Réception des Légende


entrées Mise en attente Entrée de fonction
Résultat de fonction
14%
Bases d e l’ap p roch e
Démarche

Assure la cohérence
Choix d’un formalisme unificateur des futurs modèles

Étude des approches existantes Identifie les modules


Principaux du cadriciel
Spécification du cadriciel Analyse comment
réaliser ces les
Paradigme modules
plus
Choix des techniques à intégrer utiles en modélisation
de systèmes naturels
Proposer un logiciel
Implémentation JDEVS
basé sur ce cadriciel
Obtenir l’évaluation
Publication du logiciel
du logiciel
16%

Sommaire
Problématique
Bases de l’approche
Existant
Existant
Le cadriciel
Techniques ajoutées
Implémentation
Modèles
Perspectives
18%
Existant
Logiciels basés sur DEVS
Séparation explicite
entre interface graphique DEVSJAVA
et librairie de simulation
Collaborative DEVS Modeller
Utilisation de bibliothèques
de modèles, ajout de Moose
méthodes via librairie C++
Meta-grammaire
Transformation de graphes Atom3
DEVS unificateur

Automates cellulaires Cell DEVS


Syntaxe simplifiée
20%
Existant
Logiciels de modélisation environnementale
Réutilisation de modèles
Bibliothèque de composants SWARM
Plusieurs cadres expérimentaux
Intégration totale au SIG
Séparation simulation/stockage Tarsier
Analyse/Visualisation
Utilisation de Java,
Parallélisme des calculs ECLPSS
Multi-échelles
Agents réactifs
Bibliothèque de fonctions VLE
Séparation simulation/analyse
Multi-agent/automate cellulaires
Séparation en modules modélisation Cormas
simulation et observation
22%
Existant
Conclusions

Utilisation d’un formalisme unificateur.


Traitement/analyse de données : SIG.
Architecture modulaire, modélisation,
simulation, stockage et expérimentation.
Utilisation de bibliothèques.
Cadres d’expérimentation souples pour
plusieurs utilisateurs cibles.
Intégration multi-agent/ réactifs / situés ?
24%

Sommaire
Problématique
Bases de l’approche
Existant
Le cadriciel
Le cadriciel
Techniques ajoutées
Implémentation
Modèles
Perspectives
26%
Le cadriciel
Méthode généraux

Méthodologie UML
Outils de
Découpage sous forme de Packages Conception

Utilisation de Patrons de Conception

Publication en GPL sur le web


Outils de
Implémentation pour test
Validation
Présentation en congrès
28%
Le cadriciel
Cas d’utilisations

Construit l’environnement
Constructeur
d’application

Stocke les modèles validés Bibliothécaire

Construit les modèles


Modélisateurs

Conçoit et valide les modèles


Spécialiste

Utilise les modèles / Simule


Utilisateur
de modèles
30%
Le cadriciel
Architecture globale

Interface graphique Stockage de


de modélisation modèles

Access
Cadres
Simulation
expérimentaux

Technique X
32%
Le cadriciel
Interface graphique

Technique de modélisation X Interface Graphique


Composant X

Espace de
travail X Access Application
Panneau X

Espace de travail

Panneau de contrôle Composant


34%
Le cadriciel
Stockage

Stockage

Connecteur HMLib Parser de modèle

Access Loader
XML DEVS Document Builder

Technique de modélisation X
Nœud X

Nœud-modèle Access
36%
Le cadriciel
Moteur de simulation

Modélisation Simulation

Vecteur évènement
Modèle

Évènement

Atomique Couplé Processeur

Port Couplage Simulateur Root


Message
Coordinateur
Vecteur message
38%
Le cadriciel
Cadres expérimentaux
Cadres Expérimentaux

Logger Application Applet

Contrôleur
Espace-Simulation

Contrôle Composant-Processeur

Technique X
Contrôle X
Access
Espace-Simulation X
40%
Le cadriciel
Modules techniques spécifiques – Classic DEVS
Cadres Expérimentaux Interface Graphique
Composant
Contrôle Composant-modèle-composition
Coordinateur

Classic DEVS

Access
GetSimulationComponent()
GetControlComponent()
GetCompositionModel()
GetNode()
GetParser()
Stockage

Parser-modèle-diagramme Noeud-modèle-composition
40%
Le cadriciel
Modules techniques spécifiques – Format de fichier

XML

Adapté aux modèles


hierarchiques
Structures dans
modèles couplés
Liens URI vers les
versions sérialisées
des atomiques dans
HmLib
Standard DEVS ?
42%

Sommaire
Problématique
Bases de l’approche
Existant
Le cadriciel
Techniques ajoutées
Techniques ajoutées
Implémentation
Modèles
Perspectives
Techniques 44%

ajoutées
Feedback-DEVS – Buts recherchés

Feedback-DEVS

Possibilité de création de modèles empiriques


Intégration de modèles de régression, réseau de
neurones (perceptron multicouche).
Prise en compte de changement
comportementaux non prévus en cours de
simulation
Adapté de F-DEVS (E. Kofman).
Techniques 46%

ajoutées
Feedback-DEVS - Spécification

Modèles Feedback

Ensemble d’entrée
Ensemble
Fonction
Ensemble
des
Fonction
dede
états
transition
sortie
deFonction
transition
interne Durée
Fonction
deexterne
réaction de l’état
de sortie
Xf = Xs U X’ avec Xs entrées standards et X’ entrées feedback

S = Ss U S’ avec Ss états standards et S’ états que le modèle


pourrait atteindre en réaction à un feedback

peut aussi ne modifier que les paramètres des états


Techniques 46%

ajoutées
Feedback-DEVS - Exemple
T = 10
0
5

Précipitation : P = 100L Système 05

Comparateur
Erreur = 5
Précipitation : P = 100L État : sec
Sec
Humide
Xs
iinfini
5
10
nfini Y
50
Fonction de sortie :
X’ Si Humide alors
Débit = 5
X
20
Pendant P/10
Techniques 46%

ajoutées
Feedback-DEVS – Intégration logicielle
Stockage Cadres Expérimentaux

Parser modèle Nœud modèle Contrôle

Feedback DEVS

Parser Feedback Nœud Feedback Contrôle Feedback

Acces

Modèle Feedback Simulateur Feedback Composant Feedback

Moteur DEVS
Modélisation Simulation Interface Graphique

Modèle atomique Simulateur Composant-modèle


Techniques 48%

ajoutées
Automates Cellulaires – Buts recherchés

Automates Cellulaires

Prise en en compte de dynamique spatiale


Paradigme très utilisé dans le domaine de
l’écologie et de la physique
Particulièrement adapté à un couplage avec SIG
sur cartes matricielles
Méthodologie Cell-DEVS (Wainer) existante
Techniques 48%

ajoutées
Automates Cellulaires – Spécification
Techniques 48%

ajoutées
Automates Cellulaires – Exemple
Tech n iq u es 50%

ajou tées
Automates Cellulaires – Intégration aux SIG

Extraction de cartes

Liste d’évènements

Recomposition de cartes
52%
e
Tchniques ajoutées
Vector-DEVS – Buts recherchés

Vector-DEVS

Étude de phénomène à interface (frontière)


Évolution de l’interface calculé uniquement
lorsque nécessaire (événements discrets)
Peut réduire les calculs (espace non discret)
Permets la simulation à plus grande échelle
Adapté de la méthode de « Front tracking »
Spécification grâce à DS-DEVS (Barros)
54%
e
Tchniques ajoutées
Vector-DEVS – Algorithme

Répéter tant que T < Tfin

Collision interne :
Recomposition

Distance limite :
Auto décomposition

Collision externe :
Décomposition

T = Prochaine collision
54%
e
Tchniques ajoutées
Vector-DEVS – Spécification
Agent géographique
Un composant de base Vitesse
Représentant un point
générique d’une interface Direction
Position
A

x Tsuivant [AB] = distance x


vitesse [AB]
B

Forme d’un phénomène Gestionnaire de forme


constituée d’un ensemble Intersection
d’agents
Décomposition
58%
e
Tchniques ajoutées
Vector-DEVS – Exemple
54%
e
Tchniques ajoutées
Vector-DEVS – Spécification

Structure de Forme dynamique

Utilisation de Dynamic Structure DEVS (Barros)

Couplages internes gérées par un modèle


atomique particulier : exécutif
Chaque agent est un modèle atomique
Gestionnaire de Forme est un réseau
DSDEVS
L’exécutif détecte les collisions internes et
effectue les changement de structures
54%
e
Tchniques ajoutées
Vector-DEVS – Spécification
60%

Sommaire
Problématique
Bases de l’approche
Existant
Le cadriciel
Techniques ajoutées
Implémentation
Implémentation
Modèles
Perspectives
62%
Implémentation
JDEVS – Architecture

Architecture

Stockage
Interface SIG
Interface
graphique
Moteur de
simulation
Cadres
expérimentaux
64%
Implémentation
JDEVS – Interface Graphique

Bibliothèque

Modélisation

Propriétés du
modèle

Contrôle de
simulation

Résultats de
simulation
70%
Implémentation
JDEVS – Modèles atomiques

Nouveau modèle
atomique

Ajout de ports et
propriétés

Génération de Code
70%
Im p lém en tation
JDEVS – Modèles atomiques

Code généré
70%
Implémentation
JDEVS – Modèles couplés

Nouveau modèle
Couplé

Ajout de ports et
propriétés
70%
Implémentation
JDEVS – Bibliothèque
Physicien
Spécialiste Mathématicien
Économiste
Modélisateur 1 ….

Modélisateur 2

Chef modélisateur
compose le modèle
final à partir de
composants
réutilisables
70%
Im p lém en tation
JDEVS – Simulation

Lancement de la simulation
Chargement des
événements
État de la simulation

Contrôle

Événements d’entrée

Sorties de simulation
74%
Implémentation
JDEVS – Cadres expérimentaux
Applets de simulation 3D,
Facilite la publication de modèles
Améliore impact

Intégré à l’interface graphique

Application de simulation de
sur grilles / couplage SIG
76%

Sommaire
Problématique
Bases de l’approche
Existant
Le cadriciel
Techniques ajoutées
Implémentation
Modèles
Modèles
Perspectives
78%
Modèles
Système ferme Photo Voltaïque

ferme Photo Voltaïque

 Dimensionnement, prévision et contrôle des systèmes


énergétiques à sources renouvelables

 Source de production interchangeable Production

batterie
80%
Modèles
Système ferme Photo Voltaïque – Modèle dans JDEVS

Batterie : réservoir
d’énergie
Modèle Feedback-
DEVS de vieillissement
Perceptron
multicouche à rétro
propagation du
gradient
82%
Modèles
Système ferme Photo Voltaïque - Résultats
84%
Modèles
Mouche des Fruits

Cycle de développement
86%
Modèles
Mouche des Fruits

• Comportement défini par un


ingénieur agronome

• Étude de propagation de la
mouche en vue de lâcher
de males stériles

• Utilisation du SIG pour


identifier les cultures

• Simulation sur n'importe


quelle zone
88%
Modèles
Polluants
90%
Modèles
Polluants
92%
Modèles
Polluants
94%
Modèles
Polluants
96%

Sommaire
Problématique
Bases de l’approche
Existant
Le cadriciel
Techniques ajoutées
Implémentation
Modèles
Conclusion
Conclusion
98%
Conclusion
Synthèse
98%
Conclusion
Critiques
100%
Conclusion
Perspectives

Implémentation et tests de Vector-DEVS


Réalisation de plus d'études pour faire

évoluer l’outil
Intégrer le paradigme multi-agent

Développement de simulation plus


rapides (parallèle-DEVS ?)
Capteurs DEVS pour la capture

d’information et la simulation temps réel.