辅助设计

关注公众号 jb51net

关闭
模型驱动开发ANSYS SCADE 2024 R1 多语免费激活版(附补丁+步骤) x64

模型驱动开发ANSYS SCADE 2024 R1 多语免费激活版(附补丁+步骤) x64

您还可以选择:百度网盘下载1百度网盘下载2

热门排行

简介

ANSYS SCADE 2021/2024是一款用于安全关键嵌入式软件的模型驱动开发工具包。通过使用专用软件工具和经过认证的代码生成器,系统工程师和开发人员可以避免编码错误并遵守严格的认证标准。工具 Ansys SCADE 广泛应用于从设计飞机控制系统或远程控制核电站之前的所有行业。 - 汽车的机器界面。

模块 Ansys SCADE

Ansys SCADE 架构师

对可靠性和安全性有高要求的系统的集成设计环境,支持流程、行业标准 ARP 4754A、ISO 26262 和 EN 50126

Ansys SCADE Architect 的主要功能:

-系统需求分析

- 用于系统需求分析、功能设计、架构设计和系统组件的高级建模器编辑器

- 使用图表进行系统分析:用例、序列、活动、状态、功能块、

内部模块和参数图

-定义和导入/导出数据流

- 描述数据对象的表格方式,自定义表格格式的能力

- 支持所有标准图形功能和图表样式的可视化组件控制

-模型导航和搜索

-协作支持

-使用指定的建模规则进行模型合规性检查

- 以 RTF 或 HTML 格式报告

-模型拆分合并,匹配不同模型版本

-自动创建接口控制文档(ICD)

- 架构模型系统和项目模型之间的双向同步

-根据行业标准和自定义规则配置系统设计环境

- 将元素和要求导出到 Ansys Twin Builder

-用于汽车和航空电子设备以及 FACE 标准的其他设计模式包.......

功能特色

1、先进的基于模型的设计

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

借助Ansys SCADE Suite,您将使用直观的图形符号,支持数据流和分层状态机的无限嵌套。使用规则检查器确保您的代码符合适用标准。基于Python的框架使您能够为每个项目的完全量身定制的解决方案创建自己的规则和指标。

2、与软件架构设计同步

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

这种集成支持架构和设计的并行演进,并根据要求和项目里程碑提供同步。架构和设计模型之间的双向同步减少或消除了同步接口以实现最大效率的重复工作。Ansys SCADE Suite和Ansys SCADE Architect之间的同步支持架构设计到IMA、FACE和AUTOSAR等上下文中的代码生产流程。

3、模型分析

为确保Ansys SCADE Suite模型符合其要求,您可以执行静态分析、根据规则检查模型、评估安全要求以及执行时序和堆栈优化分析。

Ansys SCADE Suite的代码生成器无需代码验证即可满足模型中提供的规范。因此,验证模型的行为是否正确至关重要。我们的软件配备了多个模型级分析,以验证模型的正确性并确保较短的开发时间。您将能够对模型进行静态分析。模型的静态分析(即检查模型是否一致,数据流类型是否正确,初始化是否正确完成)由代码生成器的前端完成,因此在各种软件安全的最高级别上合格标准。借助规则检查器,您可以使用基于Python的框架自定义和添加特定检查,该框架支持必需或建议规则的证明机制。

Ansys SCADE Suite Design Verifier是一种验证助手,可正式表达和评估安全要求,提供一种在开发过程早期发现错误的有效方法。它由Prover®技术提供支持,并由支持浮点计算的多核形式证明引擎提供支持。

4、调试和仿真

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

Ansys SCADE Suite允许您使用图形和文本块定义软件设计。定义后,您可以使用基于自动生成的代码的仿真功能来仿真软件设计或其任何单个模块。仿真和调试功能包括可执行设计、实际生成代码的详细仿真、场景记录和回放、规范错误的早期检测、自动非回归测试等。

