Accueil🇫🇷Chercher

Programmation synchrone

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

  1. 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.
  2. G. Berry et G. Gonthier. The synchronous programming language ESTEREL: Design, semantics, implementation. Science of Computer Programming, 19(2), 1992.
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.