| | | Module SY : Approche synchrone pour la conception des systèmes réactifs |
La programmation synchrone est une approche de la programmation des systèmes réactifs conciliant un parallélisme logique (facilitant une description modulaire) avec une exécution déterministe. Principalement développée en France, cette approche connaît un succès certain dans l'industrie (avionique, transports, énergie, CAO de circuits). Situés à la frontière de l'informatique et de l'automatique, les langages synchrones sont de deux types : langages impératifs (fondés sur les automates) ou déclaratifs (flot-de-données). Ce module donne un aperçu des principaux langages synchrones, de leur compilation (vers du code centralisé ou réparti), et des techniques spécifiques de vérification associées au modèle synchrone.
| | | Module SY : Approche synchrone pour la conception des systèmes réactifs |