ANSYS SCADE Suite
|
SCADE Suite是用于关键应用的、基于模型的开发环境。它覆盖了需求管理，基于模型的设计，仿真，验证，质量/认证代码生成，能够与其他研发环境和平台进行交互操作。
产品概览 通过简化关键控制应用设计，以及验证、可修改/认证代码生成和文档生成的自动化，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提供相应认证机构标准要求的全部所需材料。 针对在SCADE Display中设计的图形化HMI,ANSYS SCADE Suite能帮助您设计与其相关的控制逻辑，并与 SCADE LifeCycle集成。它还提供项目监控、需求管理和可跟踪性功能，并自动生成文档。 功能特点 软件原型与设计 •高级模型化设计 •面向Eclipse的SCADE API SCADE Suite时序与堆栈优化器 •利用时序与堆栈优化器进行时序与堆栈尺寸优化 基于仿真的测试：分析与报告 •创建图形及表格报告 •导出到其它环境 SCADE Suite形式化验证器 SCADE Suite时序与堆栈验证器 |
合作伙伴
|
联系我们
|
