JDF 2018

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