La nécessité de gérer la complexité croissante des systèmes en général, et les systèmes embarqués en particulier pousse leur conception vers une approche basée sur la réutilisation de composants existants.À cette complexité s'ajoute des exigences techniques, les systèmes doivent satisfaire des contraintes strictes de fiabilité et de correction. Dans notre travail, nous préconisons d'offrir un cadre théorique pour le développement de composants réactifs synchrones sûrs de manière compositionnelle. Dans ce papier nous offrons d'une part, un cadre de description de composants réactifs synchronesélémentaires dans un formalisme adapté pour la vérification formelle de propriétés de sûreté, et d'autre part, un cadre pour la construction des systèmes globauxà partir de composantsélémentaires par une opération de composition garantissant la correction par construction.