Abstract EN:

Les systèmes embarqués sont des équipements électroniques et informatiques, soumis à de nombreuses contraintes et dont le fonctionnement doit être continu. Pour définir le comportement de ces systèmes, les modèles de programmation dataflows sont souvent utilisés. Ce choix de modèle est motivé d'une part, parce qu'ils permettent de décrire un comportement cyclique, nécessaire aux systèmes embarqués; et d'autre part, parce que l'analyse de ces modèles peut fournir des garanties de fonctionnement et de performance essentielles. La société Kalray propose une architecture embarquée, le MPPA. Il est accompagné du langage SigmaC. Ce langage permet de décrire des applications sous forme d'un modèle dataflow Cyclo-Static Dataflow Graph (CSDFG). Cependant, les CSDFG générés par ce langage sont souvent trop complexes pour permettre l'utilisation des techniques d'analyse existantes. L'objectif de cette thèse est de fournir des outils algorithmiques qui résolvent les étapes d'analyse d'une application SigmaC dans un temps raisonnable, et sur de grande instances. Nous étudions trois problèmes d'analyse : la vivacité, l'évaluation du débit, et le dimensionnement mémoire. Pour chacun de ces problèmes, nous fournissons des méthodes algorithmiques rapides, et dont l'efficacité a été vérifiée expérimentalement. Les méthodes que nous proposons sont basées sur les ordonnancements périodiques et fournissent des résultats approchés. Pour pallier cette faiblesse, nous proposons aussi des outils basés sur les ordonnancements K-périodiques. Ces ordonnancements généralisent les ordonnancement périodiques et nous permettrons de concevoir des méthodes d'analyse plus efficaces.