主页>产品介绍

产品介绍

我们自动化的产品能够帮助电子系统和软件工程师创建无歧义的需求规范，实现“基于模型、正确构造”的流程。 这种方式的形式化和自动化的执行规范，可以节省多达50%验证的时间和成本。

我们的产品允许客户修改自己的需求规范，然后实现整个流程全部自动化，从而解决了“需求变更”的问题。与手工和半自动化的方法相比，可以节省多达4倍的时间。

SCADE Suite™是标准的设计工具，被广泛的为航空业的市场领导者所采用，用于开发高安全性商用嵌入式软件。

SCADE Display™是致力于高安全性显示系统中最具优势的嵌入式图形设计环境，并通过了军事和航天工业的DO-178B标准A级质量认证。

爱斯特尔技术公司的咨询服务向客户提供我们公司的开发方法学和工具，对最先进的设计和验证方法有丰富经验的、深入了解专业软件应用的专家，使工程效率最大化。我们的咨询服务是符合最广大客户需要的，同时客户也可以定制咨询服务。