埃斯特雷尔技术公司

埃斯特雷尔技术公司是一家源自法国的软件工程公司，专注于安全关键嵌入式系统的开发、验证和代码生成。其工具旨在满足对可靠性、可追溯性、确定性行为和认证有严格要求的应用。该公司的技术将形式化或基于模型的规范转化为实现工件，并支持控制系统、用户界面和其他嵌入式功能的验证。 该公司于2000年从Simulog分拆成立。Simulog本身源自法国INRIA实验室的研究，埃斯特雷尔的几位早期人物来自该学术和工业环境。公司名称取自Esterel，一种与热拉尔·贝里相关的同步编程语言。其首个商业产品Esterel Studio旨在将同步语言方法引入工业开发，最初侧重于电信，后来转向电子设计自动化和嵌入式控制。 2003年，埃斯特雷尔通过收购基于Lustre的工具集SCADE（安全关键应用开发环境）扩大了产品基础。Esterel和SCADE代表了同步和基于模型开发的相关方法，其背后的社区致力于将两种技术方向结合。这项工作最终促成了SCADE Suite 6及后续版本，使SCADE成为公司的主要产品系列。 2006年，埃斯特雷尔收购了泰雷兹和Diehl Aerospace的IMAGE产品，进一步扩大了产品组合。IMAGE曾用于空客A380驾驶舱的开发。埃斯特雷尔将该技术重新命名为SCADE Display，定位为实时显示原型设计、设计、仿真、验证、确认和集成的框架。该产品还支持生成旨在符合DO-178B机载软件标准（包括公司产品描述中确定的最高认证级别）的代码。 埃斯特雷尔通过在法国、美国、德国、英国和中国设立办事处，并在日本、中国、韩国、以色列和印度设有分销商，保持了国际商业存在。其客户和应用领域涉及航空航天、交通运输、国防、电信以及其他嵌入式系统需满足严格安全或可靠性要求的行业。 公司的企业结构在2000年代末和2010年代初发生了变化。Esterel Studio于2009年被Synfora收购。2012年，Ansys宣布以约4200万欧元收购埃斯特雷尔技术公司的协议。交易完成后，埃斯特雷尔成为Ansys的全资子公司。因此，埃斯特雷尔业务最好被理解为Ansys旗下的专业品牌和技术运营，专注于SCADE系列和关键系统的基于模型的工程。

埃斯特雷尔技术公司于2000年从Simulog分拆成立，Simulog是一家法国公司，其自身起源与INRIA研究相关。公司继承了同步编程和形式化方法方面深厚的学术和工业背景。其名称来源于Esterel同步编程语言，该语言在法国研究界开发，与热拉尔·贝里密切相关。 公司的第一个主要产品是Esterel Studio。该产品旨在使同步编程概念在商业工程环境中可用。早期应用领域包括电信和电子设计自动化。埃斯特雷尔的方法不是将软件实现视为孤立的编码练习，而是强调可执行或可分析的模型、形式化规范以及实现代码的系统生成。 2003年，埃斯特雷尔技术公司收购了基于Lustre的工具集SCADE，即安全关键应用开发环境。Lustre是另一种具有强大研究和安全关键工程传统的同步语言。此次收购扩大了埃斯特雷尔的商业影响力，并赋予公司一个面向行为必须可预测和可审计的嵌入式系统的平台。围绕Esterel和Lustre的社区随后开发了一种将两种技术方法结合起来的方式。这项工作在SCADE Suite 6及其后继产品中商业化。 第二次重要扩张发生在2006年9月，当时埃斯特雷尔从泰雷兹和Diehl Aerospace收购了IMAGE。IMAGE是为驾驶舱显示工程开发的，并用于空客A380驾驶舱。埃斯特雷尔将该产品重新命名为SCADE Display。由此产生的产品解决了实时显示原型设计、显示设计、仿真、验证、确认以及与其他应用的集成。它还支持生成旨在符合DO-178B认证的代码，包括公司产品材料中描述的A级应用。此次收购将SCADE从通用的安全关键开发环境扩展为涵盖控制逻辑和人机界面的更广泛工具链。 2007年2月，埃斯特雷尔宣布与风河系统公司建立合作伙伴关系，将SCADE与VxWorks 653实时操作系统集成。这一关系反映了公司将基于模型的开发与安全关键和分区嵌入式系统中使用的部署平台连接起来的战略。埃斯特雷尔的商业组织包括在埃朗库尔、山景城、奥托布伦、布拉克内尔和上海设有办事处，而分销商将其业务扩展到亚洲和中东的多个其他市场。 公司历史还包括涉及Esterel Studio的剥离。2009年，Synfora收购了Esterel Studio。该交易将最初的Esterel Studio产品线与继续定义埃斯特雷尔技术公司主要产品组合的以SCADE为中心的业务区分开来。 2012年，Ansys宣布达成最终协议，以约4200万欧元收购埃斯特雷尔技术公司。该交易将埃斯特雷尔置于更大的工程仿真软件集团中，并使其成为Ansys的全资子公司。此次收购通过增加针对嵌入式系统的专业基于模型的开发、验证和代码生成能力，补充了Ansys在工程分析领域的更广泛地位。因此，埃斯特雷尔的传统和产品身份主要与Ansys组织内的SCADE系列相关联。

