3/22 Ansys SCADE 2022 R1 新功能

1.SCADE Achitect的新功能，添加FACE 3.1版本支持，新增AutoSAR架构设计新特性

2.SCADE Achitect支持对Dassualt的Cameo架构文件导入，支持对EA的Sparx文件导入

3.SCADE Suite UI的改进

4.SCADE Suite中形式化验证对抽象对象分析介绍

5.SCADE Suite/Test中基于形式化验证的模型覆盖分析方法介绍和应用

6.SCADE Display新增8个特效容器，对复杂字体显示的支持

7.SCADE Display对3D图元的支持

8.SCADE Lifecycle改进更新

9.SCADE对AbsInt WCET支持的策略变化

10.文档更新 EN 50128 A661方案

SCADE工具用户，航空航天，轨道交通、汽车电子领域中系统架构设计，软件开发验证

2022年3月22日（周二）16:00-17:00

免费

沈轶烨|Ansys

Ansys高级应用工程师，负责系统事业部的安全关键领域的系统和软件的开发验证