1.SCADE Achitect的新功能，添加FACE 3.1版本支持，新增AutoSAR架構(gòu)設(shè)計(jì)新特性

2.SCADE Achitect支持對(duì)Dassualt的Cameo架構(gòu)文件導(dǎo)入，支持對(duì)EA的Sparx文件導(dǎo)入

3.SCADE Suite UI的改進(jìn)

4.SCADE Suite中形式化驗(yàn)證對(duì)抽象對(duì)象分析介紹

5.SCADE Suite/Test中基于形式化驗(yàn)證的模型覆蓋分析方法介紹和應(yīng)用

6.SCADE Display新增8個(gè)特效容器，對(duì)復(fù)雜字體顯示的支持

7.SCADE Display對(duì)3D圖元的支持

8.SCADE Lifecycle改進(jìn)更新

9.SCADE對(duì)AbsInt WCET支持的策略變化

10.文檔更新 EN 50128 A661方案

SCADE工具用戶，航空航天，軌道交通、汽車電子領(lǐng)域中系統(tǒng)架構(gòu)設(shè)計(jì)，軟件開發(fā)驗(yàn)證

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

免費(fèi)

沈軼燁|Ansys

Ansys高級(jí)應(yīng)用工程師，負(fù)責(zé)系統(tǒng)事業(yè)部的安全關(guān)鍵領(lǐng)域的系統(tǒng)和軟件的開發(fā)驗(yàn)證