Esterel Technologies — поставщик инструментов для проектирования на основе моделей , проверки и генерации кода для критически важных для безопасности программных и аппаратных приложений. Инструменты Esterel создают формальные спецификации, которые производят коды управления проектами в программном обеспечении и/или оборудовании.
Esterel Technologies, дочерняя компания Ansys , Inc., имеет офисы в Эланкуре , Франция , и Маунтин-Вью, Калифорния . Esterel также имеет офисы прямых продаж в Оттобрунне , Германия, Бракнелле, Великобритания, и Шанхае, КНР. Дистрибьюторы в Японии, Китае, Южной Корее, Израиле и Индии дополняют офисы прямых продаж Esterel.
Семейство продуктов SCADE компании Esterel Technologies включает в себя: SCADE System, SCADE Suite, SCADE Display и SCADE LifeCycle. SCADE Suite был приобретен у Telelogic в 2001 году. [3]
В сентябре 2006 года компания Esterel Technologies приобрела продукт IMAGE у Thales и Diehl Aerospace . [4] Теперь он предлагается как SCADE Display, [5] фреймворк отображения, предназначенный для приложений реального времени , для прототипирования , проектирования дисплеев , моделирования , верификации и валидации, генерации кода, сертифицированного по DO-178B (до уровня A), и интеграции с другими приложениями.
В феврале 2007 года компания Esterel Technologies объявила о партнерстве с Wind River Systems с целью интеграции SCADE в операционную систему реального времени VxWorks 653. [6]
Созданная в 2000 году, Esterel Technologies является ответвлением французской компании Simulog (купленной Astek в 2003 году). Simulog сама по себе была ответвлением INRIA , и многие из первоначальных основателей вышли из лаборатории INRIA. [7] К ним относится Жерар Берри , отец языка Esterel , который дал название компании. Ее первый продукт, Esterel Studio, был призван принести преимущества языка синхронного программирования в отрасль (сначала телекоммуникации, а затем EDA Electronic design automation ). В 2003 году основанный на Lustre (один из других языков синхронного программирования) набор инструментов под названием SCADE (Safety Critical Application Development Environment) был куплен Esterel Technologies, и два академических сообщества, стоящих за этими языками, предложили способ их объединения. [8] Результат был представлен как SCADE Suite 6 и его последующие версии.
В 2006 году инструмент IMAGE, разработанный THALES для проектирования кабины A380, был передан Esterel Technologies и переименован в SCADE Display.
Позже в 2009 году Esterel Studio была приобретена компанией Synfora. [9]
Наконец, в 2012 году было объявлено, что ANSYS подписала окончательное соглашение о покупке Esterel примерно за 42 миллиона евро. [10]