Esterel Technologies是关键嵌入式系统基于模型的设计和验证工具的全球领导者，提供Esterel SCADE™。这种独特的解决方案降低了轨道交通控制软件开发成本，同时实现了最高级别的安全性，包括SIL 3/4的EN 50128。
Esterel Technologies是一家通过ISO 9001:2000认证的公司。
基于模型的设计和验证工具
飞机制造商和分包商已经使用Esterel SCADE技术超过15年了，地面运输建造商现在正在采用这项技术。SCADE为空客A380和A340-600、波音787、欧洲直升机、猎鹰7X商务飞机、标致407轿车、香港地铁、20多家发电厂等生成了生产代码。
在铁路领域，Esterel SCADE已经被以下公司使用：
安萨尔多信号公司正在几个大型生产项目中使用Esterel SCADE开发联锁和列车控制等系统。
Esterel SCADE开放式软件架构。
CSEE Transport利用SCADE技术重新设计了香港地铁线路。
- 阿尔斯通运输
- 安萨尔多信号
- 阿海珐TA
- BJTU（中国）
- Deuta Werke公司
- NRIET公司
- RATP公司
- 西门子铁路运输
- SNCF公司
- Systerel公司
- 泰雷兹铁路信号系统
- 联合交换机
- NIIAS公司
Ansaldo Signal依靠Esterel SCADE进行大型生产项目，以开发联锁和列车控制等复杂系统。Esterel SCADE用于指定基本信令功能，并根据项目原则、规则和最严格的认证约束对环境进行建模。
Ansaldo曾说过：“SCADE由于其严格的模块化，对我们的活动特别重要；一个功能一旦设计出来，无论使用环境如何，都会表现出相同的行为。”
Esterel SCADE开发平台可以为具有重大铁路运输安全影响的应用程序带来益处，例如车载软件、列车自动运行、电源管理、联锁和列车控制系统、信号、地面站和其他列车和运行控制应用程序。
用于安全关键嵌入式软件的开放式基于模型的设计环境
如今，大多数铁路运输系统都是自动化和软件控制的。在这个日益激烈的市场中，成本压力不断增加，新的方法和工具变得越来越必要。
Esterel SCADE提供了一套完整的验证和验证工具，并自动生成一套经过认证的代码，准备集成到系统中。这样可以避免对生成的代码进行昂贵而冗长的测试和审查，否则通常会消耗50%以上的开发预算。
Esterel SCADE是一种基于模型的开发环境，专门用于安全关键的嵌入式软件：
- EN 50128通过TüV SüD铁路运输SIL 3/4认证
- IEC 61508通过TüV SüD重型设备和能源的SIL 3认证
- DO-178B达到航空航天A级
Esterel SCADE在铁路和运输方面的优势
Esterel SCADE能够以定义明确、高效、可重复和成本效益高的方式开发软件，包括变体。
Esterel SCADE降低了开发和验证成本，同时实现了安全性和完整性：
- 编码、审查和测试成本降低了70%-90%
- 手工质量活动成本降低70%-90%
- 软件更新周期缩短了65%-75%
根据EN 50128和IEC 61508标准认证的唯一生产代码生成器
酯类SCADE生成代码：
- 行为具有确定性（“您指定的是您嵌入的内容”），消除了密集和重复的单元测试的需要
- 支持所有商业和专有实时操作系统（RTOS）和调度程序
