Date : 2006
Editeur / Publisher : [S.l.] : [s.n.] , 2006
Type : Livre / Book
Type : Thèse / ThesisLangue / Language : français / French
Systèmes dynamiques hybrides -- Modèles mathématiques
Automates mathématiques, Théorie des
Systèmes embarqués (informatique) -- Modèles mathématiques
Ingénierie dirigée par les modèles
Classification Dewey : 004.21
Résumé / Abstract : Les travaux présentés dans cette thèse s'inscrivent dans le cadre des recherches menées sur la modélisation et la conception des systèmes sur puce à hautes performances. Ces systèmes sont basés sur des applications de traitement systématique à parallélisme massif opérant sur des données à plusieurs dimensions. Il est donc important de disposer de modèles capables de prendre en considération cet aspect multidimensionnel. Nous présentons les différents modèles de calcul existants pour la spécification de ces applications multidimensionnelles. Puis, nous nous intéressons au modèle Array-OL basé sur la seule expression des dépendances de données. Cependant, ce modèle ne prend pas en compte la modélisation des comportements de contrôle qui sont généralement indispensables dans la description de certaines applications de traitement du signal. L'objectif de notre travail est donc de proposer un modèle de spécification introduisant la notion de contrôle dans le modèle Array-OL. Nous étudions pour cela les travaux réalisés autour des systèmes réactifs synchrones, et en particulier ceux permettant la description des systèmes hybrides. Cette étude nous a permis de définir une méthodologie de conception séparant clairement le contrôle et les calculs. Nous discutons les avantages de cette méthodologie, notamment en terme de vérification formelle, et nous illustrons son application dans la conception d'un système automobile. Par la suite, nous proposons une approche basée sur un concept de degré de granularité pour associer la description du contrôle aux modèles Array-OL. Nous étudions également la possibilité d'étendre ce concept à celui de multi-degrés de granularité pour permettre la modélisation d'applications plus complexes contenant différentes parties de contrôle. Enfin, notre démarche est basée sur une approche lDM et contribue à la définition d'un profil UML pour l'environnement de développement Gaspard2. Dans ce cadre, nous détaillons la description du profil et nous illustrons son utilisation pour concevoir une application de traitement de vidéo.