Esterel Technologies: История развития и продуктовая линейка SCADE
Esterel Technologies
Esterel Technologies: инструменты для разработки и верификации безопасного ПО и оборудования. Модельно-ориентированное проектирование, генерация кода, Ansys.
Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Содержание
Введение
Esterel Technologies является поставщиком инструментов для разработки на основе моделей, верификации и генерации кода для критически важных программных и аппаратных приложений. Инструменты Esterel создают формальные спецификации, позволяющие генерировать код систем управления для программного и/или аппаратного обеспечения. Esterel Technologies, являясь полностью принадлежащей дочерней компанией Ansys, Inc., имеет офисы в Эланкуре (Франция) и Маунтин-Вью (Калифорния). Esterel также располагает офисами прямых продаж в Оттобрунне (Германия), Брэкнелле (Великобритания) и Шанхае (Китайская Народная Республика). Дистрибьюторская сеть в Японии, Китае, Южной Корее, Израиле и Индии дополняет офисы прямых продаж Esterel.
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. Esterel Technologies, a wholly owned subsidiary of Ansys, Inc., has offices in Élancourt, France, and Mountain View, California. Esterel also has direct sales offices in Ottobrunn, Germany, Bracknell, United Kingdom, and Shanghai, P. R. China. Distributors in Japan, China, South Korea, Israel, and India complement the Esterel direct sales offices.
Продукты
Семейство продуктов SCADE от Esterel Technologies включает в себя: SCADE System, SCADE Suite, SCADE Display и SCADE LifeCycle. SCADE Suite была приобретена у Telelogic в 2001 году. В сентябре 2006 года Esterel Technologies приобрела продукт IMAGE у Thales и Diehl Aerospace. Теперь он предлагается как SCADE Display – фреймворк для разработки дисплеев, предназначенный для приложений реального времени, прототипирования, проектирования дисплеев, моделирования, верификации и валидации, генерации кода, сертифицированного по стандарту DO 178B (до уровня A), и интеграции с другими приложениями. В феврале 2007 года Esterel Technologies объявила о партнерстве с Wind River Systems для интеграции SCADE в операционную систему VxWorks 653 реального времени.
The Esterel Technologies' SCADE Product Family includes: SCADE System, SCADE Suite, SCADE Display, and SCADE LifeCycle. SCADE Suite was acquired from Telelogic in 2001. In September 2006, Esterel Technologies acquired the IMAGE product from Thales and Diehl Aerospace. It is now proposed as SCADE Display, a display framework targeted for Real time applications, for prototyping, display design, simulation, verification and validation, DO 178B certified code generation (up to level A), and integration with other applications. In February 2007, Esterel Technologies announced a partnership with Wind River Systems to integrate SCADE in VxWorks 653 Real Time Operating System.
История
Esterel Technologies, созданная в 2000 году, является компанией, выделившейся из французской компании Simulog (которая, в свою очередь, была приобретена Astek в 2003 году). Simulog также была выделена из INRIA, и многие из первоначальных основателей пришли из лаборатории INRIA. Среди них – Жерар Берри, создатель языка Эстерель, который и дал название компании. Первый продукт компании, Esterel Studio, был разработан для внедрения преимуществ синхронного программирования в промышленность (изначально в области телекоммуникаций, а затем в EDA – автоматизированном проектировании электроники). В 2003 году Esterel Technologies приобрела набор инструментов SCADE (Safety Critical Application Development Environment), основанный на языке Lustre (одном из других синхронных языков программирования), и академические сообщества, стоящие за этими языками, предложили способ их объединения. Результатом стала продуктовая линейка SCADE Suite 6 и ее последующие версии. В 2006 году инструмент IMAGE, разработанный компанией THALES для проектирования кабины самолета A380, был передан Esterel Technologies и переименован в SCADE Display. Позднее, в 2009 году, Esterel Studio была приобретена компанией Synfora. И, наконец, в 2012 году было объявлено о подписании компанией ANSYS окончательного соглашения о покупке Esterel примерно за 42 миллиона евро.
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. Its first product, Esterel Studio, was meant to bring synchronous programming language benefits to the industry (initially telecommunications and then EDA Electronic design automation). In 2003, a Lustre based (one of the other synchronous programming language) tool set named SCADE (Safety Critical Application Development Environment) was bought by Esterel Technologies, and the two academics communities behind these languages proposed a way to merge them. The result has been productized as SCADE Suite 6 and its subsequent versions. In 2006, the tool developed by THALES to design the A380 cockpit, named IMAGE, was transferred to Esterel Technologies, and re branded SCADE Display. Later in 2009, Esterel Studio was acquired by Synfora. Finally, in 2012, it was announced that ANSYS had signed a definitive agreement to purchase Esterel for approximately €42 million.