Résumé
Dans les cours précédents, j’ai présenté plusieurs types de modèles de temps et de communication pour les circuits et logiciels associés : modèles asynchrones sans contrôle de temps, modèles vibratoires où calculs et communications prennent un temps prévisible, modèles synchrones où la communication est supposée conceptuellement instantanée, modèles de temps continu ou de temps discret, etc. Ces modèles ont des caractéristiques et des champs d’application bien différents : grands réseaux et algorithmes distribués généraux pour l’asynchrone, circuits, systèmes embarqués et systèmes cyber-physiques pour le vibratoire et le synchrone, simulation de systèmes physiques pour les modèles de temps continu par exemple. Nous avons aussi vu que les applications modernes demandent souvent une conjonction de modèles : circuits globalement asynchrones mais localement synchrones (GALS), orchestration d’activités Web asynchrones par des programmes synchrones (Hop / HipHop), etc.
