Mistral provides developers of mission and safety-critical systems, optimized model-based development environment from Esterel Technologies that have been specifically designed for critical application development.
Esterel’s SCADE® Family of Products provides formal, unambiguous model-based development, enabling correct-by-construction designs for critical embedded control applications and critical embedded graphics display applications.
To know more about the Modeling tools offered by Esterel visit :
http://www.esterel-technologies.com/products/
For ordering details contact : This e-mail address is being protected from spambots. You need JavaScript enabled to view it
