Abstract FR:

La méthodologie AAA (Adequation Algorithme Architecture) a été développée pour résoudre les problèmes de conception/réalisation optimisée d'applications complexes temps réel embarquées. Son but est d'implanter les algorithmes de contrôle-commande sur des architectures matérielles, qui, pour satisfaire de fortes contraintes de coût sont généralement distribuées et hétérogènes. Dans cette thèse, nous cherchons à valider et à améliorer cette méthodologie. Nous présentons dans la première partie les étapes qui, lors de la conception, permettent de transformer le modèle mathématique défini par l'automaticien en une spécification informatique permettant d'aboutir à la réalisation de l'application. Nous étudions les liens qui existent entre ces deux modèles afin de supprimer la rupture entre les phases de conception et de réalisation en vue de réduire le cycle de développement. Dans la deuxième partie nous cherchons à améliorer l'expressivité de la spécification, d'une part en fournissant la possibilité de décrire séparément les aspects contrôle (changement de modes) et les aspects commande (lois de commande, traitement du signal et des images) de l'application, et d'autre part en ajoutant la possibilité de décrire finement des contraintes temporelles multiples. La troisième partie traite de l'implantation optimisée d'une spécification comportant des contraintes temporelles multiples, alors que la méthodologie AAA ne prenait en compte qu'une seule contrainte auparavant. Dans la dernière partie, nous validons l'intérêt de la méthodologie AAA pour le prototypage rapide optimisé d'applications complexes à travers la réalisation d'un prototype de véhicule électrique autonome.