JDF 2018

Le RED (réseau DEVS) organise la deuxième édition des JournéesDEVS 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èresIntroductionP.-A. Bisgambiglia, G. Quesnel, R. Duboz and G. Zacharewicz Keynotes The Discipline of Modeling and SimulationSaikou Diallo A Framework to Holistic Modeling & Simulation of Healthcare SystemsMamadou K. TraoréModular Design of Hybrid Simulation LanguagesHans Vangheluwe Résumés DEVS modelling and simulation of persistent monitoring in spatio-temporal varying environmentsV. Borodin, F. Hnaien, H. Snoussi and C. Yugma A Predictive Validation Method for Discovering Discrete Event Simulation ModelsY. Wang, G. Zacharewicz, M. K. Traoré and D. ChenSmart-Parking : Intégration et gestion de données par modélisation et simulation à l’aide d’objets connectés suivant le formalisme DEVSA. Dominici, E. De Gentili, L. Capocchi and J.-F. SantucciApproches par composants Une approche composant pour DEVST. Paris, V. Chevrier and L. Ciarletta Une approche basée composants pour les modèles complexes spatiauxP.-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 discretsE. Chebbi, P. Sondi and E. Ramat Simulation distribuée hétérogène de réseaux de Petri DEVSC. Foucher and V. Albert .Une vue d’ensemble du framework QuartzR. Franceschini, P.-A. Bisgambiglia, P. Bisgambiglia and D. HillAide à la décision DEVS modeling and simulation based on markov decision process of financial leverage effect in the EU development programsE. Barbieri, L. Capocchi and J.-F. Santucci SAFIHR, un cadre de modélisation et de simulation de processus de décisionG. Quesnel and M. Akplogan Optimisation robuste via simulation appliquée à la gestion durable des ressourcesN. Poiron-Guidoni, P.-A. Bisgambiglia, B. Poggi and P. Bisgambiglia Session: Land-Use in Economics – Simulation and empirical assessment IntroductionC. Detotto, E. Innocenti et D. Prunetti Combining survey data and spatial econometrics to estimate willingness to pay for residential housing attributesD. Parker (keynote)The importance of ontological structure: why validation by ‘fit-to-data’ is insufficientG. Polhill and D. Salt (k