ANSYS SCADE 2025 是基于模型的开发环境,用于可靠嵌入式软件的基于模型的开发环境,提供与需求管理、基于模型的设计、验证、合格/认证的代码生成功能以及与其他开发工具和平台的互操作性的链接。以无缝方式连接架构设计、算法设计、控制或显示软件设计、验证、测试和快速原型设计、代码生成和目标代码部署、基于模型的环境。
目录
ANSYS SCADE 功能特点
先进的基于模型的设计
- Ansys SCADE Suite在与配置管理、系统仿真和实时测试工具相连接的完全集成环境中提供软件数据流和状态机设计和仿真功能。
- 借助Ansys SCADE Suite,您将使用直观的图形符号,支持数据流和分层状态机的无限嵌套。使用规则检查器确保您的代码符合适用标准。基于Python的框架使您能够为每个项目的完全量身定制的解决方案创建自己的规则和指标。
与软件架构设计同步
- Ansys SCADE Architect和Ansys SCADE Suite的集成为您提供了从架构到组件详细设计的完整软件设计流程所需的所有工具。
- 这种集成支持架构和设计的并行演进,并根据要求和项目里程碑提供同步。架构和设计模型之间的双向同步减少或消除了同步接口以实现最大效率的重复工作。Ansys SCADE Suite和Ansys SCADE Architect之间的同步支持架构设计到IMA、FACE和AUTOSAR等上下文中的代码生产流程。
模型分析
- 为确保Ansys SCADE Suite模型符合其要求,您可以执行静态分析、根据规则检查模型、评估安全要求以及执行时序和堆栈优化分析。
- Ansys SCADE Suite的代码生成器无需代码验证即可满足模型中提供的规范。因此,验证模型的行为是否正确至关重要。我们的软件配备了多个模型级分析,以验证模型的正确性并确保较短的开发时间。您将能够对模型进行静态分析。模型的静态分析(即检查模型是否一致,数据流类型是否正确,初始化是否正确完成)由代码生成器的前端完成,因此在各种软件安全的最高级别上合格标准。借助规则检查器,您可以使用基于Python的框架自定义和添加特定检查,该框架支持必需或建议规则的证明机制。
调试和仿真
- Ansys SCADE Suite仿真功能基于实际生成的代码,为您提供强大的可视化调试环境,支持断点和观察点来检查内部变量和输出值。
- Ansys SCADE Suite允许您使用图形和文本块定义软件设计。定义后,您可以使用基于自动生成的代码的仿真功能来仿真软件设计或其任何单个模块。仿真和调试功能包括可执行设计、实际生成代码的详细仿真、场景记录和回放、规范错误的早期检测、自动非回归测试等。
ANSYS SCADE 2025 R1 安装教程
- 注意:此产品采用和 ANSYS 2025R1一样的证书管理器,如果已安装证书管理器,直接安装ANSYS SCADE 2025 R1即可
- ANSYS 2025 所有产品的安装步骤都是一样的,先安装证书管理器,然后安装对应软件即可
- ANSYS License Manager证书管理器对所有ANSYS 2025产品通用,只需要安装一次【ANSYS License Manager 2025R1】证书管理器即可,无需重复安装
- 如有安装低版本的ANSYS License Manager(如2024),请先卸载
首先安装ANSYS许可证管理器
1、打开ANSYSLICMAN_2025R1_WINX64文件夹,管理员身份运行setup,点击安装ANSYS许可证管理器
2、点击OK,下一步
3、选择安装目录,下一步
4、下一步
5、下一步
6、安装中
7、下一步
8、退出
9、打开tercel文件夹,复制其下的Shared Files文件夹至安装目录的Ansys Inc文件夹下,点击替换
默认路径:C:\Program Files\ANSYS Inc
10、点击Get System Hostid Information,复制其下的HOSTID
11、打开tercel下的ittel.txt文件,将XXXXXXXXXX替换为上一步复制的HOSTID,点击保存
12、点击Add a License File,然后点击browse浏览选择修改后的ittel.txt文件,点击INSTALL LICENSE FILE
13、证书安装成功
安装ANSYS SCADE 2025 R1
1、新建环境变量:右键此电脑-属性-高级系统设置–环境变量–系统变量–新建
变量名:ANSYSLMD_LICENSE_FILE 变量值:1055@localhost
2、打开tercel文件夹,双击运行SolidSQUADLoaderEnabler.reg
3、重启电脑
4、打开SCADE_2025R1_WINX64_REPACK文件夹,管理员身份运行setup,勾选安装组件
- 点击Update ANSYS SCADE Licensing,确保环境变量ANSYSLMD_LICENSE_FILE的值设置为1055@localhost
5、选择安装位置,点击install
6、安装中
7、打开tercel文件夹,复制SCADE文件夹至安装目录下,点击替换
默认路径:C:\Program Files\Ansys Inc\v251
8、安装成功
相关文件下载
ANSYS SCADE 2025 R1下载
注:本站统一解压密码为www.ittel.cn