Programmation synchrone
- Programmation synchrone
-
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
Le langage Esterel est un exemple de langage de programmation synchrone[1]. On peut aussi citer le langage Lustre, utilisé entre autres dans l'aéronautique et le nucléaire.
Références
- ↑ G. Berry et G. Gonthier. The synchronous programming language ESTEREL: Design, semantics, implementation. Science of Computer Programming, 19(2), 1992.
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Programmation synchrone de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Synchrone — Synchronisme Voir « synchronisme » sur le Wiktionnaire … Wikipédia en Français
Paradigme (programmation) — Pour les articles homonymes, voir Paradigme (homonymie). Un paradigme de programmation est un style fondamental de programmation informatique qui traite de la manière dont les solutions aux problèmes doivent être formulées dans un langage de… … Wikipédia en Français
Paradigme de programmation — Paradigme (programmation) Pour les articles homonymes, voir Paradigme (homonymie). Un paradigme de programmation est un style fondamental de programmation informatique qui traite de la manière dont les solutions aux problèmes doivent être… … Wikipédia en Français
Interface De Programmation — Pour les articles homonymes, voir API. Une interface de programmation (Application Programming Interface ou API) est un ensemble de fonctions, procédures ou classes mises à disposition des programmes informatiques par une bibliothèque logicielle … Wikipédia en Français
Interfaces de programmation — Interface de programmation Pour les articles homonymes, voir API. Une interface de programmation (Application Programming Interface ou API) est un ensemble de fonctions, procédures ou classes mises à disposition des programmes informatiques par… … Wikipédia en Français
Interface de programmation — Pour les articles homonymes, voir API. Une interface de programmation (Application Programming Interface ou API) est une interface fournie par un programme informatique. Elle permet l interaction des programmes les uns avec les autres, de manière … Wikipédia en Français
Chronologie Des Langages De Programmation — Voici une chronologie des langages de programmation. Sommaire 1 Avant 1950 2 Années 1950 3 Années 1960 4 Années 1970 … Wikipédia en Français
Lustre (langage) — Pour les articles homonymes, voir lustre. Lustre est un langage de programmation synchrone, déclaratif, et par flots. Il possède une définition formelle, et est utilisé pour la programmation des systèmes réactifs. Son développement a commencé au… … Wikipédia en Français
Averest — est un langage de programmation synchrone conçu par un groupe de l université technique de Kaiserslautern qui permet de spécifier, vérifier et implémenter des systèmes dit réactifs. Averest contient aussi des outils qui permettent la vérification … Wikipédia en Français
Lustre — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Lustre peut faire référence à : lustre, un luminaire décoratif, Lustre, un système de fichiers distribué conçu par CFS, Lustre, un langage de… … Wikipédia en Français
