Programmation synchrone
Cet article est une ébauche concernant l’informatique.
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. De plus, le monde de l'embarqué ajoute des contraintes au niveau du temps de réponse, contrairement aux programmes interactifs classiques (tels que les navigateurs internet), ainsi qu'au niveau de la limitation des ressources.
La programmation synchrone a donc pour objectif de permettre le développement de programmes dont le temps de réponse est garanti, donc le comportement est déterministe, et dont le besoin de ressources est borné.
Exemples de langages
- Argos[1]
- Atom, un langage dédié dialecte de Haskell pour les systèmes embarqués avec contraintes temps réel fortes
- Averest
- Blech
- ChucK, un langage de programmation destiné à la création sonore
- Esterel[2]
- LabVIEW
- LEA
- Lustre, utilisé entre autres dans l'aéronautique et le nucléaire
- PLEXIL
- SIGNAL, un langage synchrone orienté vers les flux de données à horloges multiples
- SOL
- SyncCharts
Références
- ↑ Florence Maraninchi et Yann Rémond. Argos: an Automaton-Based Synchronous Language. Computer Languages, Oxford, Elsevier, 2001, 27 (1-3), pp.61-92. DOI: 10.1016/S0096-0551(01)00016-9. https://hal.archives-ouvertes.fr/hal-00273055/file/ARGOS-CL-perso.pdf.
- ↑ G. Berry et G. Gonthier. The synchronous programming language ESTEREL: Design, semantics, implementation. Science of Computer Programming, 19(2), 1992.
