Modélisation et simulation des systèmes dynamiques hybrides : formalisme Scicos et compilation

Nous presentons dans cette these une methodologie pour la modelisation et la simulation de ces systemes dynamiques hybrides. Le principal objectif de cette modelisation est la simulation du systeme complet, i. E. De l'environnement avec son systeme de commande, de facon a repondre aux besoins du monde industriel comme par exemple la validation des lois de commandes. Notre principale contribution est l'extension du formalisme Scicos dans l'objectif d'avoir un formalisme mathematique bien defini qui permettera la modelisation et la simulation d'une large classe des systemes dynamiques hybrides. Nous avons ensuite implemente ce formalisme dans une semantique de compilation bien claire, ou nous avons developpe les differents aspects et regles de la compilation afin d'obtenir un compilateur Scicos robuste et mieux adapte aux applications temps-reel. Ce nouveau compilateur genere un modele recursif ou toutes les activations sont synchrones. Il est cependant indispensable d'adapter le simulateur d'une maniere recursive. La mise en oeuvre de la simulation est detaillee par l'analyse et l'adaptation des differentes fonctions astreintes a son execution et a la gestion dans son evolution. Enfin, nous nous sommes interesses a la generation automatique de code ou nous avons propose une nouvelle contribution qui offre la possibilite d'obtenir le code caracterisant l'algorithme de description du fonctionnement de n'importe quelle partie (discrete, continue et hybride) d'un schema-bloc. En general ce code est utilise soit pour l'acceleration de la simulation Scicos (en remplacant un super-bloc entier par un bloc standard) soit dans les applications temps reel embarquees.