Cours de programmation en language synchrone

Cours de Programmationen Langage SynchroneSIGNALBernard HOUSSAISIRISA. Equipe ESPRESSO24 septembre 2004TABLE DES MATIERES 3Table des matieres1 Introduction 51.1 La Programmation Temps Reel . . . . . . . . . . . . . . . . . . . . . . . . . 51.2 Traitement complet d’un exemple : le VEILLEUR . . . . . . . . . . . . . . . 61.2.1 Le probleme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61.2.2 Les signaux d’entree et de sortie. . . . . . . . . . . . . . . . . . . . . 61.2.3 Deroulement du processus VEILLEUR. . . . . . . . . . . . . . . . . 61.2.4 Hypotheses de synchronisme. . . . . . . . . . . . . . . . . . . . . . . 71.2.5 Le processus VEILLEUR en langage SIGNAL. . . . . . . . . . . . . 81.2.6 Mise en uvre et execution. . . . . . . . . . . . . . . . . . . . . . . . 92 Les objets du langage: les signaux 112.1 Qu’est-ce qu’un signal? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112.2 Ports, traces, ots . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112.3 Types des valeurs des signaux . . . . . . . . . . . . . . . . . . . . . . . . . . 132.3.1 Type event . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132.3.2 Type boolean . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132.3.3 Type integer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 142.3.4 Types real, dreal,... . . . . . . . . . . . . . . . . . . . . . . . . . . . . 142.4 Declarations de signaux . ...