• 2012

  Ansys宣布收购埃斯特雷尔技术公司

  [1]Esterel Technologiesen.wikipedia.org

  Ansys宣布以约4200万欧元收购埃斯特雷尔技术公司的协议，之后埃斯特雷尔成为Ansys旗下的子公司。

• 2009

  Synfora收购Esterel Studio

  [1]Esterel Technologiesen.wikipedia.org

  Synfora收购Esterel Studio，将该产品活动与以SCADE为中心的埃斯特雷尔技术公司产品组合分离。

• 2007

  SCADE和VxWorks 653集成合作伙伴关系

  [1]Esterel Technologiesen.wikipedia.org

  埃斯特雷尔宣布与风河系统公司建立合作伙伴关系，将SCADE与VxWorks 653实时操作系统集成。

• 2006

  IMAGE成为SCADE Display

  [1]Esterel Technologiesen.wikipedia.org

  埃斯特雷尔从泰雷兹和Diehl Aerospace收购IMAGE，并将其重新命名为SCADE Display，用于实时显示工程。

• 2003

  收购SCADE工具集

  [1]Esterel Technologiesen.wikipedia.org

  埃斯特雷尔收购了基于Lustre的安全关键开发环境，并开始结合Esterel和SCADE技术方向。

• 2000

  埃斯特雷尔技术公司成立

  [1]Esterel Technologiesen.wikipedia.org

  公司作为Simulog的分拆成立，利用与INRIA和同步编程相关的研究和工程专业知识。

安全关键嵌入式软件和硬件的基于模型开发、形式化验证和合格代码生成技术的专业提供商。

• 安全关键基于模型的开发

  SCADE Suite

  SCADE Suite是SCADE的核心开发环境，用于嵌入式控制应用的建模、规格说明、验证和代码生成。它源于Esterel和Lustre相关技术的集成，面向从事确定性、安全关键软件开发的工程团队。其基于模型的工作流程旨在提高需求、设计、验证活动和实现代码之间的可追溯性。

• 系统工程

  SCADE System

  SCADE System是SCADE产品系列的一部分，面向嵌入式应用的系统级开发。它支持在实现细节最终确定之前表示和分析系统结构和行为，帮助团队在安全和任务关键环境中将系统设计与下游软件和硬件开发活动联系起来。

• 实时显示工程 · 2006

  SCADE Display

  SCADE Display源于2006年从泰雷兹和Diehl Aerospace收购的IMAGE产品。它是一个用于实时显示原型设计、设计、仿真、验证、确认和集成的框架。该产品与驾驶舱和其他嵌入式人机界面应用相关，并支持在面向DO-178B的流程下为机载软件开发生成合格代码。

• 生命周期和验证工具

  SCADE LifeCycle

  SCADE LifeCycle是SCADE系列的一员，专注于围绕安全关键基于模型开发的生命周期活动。它通过旨在支持验证、确认、可追溯性和开发证据管理的功能，补充了设计和代码生成功能。

• 同步编程和基于模型的开发

  Esterel Studio

  Esterel Studio是公司最初的主要产品。它将同步编程概念引入工业开发工作流程，早期应用于电信和电子设计自动化。该产品活动于2009年被Synfora收购，因此与后来的以SCADE为中心的产品组合不同。

• 2012

  Ansys收购埃斯特雷尔技术公司并购

  背景

  埃斯特雷尔开发了针对安全关键嵌入式应用中基于模型的工程、形式化验证和代码生成的专业产品组合。

  采取的行动

  Ansys签署了以约4200万欧元收购埃斯特雷尔技术公司的最终协议。

  后续影响

  埃斯特雷尔成为Ansys的全资子公司，将其以SCADE为导向的能力添加到Ansys工程软件集团中。

  Announced acquisition value. Approximately €42 million transaction value (2012 announcement)

  来源

• 2006

  收购并重新命名IMAGE并购

  背景

  埃斯特雷尔寻求将其安全关键开发产品组合扩展到实时显示设计和驾驶舱界面工程。

  采取的行动

  公司从泰雷兹和Diehl Aerospace收购了IMAGE，并将其作为SCADE Display推出。

  后续影响

  SCADE系列获得了涵盖原型设计、仿真、验证、确认和合格代码生成的显示框架。

  来源

1. 1Esterel Technologiesen.wikipedia.org