Caractéristiques

• Un programme ESTEREL communique avec son environnement par l'intermédiaire de signaux et de capteurs. Les signaux sont utilisés à la fois comme entrées et comme sorties, tandis que les capteurs sont utilisés que comme entrées. A un signal sont associées deux informations: la valeur, qui est rémanente et les tops qui sont transitoires et indiquent les instants auxquels le signal est émis. Il existe des signaux dits "purs" qui n'ont pas de valeur et peuvent donc uniquement être émis ou non. Lorsqu'un signal est valué, sa valeur ne change que lorsqu'un top est émis. Ce top est utilisé pour propager et détecter la nouvelle valeur. Un capteur a une valeur mais pas un top.
• Un programme ESTEREL peut être composé de sous-modules qui communiquent par des signaux internes ou locaux (signaux qui ne sont pas perçus de l'extérieur). Les signaux d'entrée, sortie et locaux se manipulent tous de la même manière. Ils sont diffusés instantanément à toutes les composantes du programme.
• ESTEREL considère les systèmes réactifs avant tout comme des systèmes "à interruptions" dans lesquels l'extérieur commande le programme. La seule cause de réaction d'un programme est ainsi l'occurrence de signaux d'entrée. Les capteurs ne peuvent être lus, les signaux de sortie et locaux ne peuvent être émis que de façon synchrone avec la réception de signaux d'entrée.
• La notion de simultanéité est captée à travers le concept d'événement. Un événement est un ensemble d'occurrences simultanées de signaux.