5、自动代码生成

此代码生成器可节省编码阶段的验证工作,例如对Ansys SCADE Suite KCG生成的代码进行代码审查和低级测试。这种生产力的提高缩短了认证和/或修改的时间和精力。

Ansys SCADE Suite KCG是来自Scade模型的C和Ada代码生成器,已被认证为A级DO-178B软件和TQL-1的DO-178C/DO-330的开发工具;通过IEC 61508 SIL 3认证和EN 50128 SIL 3/4认证;并符合ISO 26262软件的最高ASIL D标准,这意味着KCG开发过程符合这些软件安全标准。Ansys SCADE Suite支持使用多核代码生成器生成多核代码。在模型中识别操作符的特定实例成为可并行化的任务。这些任务的规范独立于模型,允许进行各种配置。

6、SCADE工具集成

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

7、系统仿真能力

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

Ansys SCADE Suite的Advanced Modeler包括Twin Builder,这是一个用于对虚拟系统原型进行建模、仿真和分析的强大平台。它使产品开发团队能够验证和优化其软件控制的多域系统设计的性能。

8、嵌入式汽车软件的专用解决方案

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

Ansys SCADE Suite扩展并简化了汽车市场的系统设计功能。它支持从AUTOSAR软件组件(SWC)到Runnables的AUTOSAR RTE兼容代码生成的开发流程:您可以启动基于AUTOSAR标准的开发流程,以创建由Ansys SCADE Suite的KCG代码生成的AUTOSAR RTE兼容代码发电机。该解决方案还使您能够导入和导出AUTOSAR ARXML交换格式,允许系统工程师之间进行多重同步并生成合规代码。

安装激活教程

1、在本站下载并解压,如图所示

2、安装程序,将ANSYS Inc文件夹复制到计算机的任何根驱动器(C:,D:,E:等),创建用户和系统变量

ANSYSLIC_DIR 指向文件夹 ..\ANSYS Inc\Shared Files\licensing

ANSYSLMD_LICENSE_FILE 指向文件 ..\ANSYS Inc\Shared Files\licensing\license_files\ansyslmd.lic

3、运行“SolidSQUADLoaderEnabler.reg”并确认将信息添加到 Windows 注册表中

4、重启,安装ANSYS SCADE 2021R2 Win64,选择安装内容

5、勾选我接受许可证协议条款

6、选择软件安装目录

7、安装完成,退出向导,将SCADE文件夹复制到安装目录中,点击替换目标中的文件

使用说明

1、基于模型的系统工程

基于模型的系统工程(MBSE)是在整个开发周期中使用系统模型定义需求,设计,分析以及验证和确认活动的关键。它使用不断发展的模型而不是书面的设计规范来跟踪这些相互依赖关系,因此即使您继续更改设计,也可以确保所有子系统都在一个微调的整体中啮合在一起。

2、嵌入式控制软件开发

从商用飞机到自动驾驶汽车的应用越来越多,嵌入式软件开发过程的质量决定了运营效率和安全性。经过认证的代码生成器(例如ANSYS SCADE中的代码生成器)可确保您的嵌入式软件能够按计划,首次且每次都能正常工作。

3、人机界面软件

尽管具有全部自主权,但是当今的智能产品仍然偶尔必须通过直观,易于使用的人机界面与人互动。您可以使用软件开发和ANSYS认证的代码生成工具来优化界面的可用性和可靠性。

4、虚拟系统原型

尽管物理原型对于新产品的后期测试仍然很有价值,但是当您在过程的早期探索多种设计可能性时,数字原型是唯一的选择。数字系统原型制作可节省您的时间和金钱,从而引导您在过时的构建和测试方法的一小部分时间内进行最佳产品设计。

5、功能安全分析

汽车,航空航天和国防,铁路,核能等行业中电子控制系统的功能安全性的分析和验证对于系统设计和实施至关重要。

大家还下载了