Esterel Technologies>Company>About Us>发展史

发展史

Esterel Technologies 诞生于 INRIA

国立巴黎高等矿业学院 (Sophia Antipolis, France) 控制理论和计算机技术研究中心的两名研究员—— Jean-Paul Marmorat 和 Jean-Paul Rigault 为参加一家早期计算机杂志举办的竞赛要设计一部电动车，然而传统的语言并不能使他们方便地描述控制运算，于是他们发明了一种原始的非正式符号来解决这一问题，这一语言在描述控制规则时的超凡能力立刻引起了许多学术和科研机构的兴趣。这些原始的非正式符号很快被全面的严格化，并成为 Esterel 语言的起源。

Esterel 的形式化语义和第一代形式验证工具在 Gérard Berry's 的领导下开发而成， Gérard Berry 随后成为国立巴黎高等矿业学院和 INRIA 的主管， 现任 Esterel 技术公司的首席科学家。第一代 Esterel 工具被 AT&Bell 等公司应用于实验研究，以及开发 Bertin 的电话软件和 Dassault Aviation 的航空设备。

1994 年， Esterel V4 编译器及其相应的验证工具问世。它们依赖于一个高效率的程序内部表达机制，例如布尔表达式，它可以有效的用 BDD (Binary Decision Diagram) 技术进行分析并与硬件 (FPGAs) 或软件进行合成。

1997 年， Sophia-Antipolis CNRS/I3S （一家专门从事控制与计算研究的机构）的研究员 Charles André 发明了 SyncCharts ，用于明确表示系统的行为和控制。与此同时，与国立巴黎高等矿业学院一起参与了 Esterel 早期工作的 Dassault Aviation 以及 Thales 决定将该技术用于产品的开发。 Esterel Studio™ 的原型随后在 1998 年 9 月由法国的 Simulog 软件公司开发成功，并被 Dassault Aviation 和 Thomson CSF 在他们的设计中投入使用。

1999 年 11 月， Esterel 技术公司在 Simulog 的基础上创立，致力于将“基于模型、正确构造”的设计工具商业化， 使其成为公司的核心技术，并具有严格和无歧义的特点， 用于处理需求构件和自动生成免测的软件和 HDL 实现。第一代的 Esterel 商业工具组合于 2000 年 4 月正式发布。

如果您想了解 Esterel 语言的更多信息，请阅读 Stephen A. Edwards 著作的第 13 章 Languages for Digital Embedded Systems 。

SCADE 发展史

SCADE 的历史是一个将优秀的技术与自动的安全关键性产品设计融合的过程。二十年前， 来自 University of Grenoble (UJF) 、 National Research Center (CNRS) 和 Grenoble Polytechnic Institute (INPG) 等科学机构相关的学术研究实验室 Verimag 的 Paul Caspi 和 Nicolas Halbwachs 发明了形式化定义的同步语言——Lustre ，用于关键性控制软件的开发。他们也因此荣获了具有广泛声誉的的 "Académie des Sciences" 大奖。

1986 年，一家工业控制公司 Merlin Gerin （即现在的施耐德电气）决定使用 Lustre 的概念，设计叫作 Saga 的工具，该工具将用于开发核电站的监测和紧急关闭系统。 Saga 项目大获成功， Merlin Gerin 随即促使一家新成立的软件设计公司 Verilog 将 Saga 作为商业产品进行评估。

与此同时， Verilog 遇见了 A rospatiale （现在的空中客车）的工程师，得知他们也在独立开发一个叫做 SAO 的类似工具，用于空中客车 A320 的电传和飞行控制系统。

拥有了这两项技术的 Verilog 决定与 Merlin Gerin 和 Arospatiale 携手开发一种结合 SAO 和 Saga 的商业产品，这一新产品被命名为 SCADE 。

SCADE 被 Verilog 成功的推广，直到 1999 年 3 月被 Telelogic 购买。 SCADE 被融合进不断成长的 Telelogic 生产线，并在更多的安全关键性产品和需要通过 DO-178B 标准的公司中继续获得成功。

2001 年 11 月 1 日，爱斯特尔技术公司从 Telelogic 手中购买了 SCADE 的整套商业产权，作为合同项下的一部分，所有的 SCADE 雇员成为爱斯特尔技术公司 R&D 和 Marketing 团队的新员工。

SCADE 利用同步语言的表达功能，使产品具有无二义性的自动执行能力。现在， SCADE Suite® 在航空高安全性嵌入式软件领域是 DO-178B 和 ED-12B 的标准。其补充产品 SCADE Display ，是爱斯特尔公司 2006 年从 Thales 航空获得的，它能帮助图表显示系统的设计者们设计、验证并自动测试生成显示系统的应用工具，例如驾驶室和仪表盘显示系统。

SCADE 的不断改进使其成为高可靠性和安全关键性系统开发的明智选择。 2005 年 2 月， SCADE 的 KCG C 代码生成模型通过了正式的 IEC 61508 产品资格认证， 从而可以被用于包括 SIL4 在内的所有安全综合级别。 这一认证使得汽车、运输、医疗和工业控制系统的设计