任务和安全关键控制系统运行在SCADE创建的软件上

ANSYS SCADE Suite是一个基于模型的关键嵌入式软件开发环境。SCADE Suite具有本地集成的形式化 Scade 语言,是用于关键应用的集成设计环境,涵盖需求管理、基于模型的设计、仿真、验证和可限制/认证级代码生成,能够与其他开发工具和平台进行交互操作。

哪里可以使用 SCADE Suite
SCADE Suite用于设计关键软件,例如飞行控制和引擎控制系统、起落架系统、自动驾驶仪、动力和燃料管理系统、驾驶舱显示器、轨道联锁系统和信号、自动列车操作、基于计算机的列车控制、紧急制动系统、超速保护、列车空位检测、核电站控制、ADAS、电池管理系统、汽车中的电子助力转向,以及许多其他航空航天、铁路、能源、汽车或工业应用。

为关键应用量身定制
通过简化关键控制应用设计,以及验证、可认证/认证级代码生成和文档生成的自动化,SCADE Suite大大降低了项目成本。SCADE Suite KCG 代码生成器是符合 DO-178B 标准的 A 级开发工具和符合 DO-178C 标准的 DO-330 TQL-1 工具。同时它还符合 ISO 26262:2011 标准的 ASIL D 级和 C 级认证要求,并符合 IEC 61508 2010 标准的 T3/SIL 3 认证要求以及 EN 50128:2011 标准的 T3/SIL 3/4 认证要求。

SCADE Suite KCG Certification Kits 提供认证机构各自标准指南所要求的以下材料:

  • 工具鉴定计划 (TQP)
  • 工具操作要求 (TOR)
  • 工具完成综述 (TAS) 或安全案例 (SC)
  • 认证标准合规性分析
  • 软件安装过程 (SIP)
  • 工具配置索引 (TCI)
  • 其他标准的特定文档

SCADE Suite 应用程序的 DO-178B 和 DO-178C 认证计划提供了一套通用计划,支持使用 SCADE Suite开发的 A 级和 B 级应用程序的认证。

分享:

功能

  • 基于模型的高级设计

    SCADE Suite在完全集成的环境下提供了数据流和状态机的软件设计及仿真功能,可连接到配置管理、系统仿真和实时测试工具。

  • 与软件架构设计同步

    SCADE Architect 和 SCADE Suite的集成可为您提供完整的软件设计过程(从架构到组件的详细设计)所需的所有工具。

  • 模型分析

    为了确保 SCADE Suite模型在其要求方面是正确的,您可执行静态分析、根据规则检查模型、评估安全要求,并执行时序和堆栈优化分析。

  • 调试和仿真

    SCADE Suite仿真功能基于实际生成的代码,为您提供强大的可视化调试环境。在该环境下,您可通过设置断点检查内部变量和输出值。

  • 自动代码生成

    SCADE Suite KCG 是 Scade 模型的 C 和 Ada 代码生成器。已被众多行业认证机构认定为开发工具。

  • 最佳的鉴定/认证支持

    SCADE Suite为您提供了一个完整的环境,用于具有认证级代码生成器、目标编译器验证器和通用开发计划的高度集成的嵌入式应用程序。

  • 系统仿真能力

    ANSYS Twin Builder 的系统仿真能力通过在单一环境中连接硬件和软件,帮助您构建产品完整的虚拟系统原型。

  • 专用于嵌入式汽车软件的解决方案

    SCADE Automotive Package 包括 SCADE Architect、SCADE Suite和 SCADE LifeCycle,可提供 AUTOSAR R4.2.2 支持、校准和定点支持以及合格的代码生成。

  • SCADE 工具集成

    SCADE Suite可轻松与系统架构设计、HMI 开发、测试和应用程序生命周期管理工具集成,为所有嵌入式软件开发提供完整的环境。

了解客户如何使用 ANSYS 软件:

Crane Aerospace & Electronics

Crane Aerospace & Electronics

在选择 SCADE Suite之前,Crane 评估了许多基于模型的开发环境。该公司之所以选择 SCADE,是因为它是一款专用软件开发工具,符合 DO-178B A 级标准,这是航空航天业的最高安全级别。 查看案例分析
Subaru

斯巴鲁

由于需要不断兼顾成本和设计要求,汽车行业采用 AUTOSAR标准(一种多家电子产品、半导体和软件企业的开发伙伴关系,提供管理该行业电子产品复杂性不断增长的标准)和称为基于模型的开发或设计 (MBD) 方法。MBD 方法要求设计工程师使用支持整个系统的模型集成和虚拟实时测试的通用设计环境。

查看案例分析
Meggitt

Meggitt 使用 Simplorer 进行硬件/软件协同仿真

Meggitt 必须在非常短的时间内重新设计包含软件在内的控制器。使用 SCADE-Simplorer 协同仿真方法,他们能够在 7 个月内实现安全飞行,并在大约一年内认证整个产品。

查看案例研究