Le RED (réseau DEVS) organise la deuxième édition des Journées
DEVS Francophones (JDF). RED a pour but de développer, fédérer et promouvoir les travaux autour de la théorie de la modélisation et de la simulation (TM&S), et plus particulièrement autour du formalisme DEVS et de ses extensions.
L’objectif est de promouvoir une approche systémique et intégrée de la modélisation des systèmes complexes.
Les principaux thèmes du réseau sont :
• l’ingénierie des modèles ;
• la validation et la certification des simulateurs ;
• la performance des simulateurs ;
• l’utilisation de méthodes formelles, comme DEVS pour aider à la reproductibilité des expériences de simulation ;
• la validation et la vérification des modèles.
Table des matières
Introduction
P.-A. Bisgambiglia, G. Quesnel, R. Duboz and G. Zacharewicz

Keynotes
The Discipline of Modeling and Simulation
Saikou Diallo
A Framework to Holistic Modeling & Simulation of Healthcare Systems
Mamadou K. Traoré
Modular Design of Hybrid Simulation Languages
Hans Vangheluwe

Résumés
DEVS modelling and simulation of persistent monitoring in spatio-temporal varying environments
V. Borodin, F. Hnaien, H. Snoussi and C. Yugma
A Predictive Validation Method for Discovering Discrete Event Simulation Models
Y. Wang, G. Zacharewicz, M. K. Traoré and D. Chen
Smart-Parking : Intégration et gestion de données par modélisation et simulation à l’aide d’objets connectés suivant le formalisme DEVS
A. Dominici, E. De Gentili, L. Capocchi and J.-F. Santucci

Approches par composants
Une approche composant pour DEVS
T. Paris, V. Chevrier and L. Ciarletta
Une approche basée composants pour les modèles complexes spatiaux
P.-H. Martelloni, E. Innocenti, P.-A. Bisgambiglia, G. Quesnel and P. Bisgambiglia

Simulations et outils
Vérification de propriétés d’une méthode de clustering pour réseaux de véhicules par la simulation à événements discrets
E. Chebbi, P. Sondi and E. Ramat
Simulation distribuée hétérogène de réseaux de Petri DEVS
C. Foucher and V. Albert .
Une vue d’ensemble du framework Quartz
R. Franceschini, P.-A. Bisgambiglia, P. Bisgambiglia and D. Hill

Aide à la décision
DEVS modeling and simulation based on markov decision process of financial leverage effect in the EU development programs
E. Barbieri, L. Capocchi and J.-F. Santucci
SAFIHR, un cadre de modélisation et de simulation de processus de décision
G. Quesnel and M. Akplogan
Optimisation robuste via simulation appliquée à la gestion durable des ressources
N. Poiron-Guidoni, P.-A. Bisgambiglia, B. Poggi and P. Bisgambiglia

Session: Land-Use in Economics – Simulation and empirical assessment
Introduction
C. Detotto, E. Innocenti et D. Prunetti
Combining survey data and spatial econometrics to estimate willingness to pay for residential housing attributes
D. Parker (keynote)
The importance of ontological structure: why validation by ‘fit-to-data’ is insufficient
G. Polhill and D. Salt (k