SIGNAL

Semnalul este un limbaj de programare bazat pe fluxul de date sincronizat (fluxuri + sincronizare): Un proces este un set de ecuații pe fluxurile elementare care descriu atât datele, cât și controlul.

Modelul formal de semnal oferă capacitatea de a descrie sisteme cu mai multe ceasuri (sisteme policrone) ca specificații relaționale.

Relațiile sunt utile ca specificații parțiale și ca specificații ale dispozitivelor nedeterministe (de exemplu, un autobuz nedeterminist) sau procese externe (de exemplu, un șofer de mașină nesigur).

Utilizarea semnalului permite unuia să specifice o aplicație, să proiecteze o arhitectură, să perfecționeze componentele detaliate până la RTOS sau descrierea hardware.

Modelul de semnal acceptă o metodologie de proiectare care trece de la specificații la implementare, de la abstractizare la concretizare, de la sincronie la asincronie.

Semnalul a fost dezvoltat în principal în echipa Inriaespresso încă din anii 1980, în același timp cu limbaje de programare similare, esterel și Luster.