In addition to that it allows to have fixed and known constraints in terms of resources. Actually the semantics and implementations of synchronous languages ena

In addition to that it allows to have fixed and known constraints in terms of resources. Actually the semantics and implementations of synchronous languages enable proving a lot of safety properties using model checking. This is very important for real time critical systems. The paradigm is also adapted to graphical programming (using boxes and wires) which is quite an advantage for some field of engineering where the specialists are not programmers. SCADE is an example of a successful industrial product that use synchronous programming: http://www.esterel-technologies.com/products/scade-suite/ http://www.esterel-technologies.com/products/scade-suite/ (it is actually more based on Lustre despite the company being called Esterel Technologies).