Les Systèmes sur Puce (SoC) ont vu leurs capacités en constante augmentation ce qui leur permet ainsi qu'aux applications s'exécutant dessus de devenir de plus en plus complexes grâce au pouvoir d'intégration de la technologie. Beaucoup de ces appareils fonctionnent sur batterie, mais puisque la technologie des batteries ne suit pas la même progression que l'intégration, à la fois le logiciel et le matériel de ces appareils doivent être économes en énergie. Nous proposons dans cette thèse un algorithme logiciel qui cherche à réduire la consommation énergétique en modifiant la fréquence et la tension des processeurs lorsque l'utilisation du système le permet. Cet algorithme n'a besoin d'aucune information sur les applications. Afin de tester et de déterminer l'efficacité de l'algorithme d'économie d'énergie proposé, nous avons besoin de plateformes de simulation rapides et précises qui supportent le changement de fréquence pour chaque processeur ou sous-système. Le bon niveau d'abstraction pour estimer la consommation d'énergie par la simulation n'est pas évident. Nous avons premièrement défini une stratégie de haut niveau de simulation qui combine la précision des simulateurs orientés matériel à la vitesse des simulateurs orientés comportement. Lorsque des estimations plus précises sont nécessaires, une simulation cycle accurate/bit accurate doit être utilisée. Toutefois, pour accélérer la simulation, des stratégies d'ordonnancement statique non compatibles avec le DVFS sont utilisées. Nous avons défini deux nouvelles approches supportant le DVFS dans ce contexte.

Les services de maintenance interviennent pour maintenir ou remettre en état de bon fonctionnement les équipements. A travers la réduction de l'indisponibilité des équipements, ils participent à l'amélioration de la compétitivité des entreprises. Le service de maintenance est composé entre autre, de ressources humaines qui réalisent les tâches de maintenance. L'un des problèmes du manager de ce service est alors de trouver, pour chaque tâche, quelle ressource la traitera et quand. <br />Dans cette thèse, nous nous intéressons à un problème d'affectation et d'ordonnancement en prenant en compte les compétences des ressources humaines. Les différences de compétence sont peu intégrées dans les modèles de la littérature. Les ressources sont en effet souvent considérées comme identiques ou n'ayant qu'une compétence. Les différents types de tâches présentent aussi des spécificités qui sont peu retrouvées dans les approches de la littérature. Cette problématique se retrouve dans d'autre contexte que celui de la maintenance et touche plus généralement l'affectation et l'ordonnancement de l'activité d'un service.<br />Nous proposons une approche de résolution dynamique pour un problème mono-critère d'affectation et d'ordonnancement des activités de maintenance. Dans le contexte de la maintenance, différents critères concernant les ressources et les tâches sont importants. Nous proposons donc une extension de l'approche dynamique mono-critère au multi-critère. Certaines données utilisées dans l'affection et l'ordonnancement sont incertaines. Pour anticiper la présence de ces incertitudes nous proposons une approche dynamique, proactive à un problème multi-critère d'affectation et d'ordonnancement d'activité de maintenance en contexte incertain. Toutes ses approches font appel à une méthode d'amélioration par modification partielle de l'ordonnancement, inspirée de la méthode du kangourou.

Je présente dans ce document mes résultats de recherche sur la conception sûre de systèmes embarqués sûrs. La première partie concerne la répartition automatique de programmes synchrones. Le caractère automatique de la répartition apporte un réel degré de sûreté dans la conception de systèmes répartis car c'est la partie la plus délicate de la spécification qui est automatisée. Grâce à cela, l'absence d'inter-blocage et l'équivalence fonctionnelle entre le programme source centralisé et le programme final réparti peuvent être formellement démontrées. La deuxième partie traite le sujet de l'ordonnancement et de la répartition de graphes de tâches flots-de-données sur des architectures à mémoire répartie, avec contraintes de tolérance aux fautes et de fiabilité. Je présente principalement des heuristiques d'ordonnancement statique multiprocesseur avec pour but la tolérance aux fautes et la fiabilité des systèmes, mais également l'utilisation de méthodes formelles telles que la synthèse de contrôleurs discrets ou les transformations automatiques de programmes. Enfin, la troisième partie concerne les autoroutes automatisées, avec deux volets : la commande longitudinale de véhicules autonomes et les stratégies d'insertion dans les autoroutes automatisées.