主页>服务产品>高安全性软件设计和验证服务

高安全性软件设计和验证服务

Esterel Technologies' services are used by market leaders including: Airbus, Intertechnique, Ansaldo Signal, Johnson Controls…

帮助您完成关键性设计和验证工作

让我们的团队来助您一臂之力。爱斯特尔技术有限公司的专家队伍与您共同完成软件和硬件的设计及验证工作。我们可以为您提供上门服务或者其他服务方式。

全面保证您的系统开发工作按时完成

采用我们技术工艺及经实践证明的方法,爱斯特尔技术有限公司的服务团队将根据您的专业技术要求和市场需求,为您度身定制解决方案。我们有能力覆盖从需求分析到软件开发、安装、试运行和终端用户培训的整个过程,延长软件的生命周期。

软件和硬件工程技术的专家

我们的专家咨询队伍中,每一位都有平均6年以上,使用各种软件和硬件设计方法及工具的经验,其中包括:

  • 软件系统层设计,协议堆开发和确认,实时嵌入式软件开发和面向对象的技术。
  • 硬件系统和模块层设计、硬件/软件联合设计、确认与验证。

独一无二的先进技术套件

我们的专家,熟悉世界先进的方法学、工具和语言:

  • UML
  • SCADE
  • C, C++, ADA, SPARK
  • SYNERGY/CM and Change
  • PureCoverage (Code Coverage)
  • Quantify (Application Performance Testing)
  • Purify (memory leak prevention)
  • VMWare (application testing)
  • Winrunner (Automated GUI testing)
  • CAN and TTA/FlexRay Tools
  • All usual Cross-compilers, RTOS's and targets

我们将派遣常驻工程师为您提供咨询服务

  • 常年顾问会指导您的团队使用SCADE家族的所有工具,使时间效益和绩效最大化。
  • 对于那些规定了重要的完工日期的大型工程,我们将派遣专门的产品支持工程师常驻客户工作点或者SCADE研发中心,对所有的工具、流量、认证以及与第三方整合有关的问题进行说明。软件和硬件工程技术的专家。

© 1999–2008 Esterel Technologies, Inc. All rights reserved.