Les travaux de cette thèse s’intéressent à la modélisation et le développement de mécanismes permettant une exécution efficace sur des systèmes alimentés par une énergie intermittente tels que les capteurs sans fil. De tels systèmes sont alimentés par énergie renouvelable via un petit tampon d’énergie sous la forme d’un supercondensateur. La contributionprincipale est l’exploration d’une approche consciente de l’énergie pour les supports d’exécution intermittents. Tout d’abord, nous proposons d’utiliser les réseaux de Petri temporels à coût afin de modéliser de tels systèmes et nous proposons une extension de cette sémantique afin de résoudre un problème d’ordonnancement maximisant une variable sous contraintede coût. En combinant le modèle proposé et une approche pire cas, nous générons un ordonnancement fiable pour les systèmes intermittents qui ne commence aucunes opérations sans la certitude de les finir vis-à-vis de l’énergie disponible. Nous avons ensuite utilisé cet ordonnancement dans un support d’exécution basé sur un système d’exploitation temps-réelpour gérer l’intermittence. Ce support d’exécution utilise un modèle de consommation de l’énergie du système intermittent afin de minimiser les opérations liées à l’exécution intermittente et d’assurer la continuité des opérations de l’application malgré les interruptions fréquentes d’alimentation. Ces travaux ont été jusqu’à la mise en oeuvre pratique d’un tel supportd’exécution sur une étude de cas concernant la détection de chant des oiseaux