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. Dans ce domaine, les programmes sont en constante interaction avec leur environnement (ce qui les différencie des programmes transformationnels comme les compilateurs) et doivent satisfaire des contraintes au niveau du temps de réponse (ce qui les différencie des programmes interactifs comme les navigateurs web) ou des ressources consommées. La programmation synchrone a pour objectif de permettre le développement de programmes qui offrent de telles garanties et se comportent de façon déterministe.
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.
Content Disclaimer
Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.
- The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
- There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
- It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
- Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
- Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.