ANSYS SCADE Suite

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

SCADE Suite 是 ANSYS 嵌入式软件系列产品中的一个产品线,为你提供用于关键嵌入式软件的、基于模型的开发环境。SCADE Suite 具有本地集成的正式定义 Scade 语言,是用于关键应用的集成设计环境,涵盖需求管理,基于模型的设计,仿真,验证,质量/认证代码生成,能够与其他开发工具和平台进行交互操作。

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

为关键应用量身定制
通过简化关键控制应用设计,以及验证、质量/认证代码生成和文档生成的自动化,SCADE Suite 大大降低了项目成本。SCADE Suite KCG Code Generator 是符合 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 级应用程序的认证。

Capabilities

基于模型的高级设计

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

Advanced Model-Based Design
与软件架构设计同步

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

Synchronization with Software Architecture Design
时序与堆栈尺寸优化

SCADE Suite 的时序与堆栈优化器估算应用程序中相对最坏情况运行时间 (WCET) 或任务堆栈使用情况。

Timing and Stack Size Optimization
仿真和调试

SCADE Suite 仿真功能基于实际生成的代码,为你提供强大的可视化调试环境,使断点能够检查内部变量和输出值。

Simulating and Debugging
设计验证

SCADE Suite Design Verifier (DV) 是一个辅助验证工具,用以正式表达和评估安全要求,以便在开发早期就能很容易地检测到错误。

Design Verification
自动代码生成

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

Automatic Code Generation
最佳的鉴定/认证支持

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

Best-in-class Qualification/Certification Support
SCADE 工具集成

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

SCADE Tools Integration
系统仿真能力

ANSYS Simplorer 的系统仿真能力通过在一个环境中连接硬件和软件,帮助你构建完整的虚拟系统原型。

Systems Simulation Capabilities

了解客户如何使用我们的软件

Crane Aerospace & Electronics

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

Subaru

由于需要不断地兼顾成本和设计要求,汽车制造业转而采用被称为“模型研发或设计(MBD)”的AUTOSAR(由电子、半导体和软件机构协力组建的系统架构联盟,致力于提供各项标准,以管理业内不断增长的电子产品复杂性)标准。MBD要求设计工程师使用支持模型集成和整个系统虚拟实时测试的通用设计环境。 查看案例
Meggitt

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

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

View Case Study