En informatique, la programmation synchrone est un paradigme de programmation conçu pour le domaine des systèmes réactifs embarqués. En effet, dans ce domaine, les programmes sont en constante interaction avec leur environnement, contrairement aux programmes transformationnels classiques.