Un langage graphique pour la modélisation et l’analyse des systèmes réactifs

Abstract

Une étude exhaustive d’un système complexe nécessite souvent l’utilisation de plusieurs méthodes d’analyse (comme la simulation, l’analyse formelle, ou l’émulation) pour produire des réponses complémentaires aux questions qui se posent. La combinaison de multiples méthodes d’analyse offre plus de possibilités et de rigueur pour analyser un système que ne peut le faire chacune des méthodes prise individuellement. Si cet exercice permet d’aller vers une connaissance complète des systèmes complexes, son adoption pratique ne va pas de pair avec les avancées théoriques en matière de formalismes. Ce déficit rend nécessaire la lourde tâche de créer et de gérer plusieurs modèles du même système dans différents formalismes et pour différents types d’analyse. Nous proposons, dans cette communication, de réduire cette tâche à la spécification d’un modèle unique duquel pourront être conduites des analyses multiples, grâce à un langage graphique de haut niveau permettant de fédérer la simulation, l’analyse formelle et l’émulation.