法国爱斯特尔技术公司介绍　

　　公司提供的是实时嵌入式系统和电子系统的开发工具和方法学。这些工具和方法学适合于安全性要求很高的系统，具体的应用领域有航空国防、汽车电子、原子能控制、交通运输、SoC、微处理器等等。公司运用correct by construction的概念，能够从精确的需求规范中自动生成HDL和嵌入式软件，实现了开发流程完全自动化，在一方面堪称世界的领导者。

　　SCADE是爱斯特尔技术公司的主要产品。它是一个高安全性的应用开发环境,覆盖了嵌入式软件开发的整个流程：需求建模、模型检查、模拟仿真、形式验证、代码生成、文档生成等等，在很大程度上实现了软件开发的自动化，能够节约50%以上的开发成本和开发时间。另外，SCADE的代码生成器（KCG）是目前世界上唯一的满足DO-178B的民航A级标准的。

　　ESTEREL Studio 是爱斯特尔技术公司的另一产品，它主要用于一些电子系统的开发。 和SCADE一样，它也覆盖了电子系统开发的整个流程。ESTEREL Studio还能根据模板自动生成测试用例，并达到100%的测试覆盖率，大大减少了测试时间和测试成本。

　　这二个工具都建立在同步编程的概念之上，基于很严格的数学理论。它们通过对需求规范的严格建模在开发的早期就清除系统的二义性和模糊性，并且提供了一个可靠的通用平台来实现系统需求的交流。在这个严格的需求模型上，还对昂贵的编码、测试、验证、文档编辑等工作实现了自动化。正是有了这一整套严格的数学理论和自动化处理，才使得这两个工具既能胜任于安全性要求很高的系统开发，又能大幅度地节约开发成本和开发时间。

　　爱斯特尔技术公司的产品不仅仅是开发工具，更是开发方法学。我们还为您提供优秀的培训、咨询、协助开发等各项技术支持，使您在最短的时间内获得必要的产品知识。