Modélisation multi-paradigme du temps et des comportements

Enseignant : Frédéric Boulanger, Supélec

Cours :

Être capable de choisir le paradigme de modélisation le plus adapté à un problème, utiliser conjointement plusieurs paradigmes pour modéliser un système.

Modèles, métamodèles, syntaxe et sémantique abstraites et concrètes, approche système, décomposition et recomposition, composabilité et compositionalité, paradigmes de modélisation du temps et des comportements (temps continu, événements discrets, réseaux de processus, automates hiérarchiques et modèles modaux, modèles synchrones), modélisation multi-paradigme, adaptation sémantique entre modèles hétérogènes.

TD : Une séance de 3h, conception d’un modèle modal simple, puis modélisation hétérogène d’un régulateur de vitesse automobile.

Prérequis : Connaissances élémentaires en génie logiciel, automates, modèles continus (principe fondamental de la dynamique f = dp/dt, équations différentielles ordinaires), modèles discrets (équations aux différences finies), notion de point fixe.