What is Esterel Technologies?
Esterel Technologies is a supplier of model-based design, validation, and code generation tools for safety-critical software and hardware applications. Esterel’s tools create formal specifications that produce control designs code in software and/or hardware.
What is Esterel programming language?
Esterel is a synchronous programming language for the development of complex reactive systems. The imperative programming style of Esterel allows the simple expression of parallelism and preemption. As a consequence, it is well suited for control-dominated model designs.
What is the reaction instant of Esterel?
Esterel allows multiple input events to arrive simultaneously. The reaction instant of Esterel is completed only when the system reacts to all of them; that is, the reaction to all the presently available input events constitutes the reaction instant. Esterel also assumes that the systems are deterministic .
Why is Esterel used to write specifications?
Because of Esterel’s textual nature (as opposed to graphical) and compositional facilities, it is relatively easy to write compact specifications for systems with very complex state machines. A system with thousands of states can generally be specified by an Esterel program of only a few hundred lines.
What is the job description of Estel?
At Estel he is responsible for Technology & Product Development , Customer Support and Manage Services. He holds superior technical skills and knowledge of Internet technologies, data center management, cloud services, Solution Architecture and systems integration.
Where did Esterel come from?
History. Created in 2000, Esterel Technologies is a spin-off from the French company Simulog (itself bought by Astek in 2003). Simulog was itself a spin-off from INRIA, and many of the initial founders came from the INRIA laboratory. These include Gerard Berry, father of the Esterel language, which gave its name to the company.