内容简介
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高级应用工程师,负责系统事业部的安全关键领域的系统和软件的开发验证