分享

该认证验证了最新SCADE Suite™代码生成技术,可用于铁路、工业和汽车应用中的关键软件应用程序生成。

Esterel Technologies是一家通过ISO 9001:2000认证的公司,它自豪地宣布,最新发布的经验证的KCG™代码生成器已通过T u V S u D Automotive的EN 50128安全完整性等级(SIL)3/4和IEC 61508 SIL 3认证。该认证进一步证明,Esterel Technologies继续是铁路、工业和汽车系统安全关键应用程序开发中软件开发工具和服务的领先提供商。

这一最新认证验证了Esterel Technologies代码生成器的质量和可靠性,因为它适用于EN和IEC标准下的安全关键软件应用。KCG代码生成器是SCADE Suite™基于模型的开发环境的一个组件,它提供从SCADE套件图形模型派生的经过认证的自动代码生成。这些图形模型由系统和软件工程师开发,用于描述安全关键领域中控制应用程序的功能和行为。

SCADE套件支持完整的安全关键型开发生命周期,并链接到需求管理和跟踪工具、文档生成、配置管理和验证工具。KCG针对安全关键型应用程序开发进行了优化,为商业实时操作系统提供了适配器。通过KCG,SCADE Suite完成了安全关键嵌入式应用程序的开发和部署工具链。

通过将基于模型的开发与认证的代码生成技术相结合,关键嵌入式应用程序的开发人员可以降低项目风险并加快部署时间。通过提高抽象级别,SCADE Suite基于模型的开发使开发人员能够在图形级别快速分析和设计关键问题的解决方案。

SCADE Suite图形模型易于被所有团队成员理解和共享。静态模型构造检查和验证可确保模型构造正确,而KCG代码生成器可自动确保模型转换为高质量、可靠、安全关键的应用程序。SCADE Suite和KCG集成在开发流程中,提高了产品质量和开发人员生产力。

Esterel的SCADE®系列产品和服务,包括SCADE Suite™和SCADE Display™,分别专注于安全关键型嵌入式控制和嵌入式图形显示应用程序的设计、开发、部署和验证。Esterel解决方案加快了那些需要认证的领域的认证时间,并缩短了所有领域的部署和验证时间。

Esterel Technologies总裁兼首席执行官埃里克·班特涅(Eric Bantegnie)表示:“我们在为客户提供最高质量的产品和服务方面的投资仍在继续。KCG对于SCADE®系列产品和安全关键领域的客户来说,都是一项与众不同的技术。”。“KCG在实施阶段为我们的客户提供了巨大的生产力收益,同时也降低了项目风险。KCG为客户提供了显著的商业利益,而这一最新的认证表明,我们将继续致力于进一步改进安全关键领域的代码生成优化。”