Le développement rapide des systèmes embarqués de toutes sortes pose le problème crucial de la fiabilité des logiciels. Dans cet exposé, j'aborderai deux problématiques orthogonales que sont la vérification et le développement sûr, elles-mêmes appliquées à deux types de systèmes : les systèmes critiques où les aspects sûreté et sécurité sont primordiaux; et les systèmes grand public où la qualité de service  à l'exécution est aussi à prendre en compte.
Dans un premier temps, j'exposerai mes travaux postdoctoraux sur le développement de systèmes à composants dont le comportement s'adapte automatiquement aux ressources physiques. Ensuite, j'aborderai le cadre général de ma thèse, la génération d'invariants numériques par l'Analyse des Relations Linéaires, et montrerai comment ces travaux peuvent s'appliquer au test et à la vérification de systèmes embarqués, ainsi qu'à la résolution de problèmes de consommation et de calcul de pire temps d'exécution de codes.