Lustre

Luster este un limbaj de programare DataFlow definit formal, declarativ și sincron pentru sistemele reactive de programare.

A început ca un proiect de cercetare la începutul anilor ‘80.

O prezentare formală a limbii poate fi găsită în procedurile IEEE din 1991.

În 1993, a progresat spre o utilizare practică, industrială, într -un produs comercial, ca limbaj principal al scadei mediului industrial, dezvoltat de Esterel Technologies.

Acum este utilizat pentru software de control critic în aeronave, elicoptere și centrale nucleare.